Follow
M.A. Reniers
Title
Cited by
Cited by
Year
Process algebra: equational theories of communicating processes
JCM Baeten, MA Reniers
Cambridge university press, 2010
3072010
The formal specification language mCRL2
JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg
Dagstuhl Seminar Proceedings, 2007
2352007
An algebraic semantics of basic message sequence charts
S Mauw, MA Reniers
The computer journal 37 (4), 269-277, 1994
2231994
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
1942006
Hybrid process algebra
PJL Cuijpers, MA Reniers
The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005
1792005
High-level message sequence charts
S Mauw, MA Reniers
SDL'97: Time for Testing, 291-306, 1997
1691997
Algebraic process verification
JF Groote, MA Reniers
Handbook of process algebra, 1151-1208, 2001
1672001
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
1302014
Message sequence chart: Syntax and semantics
MA Reniers
1231999
SOS formats and meta-theory: 20 years after
MR Mousavi, MA Reniers, JF Groote
Theoretical Computer Science 373 (3), 238-272, 2007
1092007
Modelling distributed systems
W Fokkink, JF Groote, M Reniers
Springer, 2007
952007
Operational semantics for MSC'96
S Mauw, MA Reniers
Computer Networks 31 (17), 1785-1799, 1999
681999
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
672007
Notions of bisimulation and congruence formats for SOS with data
MR Mousavi, MA Reniers, JF Groote
Information and Computation 200 (1), 107-147, 2005
622005
A hierarchy of communication models for message sequence charts
AG Engels, S Mauw, MA Reniers
Science of Computer Programming 44 (3), 253-292, 2002
622002
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
612017
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
612015
Message Sequence Charts in the software engineering process
S Mauw, MA Reniers, TAC Willemse
Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001
592001
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
522019
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
522011
The system can't perform the operation now. Try again later.
Articles 1–20