| 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 | 62 | 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 | 36 | 2016 |
| 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 | 30 | 2017 |
| Compositional synthesis of supervisors in the form of state machines and state maps S Mohajerani, R Malik, M Fabian Automatica 76, 277-281, 2017 | 30 | 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 | 25 | 2019 |
| Transforming opacity verification to nonblocking verification in modular systems S Mohajerani, S Lafortune IEEE Transactions on Automatic Control 65 (4), 1739-1746, 2019 | 22 | 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 | 19 | 2011 |
| 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 | 14 | 2011 |
| 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 | 11 | 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 | 10 | 2012 |
| 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 | 9 | 2020 |
| 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 | 8 | 2018 |
| 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 | 7 | 2013 |
| 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 | 4 | 2021 |
| Certainly unsupervisable states S Ware, R Malik, S Mohajerani, M Fabian Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014 | 4 | 2014 |
| On Compositional Supervisor Synthesis for Discrete Event Systems S Mohajerani PQDT-Global, 2012 | 4 | 2012 |
| 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 | 3 | 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 | 3 | 2014 |
| Partial unfolding for compositional nonblocking verification of extended finite-state machines S Mohajerani, R Malik, M Fabian University of Waikato, Department of Computer Science, 2013 | 3 | 2013 |
| Three variations of observation equivalence preserving synthesis abstraction S Mohajerani, R Malik, S Ware, M Fabian University of Waikato, Department of Computer Science, 2011 | 3 | 2011 |
Martin FabianChalmers University of TechnologyVerified email at chalmers.se
