Michel Reniers - Google Scholar Citations

Cited by

	All	Since 2015
Citations	3346	814
h-index	25	13
i10-index	74	22

260

130

195

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202015 27 33 30 58 69 87 85 96 164 156 173 227 174 191 256 210 238 169 156 127 143 146 183 59

Co-authors

Mohammad Reza MousaviProfessor, University of LeicesterVerified email at le.ac.uk
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Pieter CuijpersTechnische Universiteit Eindhoven, Aalborg UniversitetVerified email at tue.nl
Ka Lok ManXi'an Jiaotong-Liverpool University Verified email at xjtlu.edu.cn
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Jasen MarkovskiEindhoven University of TechnologyVerified email at tue.nl
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Giovanni RusselloAssociate Professor 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
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.ac.uk
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
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Arnar BirgissonGoogleVerified email at google.com

Michel Reniers

associate professor, Mechanical Engineering, TU/e

Verified email at tue.nl - Homepage

model-based systems engineering supervisory control supervisory control synthesis cyber-physical systems formal methods


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, T Basten, MA Reniers Cambridge university press, 2010	249	2010
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	210	1994
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	197	2007
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	179	2006
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	152	1997
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	150	2001
Hybrid process algebra PJL Cuijpers, MA Reniers The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005	147	2005
Message sequence chart: Syntax and semantics DMA Reniers Faculty of Mathematics and Computing, 1998	109	1998
SOS formats and meta-theory: 20 years after MR Mousavi, MA Reniers, JF Groote Theoretical Computer Science 373 (3), 238-272, 2007	95	2007
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	63	2007
Operational semantics for MSC'96 S Mauw, MA Reniers Computer Networks 31 (17), 1785-1799, 1999	63	1999
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	54	2014
Message Sequence Charts in the software engineering process S Mauw, MA Reniers, TAC Willemse Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001	54	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	50	2005
Analysis of distributed systems with mCRL2 JF Groote, AHJ Mathijssen, MA Reniers, YS Usenko, ... Process Algebra for Parallel and Distributed Processing 4, 99-128, 2009	46	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	37	2011
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	36	2008
Hybrid transition systems PJL Cuijpers, MA Reniers, WPMH Heemels Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2002	34	2002
Completeness of timed μCRL M Reniers, JF Groote, MB van der Zwaag, J van Wamel Fundamenta Informaticae 50 (3-4), 361-402, 2002	34	2002
A rule format for associativity S Cranen, MR Mousavi, MA Reniers International Conference on Concurrency Theory, 447-461, 2008	31	2008

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

Upload PDF

Follow this author

Cited by

Co-authors