Michel Reniers
Michel Reniers
associate professor, Mechanical Engineering, TU/e
Verified email at tue.nl - Homepage
Title
Cited by
Cited by
Year
Process algebra: equational theories of communicating processes
JCM Baeten, T Basten, T Basten, MA Reniers
Cambridge university press, 2010
2712010
The formal specification language mCRL2
JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg
Dagstuhl Seminar Proceedings, 2007
2172007
An algebraic semantics of basic message sequence charts
S Mauw, MA Reniers
The computer journal 37 (4), 269-277, 1994
2151994
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
1832006
Hybrid process algebra
PJL Cuijpers, MA Reniers
The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005
1602005
High-level message sequence charts
S Mauw, MA Reniers
SDL'97: Time for Testing, 291-306, 1997
1581997
Algebraic process verification
JF Groote, MA Reniers
Handbook of process algebra, 1151-1208, 2001
1562001
Message sequence chart: Syntax and semantics
DMA Reniers
Faculty of Mathematics and Computing, 1998
1141998
SOS formats and meta-theory: 20 years after
MR Mousavi, MA Reniers, JF Groote
Theoretical Computer Science 373 (3), 238-272, 2007
962007
CIF 3: Model-based engineering of supervisory controllers
DA van Beek, WJ Fokkink, D Hendriks, A Hofkamp, J Markovski, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
812014
Foundations of a compositional interchange format for hybrid systems
DA van Beek, MA Reniers, RRH Schiffelers, JE Rooda
International Workshop on Hybrid Systems: Computation and Control, 587-600, 2007
652007
Operational semantics for MSC'96
S Mauw, MA Reniers
Computer Networks 31 (17), 1785-1799, 1999
641999
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
Notions of bisimulation and congruence formats for SOS with data
MR Mousavi, MA Reniers, JF Groote
Information and Computation 200 (1), 107-147, 2005
542005
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
462009
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
412011
Core research and innovation areas in cyber-physical systems of systems
S Engell, R Paulen, MA Reniers, C Sonntag, H Thompson
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015
392015
Concrete syntax and semantics of the compositional interchange format for hybrid systems
DA van Beek, MA Reniers, JE Rooda, RRH Schiffelers
IFAC Proceedings Volumes 41 (2), 7979-7986, 2008
372008
Completeness of timed μCRL
M Reniers, JF Groote, MB van der Zwaag, J van Wamel
Fundamenta Informaticae 50 (3-4), 361-402, 2002
372002
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
352017
The system can't perform the operation now. Try again later.
Articles 1–20