Michel Reniers

Cited by

	All	Since 2018
Citations	4203	1171
h-index	30	18
i10-index	97	34

260

130

195

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 10 16 30 35 37 53 73 91 90 102 161 160 179 230 155 207 227 232 244 162 160 126 152 149 190 226 239 194 170

Public access

View all

18 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Pieter CuijpersTechnische Universiteit Eindhoven, Radboud Universiteit NijmegenVerified email at tue.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Jasen MarkovskiEindhoven University of TechnologyVerified email at tue.nl
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Giovanni RusselloProfessor and Head of School of Computer Science, University of AucklandVerified email at auckland.ac.nz
Maurice HeemelsFull Professor Eindhoven University of TechnologyVerified email at tue.nl
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.ac.uk
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Irek UlidowskiInformatics, University of LeicesterVerified email at le.ac.uk
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsVerified email at tue.nl
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
Arnar BirgissonGoogleVerified email at google.com
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl

Michel Reniers

associate professor, Mechanical Engineering, TU/e

Verified email at tue.nl - Homepage

discrete event systems model-based systems engineering supervisory control supervisory control synthesis cyber-physical syst


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Process algebra: equational theories of communicating processes JCM Baeten, T Basten, MA Reniers Cambridge university press, 2010	285	2010
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	227	2007
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	218	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	189	2006
Hybrid process algebra PJL Cuijpers, MA Reniers The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005	166	2005
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	165	2001
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	158	1997
Message sequence chart: Syntax and semantics MA Reniers	119	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	110	2014
SOS formats and meta-theory: 20 years after MR Mousavi, MA Reniers, JF Groote Theoretical Computer Science 373 (3), 238-272, 2007	102	2007
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	66	2007
Operational semantics for MSC'96 S Mauw, MA Reniers Computer Networks 31 (17), 1785-1799, 1999	66	1999
A hierarchy of communication models for message sequence charts AG Engels, S Mauw, MA Reniers Science of Computer Programming 44 (3), 253-292, 2002	61	2002
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
Notions of bisimulation and congruence formats for SOS with data MR Mousavi, MA Reniers, JF Groote Information and Computation 200 (1), 107-147, 2005	58	2005
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	53	2015
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	51	2017
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
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	45	2011
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	44	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors