Aimee Borda

According to our database, Aimee Borda authored at least 3 papers between 2018 and 2019.

Collaborative distances:

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

2019

Compositonal modelling and verification of self-adaptive cyber-physical systems.

Aimee Borda

PhD thesis, 2019

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