Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 8

Journal article (3)

Verification of Cyberphysical Systems (Jul 2020)
Marjan Sirjani, Edward Lee, Ehsan Khamespanah
Mathematics (Mathematics)

Coordinated Actor Model of Self-adaptive Track-based Traffic Control Systems (May 2018)
Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Narges Khakpour , Ilge Akkaya , Ali Movaghar , Edward Lee
Journal of Systems and Software (JSS)

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

Conference/Workshop Paper (5)

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)

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)

Coordinated Actors for Reliable Self-Adaptive Systems (Oct 2016)
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)

Items per page: