| Process algebra: equational theories of communicating processes JCM Baeten, MA Reniers Cambridge university press, 2010 | 305 | 2010 |
| The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007 | 232 | 2007 |
| An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994 | 222 | 1994 |
| Syntax and consistent equation semantics of hybrid Chi DA van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers The Journal of Logic and Algebraic Programming 68 (1-2), 129-210, 2006 | 194 | 2006 |
| Hybrid process algebra PJL Cuijpers, MA Reniers The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005 | 176 | 2005 |
| High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997 | 169 | 1997 |
| Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001 | 166 | 2001 |
| CIF 3: Model-based engineering of supervisory controllers DA van Beek, WJ Fokkink, D Hendriks, A Hofkamp, J Markovski, ... Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 124 | 2014 |
| Message sequence chart: Syntax and semantics MA Reniers | 123 | 1999 |
| SOS formats and meta-theory: 20 years after MR Mousavi, MA Reniers, JF Groote Theoretical Computer Science 373 (3), 238-272, 2007 | 109 | 2007 |
| Modelling distributed systems W Fokkink, JF Groote, M Reniers Springer, 2007 | 95 | 2007 |
| Operational semantics for MSC'96 S Mauw, MA Reniers Computer Networks 31 (17), 1785-1799, 1999 | 68 | 1999 |
| Foundations of a compositional interchange format for hybrid systems DA van Beek, MA Reniers, RRH Schiffelers, JE Rooda Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007 | 67 | 2007 |
| A hierarchy of communication models for message sequence charts AG Engels, S Mauw, MA Reniers Science of Computer Programming 44 (3), 253-292, 2002 | 62 | 2002 |
| Notions of bisimulation and congruence formats for SOS with data MR Mousavi, MA Reniers, JF Groote Information and Computation 200 (1), 107-147, 2005 | 60 | 2005 |
| Message Sequence Charts in the software engineering process S Mauw, MA Reniers, TAC Willemse Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001 | 59 | 2001 |
| Systematic model-based design and implementation of supervisors for advanced driver assistance systems T Korssen, V Dolk, J Van De Mortel-Fronczak, M Reniers, M Heemels IEEE Transactions on Intelligent Transportation Systems 19 (2), 533-544, 2017 | 58 | 2017 |
| Core research and innovation areas in cyber-physical systems of systems: initial findings of the CPSoS project S Engell, R Paulen, MA Reniers, C Sonntag, H Thompson Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015 | 58 | 2015 |
| Supervisory control of discrete-event systems under attacks: An overview and outlook A Rashidinejad, B Wetzels, M Reniers, L Lin, Y Zhu, R Su 2019 18th European Control Conference (ECC), 1732-1739, 2019 | 50 | 2019 |
| A linear translation from CTL* to the first-order modal μ-calculus S Cranen, JF Groote, M Reniers Theoretical Computer Science 412 (28), 3129-3139, 2011 | 50 | 2011 |
