| A framework for compositional synthesis of modular nonblocking supervisors S Mohajerani, R Malik, M Fabian IEEE Transactions on Automatic Control 59 (1), 150-162, 2013 | 74 | 2013 |
| A framework for compositional nonblocking verification of extended finite-state machines S Mohajerani, R Malik, M Fabian Discrete Event Dynamic Systems 26, 33-84, 2016 | 44 | 2016 |
| Compositional synthesis of supervisors in the form of state machines and state maps S Mohajerani, R Malik, M Fabian Automatica 76, 277-281, 2017 | 38 | 2017 |
| Application of formal verification to the lane change module of an autonomous vehicle A Zita, S Mohajerani, M Fabian 2017 13th IEEE Conference on Automation Science and Engineering (CASE), 932-937, 2017 | 34 | 2017 |
| Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement S Mohajerani, Y Ji, S Lafortune IEEE Transactions on Automatic Control 65 (8), 3349-3364, 2019 | 33 | 2019 |
| Transforming opacity verification to nonblocking verification in modular systems S Mohajerani, S Lafortune IEEE Transactions on Automatic Control 65 (4), 1739-1746, 2019 | 27 | 2019 |
| Compositional synthesis of discrete event systems using synthesis abstraction S Mohajerani, R Malik, S Ware, M Fabian 2011 Chinese Control and Decision Conference (CCDC), 1549-1554, 2011 | 21 | 2011 |
| Efficient synthesis of sensor deception attacks using observation equivalence-based abstraction S Mohajerani, R Meira-Góes, S Lafortune IFAC-PapersOnLine 53 (4), 28-34, 2020 | 19 | 2020 |
| On the use of observation equivalence in synthesis abstraction S Mohajerani, R Malik, S Ware, M Fabian 2011 3rd International Workshop on Dependable Control of Discrete Systems, 84-89, 2011 | 16 | 2011 |
| An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis S Mohajerani, R Malik, M Fabian IFAC Proceedings Volumes 45 (29), 239-244, 2012 | 12 | 2012 |
| Efficient synthesis of edit functions for opacity enforcement using bisimulation-based abstractions S Mohajerani, Y Ji, S Lafortune 2018 IEEE Conference on Decision and Control (CDC), 4849-4854, 2018 | 11 | 2018 |
| Nondeterminism avoidance in compositional synthesis of discrete event systems S Mohajerani, R Malik, M Fabian 2011 IEEE international conference on automation science and engineering, 19-24, 2011 | 10 | 2011 |
| Compositional nonblocking verification for extended finite-state automata using partial unfolding S Mohajerani, R Malik, M Fabian 2013 IEEE International Conference on Automation Science and Engineering …, 2013 | 9 | 2013 |
| A survey on compositional algorithms for verification and synthesis in supervisory control R Malik, S Mohajerani, M Fabian Discrete Event Dynamic Systems 33 (3), 279-340, 2023 | 6 | 2023 |
| Modeling and Security Verification of State-Based Smart Contracts S Mohajerani, W Ahrendt, M Fabian IFAC-PapersOnLine 55 (28), 356-362, 2022 | 6 | 2022 |
| Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications S Mohajerani, R Malik, A Wintenberg, S Lafortune, N Ozay Automatica 130, 109723, 2021 | 6 | 2021 |
| Modeling and synthesis of the lane change function of an autonomous vehicle J Krook, A Zita, R Kianfar, S Mohajerani, M Fabian IFAC-PapersOnLine 51 (7), 133-138, 2018 | 6 | 2018 |
| An algorithm for compositional nonblocking verification of extended finite-state machines S Mohajerani, R Malik, M Fabian IFAC Proceedings Volumes 47 (2), 376-382, 2014 | 5 | 2014 |
| Certainly unsupervisable states S Ware, R Malik, S Mohajerani, M Fabian Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014 | 5 | 2014 |
| On compositional supervisor synthesis for discrete event systems S Mohajerani PQDT-Global, 2012 | 5 | 2012 |
Martin FabianChalmers University of TechnologyDirección de correo verificada de chalmers.se