Process algebra: equational theories of communicating processes JCM Baeten, MA Reniers Cambridge university press, 2010 | 307 | 2010 |
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007 | 235 | 2007 |
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994 | 223 | 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 | 179 | 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 | 167 | 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 | 130 | 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 |
Notions of bisimulation and congruence formats for SOS with data MR Mousavi, MA Reniers, JF Groote Information and Computation 200 (1), 107-147, 2005 | 62 | 2005 |
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 |
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 | 61 | 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 | 61 | 2015 |
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 |
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 | 52 | 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 | 52 | 2011 |