Coordinated Actors for Reliable Self-adaptive Systems. - Maryam Bagheri 001; Ilge Akkaya; Ehsan Khamespanah; Narges Khakpour; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (FACS, 2016)

Performance aware scheduling considering resource availability in grid computing. - Reza Entezari-Maleki; Maryam Bagheri 001; Saeedeh Mehri; Ali Movaghar 001 (Eng. Comput., 2017)

Runtime compositional analysis of track-based traffic control systems. - Maryam Bagheri 001; Ehsan Khamespanah; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (SIGBED Rev., 2017)

Coordinated actor model of self-adaptive track-based traffic control systems. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Narges Khakpour; Ilge Akkaya; Ali Movaghar 001; Edward A. Lee (J. Syst. Softw., 2018)

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (CoRR, 2019)

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. - Maryam Bagheri 001; Edward A. Lee; Eunsuk Kang; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (MEMOCODE, 2020)

Partial Order Reduction for Timed Actors. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Hossein Hojjat; Ali Movaghar 001 (VSTTE, 2021)

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. - Fereidoun Moradi; Maryam Bagheri 001; Hanieh Rahmati; Hamed Yazdi; Sara Abbaspour Asadollah; Marjan Sirjani (SPIN, 2022)

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Christel Baier; Ali Movaghar 001 (IEEE Trans. Software Eng., 2022)

Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems. - Maryam Bagheri 001; Josephine Lamp; Xugui Zhou; Lu Feng 001; Homa Alemzadeh (SafeAI@AAAI, 2023)