Edward Lee, Visiting Professor

[Show all publications]

Latest publications:

Runtime compositional analysis of track-based traffic control systems (Nov 2017)
Maryam Bagheri , Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar , Edward Lee

Coordinated Actors for Reliable Self-Adaptive Systems
Maryam Bagheri , Ilge Akkaya , Ehsan Khamespanah, Narges Khakpour , Marjan Sirjani, Edward Lee, Ali Movaghar
The 13th International Conference on Formal Aspects of Component Software (FACS 2016)