Aimee Borda

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Regular Languages

Cyber Physical Systems

Finite State Automata

Top Venues

Publications

Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh
Compositional verification of self-adaptive cyber-physical systems. SEAMS@ICSE (2018)
Aimee Borda, Vasileios Koutavas
Self-adaptive automata. FormaliSE@ICSE (2018)