Maryam Bagheri

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Traffic Control

Scheduling Strategy

Top Venues

J. Syst. Softw.

Publications

Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems. SafeAI@AAAI (2023)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48 (8) (2022)
Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. SPIN (2022)
Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems. CoRR (2022)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
Partial Order Reduction for Timed Actors. VSTTE (2021)
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE (2020)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. CoRR (2019)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143 (2018)
Reza Entezari-Maleki, Maryam Bagheri, Saeedeh Mehri, Ali Movaghar
Performance aware scheduling considering resource availability in grid computing. Eng. Comput. 33 (2) (2017)
Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14 (3) (2017)
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Coordinated Actors for Reliable Self-adaptive Systems. FACS (2016)