Michel Reniers
Michel Reniers
associate professor, Mechanical Engineering, TU/e
Geverifieerd e-mailadres voor tue.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Process algebra: equational theories of communicating processes
JCM Baeten, T Basten, T Basten, MA Reniers
Cambridge university press, 2010
2692010
The formal specification language mCRL2
JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg
Dagstuhl Seminar Proceedings, 2007
2132007
An algebraic semantics of basic message sequence charts
S Mauw, MA Reniers
The computer journal 37 (4), 269-277, 1994
2131994
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
1822006
High-level message sequence charts
S Mauw, MA Reniers
SDL'97: Time for Testing, 291-306, 1997
1591997
Algebraic process verification
JF Groote, MA Reniers
Handbook of process algebra, 1151-1208, 2001
1562001
Hybrid process algebra
PJL Cuijpers, MA Reniers
The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005
1552005
Message sequence chart: Syntax and semantics
DMA Reniers
Faculty of Mathematics and Computing, 1998
1131998
SOS formats and meta-theory: 20 years after
MR Mousavi, MA Reniers, JF Groote
Theoretical Computer Science 373 (3), 238-272, 2007
952007
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
752014
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
621999
Message Sequence Charts in the software engineering process
S Mauw, MA Reniers, TAC Willemse
Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001
562001
Notions of bisimulation and congruence formats for SOS with data
MR Mousavi, MA Reniers, JF Groote
Information and Computation 200 (1), 107-147, 2005
532005
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
472009
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
402011
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
Hybrid transition systems
PJL Cuijpers, MA Reniers, WPMH Heemels
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2002
352002
Completeness of timed μCRL
M Reniers, JF Groote, MB van der Zwaag, J van Wamel
Fundamenta Informaticae 50 (3-4), 361-402, 2002
352002
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
342015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20