Aimee Borda

According to our database, Aimee Borda authored at least 4 papers between 2018 and 2026.

Collaborative distances:

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

2026

Twenty Years of Bigtable.

Fabio Baltieri, Bora Beran, Igor Bernstein, Aimee Borda, Adrian Chan, Mark D'Andrea, Artak Dashyan, Ramesh Dharan, Gabor Dinnyes, Mike Dominguez, Eric Dorland, Jose Duenas, Gary Elliott, Bruno Furtado, Madison Garcia, Marçal Garolera Huguet, Brendan Gleason, Alexis Hawkins, Jeremy Hurwitz, Anoshak Irani, Rohit Jog, Sudarshan Kadambi, Vikram Khemka, Sailesh Krishnamurthy, Maxim Krivokon, Bruce Lee, Xiaozhou Li, Tom Magrino, Matt Maly, Mark Mangrich, Douglas McErlean, Pablo Montes, Li Moore, Eduardo Morales, Greg Morris, An Nguyen, Steve Niemitz, Gaurav Prabhu Gaonkar, Jim Rutherford, Stephen Ryan, Sho Saha, Kanoj Sarcar, Cristina Schmidt, Andrii Shyshkalov, Pratibha Suryadevara, Nick Suttle, Anvit Tawar, John Tobin, Justin Uang, Phaneendhar Vemuru, Harendra Verma, Shitanshu Verma, Jinghang Wang, Michal Wegorek, Siu Yau, Andrius Ziukas

Proceedings of the Companion of the International Conference on Management of Data, 2026

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