Process algebra: equational theories of communicating processes JCM Baeten, MA Reniers Cambridge university press, 2010 | 297 | 2010 |
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007 | 233 | 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 | 193 | 2006 |
Hybrid process algebra PJL Cuijpers, MA Reniers The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005 | 175 | 2005 |
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997 | 166 | 1997 |
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001 | 165 | 2001 |
Message sequence chart: Syntax and semantics MA Reniers | 123 | 1999 |
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 | 121 | 2014 |
SOS formats and meta-theory: 20 years after MR Mousavi, MA Reniers, JF Groote Theoretical Computer Science 373 (3), 238-272, 2007 | 107 | 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 | 60 | 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 | 55 | 2015 |
Supervisory control of timed discrete-event systems subject to communication delays and non-fifo observations A Rashidinejad, M Reniers, L Feng IFAC-PapersOnLine 51 (7), 456-463, 2018 | 48 | 2018 |
Analysis of distributed systems with mCRL2 JF Groote, AHJ Mathijssen, MA Reniers, YS Usenko, ... Process Algebra for Parallel and Distributed Processing 1, 99-128, 2009 | 48 | 2009 |