Aimee Borda

According to our database, Aimee Borda authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Compositional verification of self-adaptive cyber-physical systems.

Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Self-adaptive automata.

Aimee Borda, Vasileios Koutavas

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018