Edward Lee, Visiting Professor
Actors for Timing Analysis of Distributed Redundant Controllers (Sep 2025) Marjan Sirjani, Edward Lee, Zahra Moezkarimi, Bahman Pourvatan , Bjarne Johansson, Stefan Marksteiner, Alessandro Papadopoulos Gul Aga Festschrift (GulFest)
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems (Nov 2020) Maryam Bagheri , Edward Lee, Eunsuk Kang , Marjan Sirjani, Ehsan Khamespanah , Ali Movaghar 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Model Checking Software in Cyberphysical Systems (Jul 2020) Marjan Sirjani, Edward Lee, Ehsan Khamespanah 44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)
Verification of Cyberphysical Systems (Jul 2020) Marjan Sirjani, Edward Lee, Ehsan Khamespanah Mathematics (Mathematics)
Actors revisited for time-critical systems (Jun 2019) Marten Lohstroh , Martin Schoeberl , Andrés Goens , Armin Wasicek , Christopher Gill , Marjan Sirjani, Edward Lee Design Automation Conference (DAC 2019)
What Good are Models? (Oct 2018) Edward Lee, Marjan Sirjani International Conference on Formal Aspects of Component Software (FACS 2018)