Maryam Bagheri

According to our database, Maryam Bagheri authored at least 10 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems.

Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng, Homa Alemzadeh

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar

IEEE Trans. Software Eng., 2022

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.

Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2021

Partial Order Reduction for Timed Actors.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar

Proceedings of the Software Verification - 13th International Conference, 2021

2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2019

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

CoRR, 2019

2018

Coordinated actor model of self-adaptive track-based traffic control systems.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee

J. Syst. Softw., 2018

2017

Runtime compositional analysis of track-based traffic control systems.

Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee

SIGBED Rev., 2017

Performance aware scheduling considering resource availability in grid computing.

Reza Entezari-Maleki, Maryam Bagheri, Saeedeh Mehri, Ali Movaghar

Eng. Comput., 2017

2016

Coordinated Actors for Reliable Self-adaptive Systems.

Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016