Maryam Bagheri

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