Jan Friso Groote

Cited by

	All	Since 2018
Citations	7956	1350
h-index	50	17
i10-index	110	32

540

270

135

405

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202323 30 80 93 171 164 179 128 169 188 172 303 187 228 290 360 295 528 348 368 272 262 295 307 234 251 240 208 236 253 263 272 260 63

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Alban PonseGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsVerified email at tue.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Wim H. Hesselinkretired at Computer Science, Groningen UniversityVerified email at rug.nl
Ammar OsaiweranPhd Student at the Technical university of EindhovenVerified email at tu.edu.ye
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Wieger WesselinkAssistant Proffessor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
Jun PangUniversity of LuxembourgVerified email at uni.lu
hans zantemaEindhoven university of technologyVerified email at tue.nl
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Maurice LaveauxPhD student, Eindhoven University of TechnologyVerified email at tue.nl

Jan Friso Groote

Full Professor (Hoogleraar), Eindhoven University of Technology

Verified email at tue.nl - Homepage

Formal Methods Software modelling and verification Embedded Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	542	1992
The Syntax and Semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop …, 1995	479	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	301	1990
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	262	2014
Transition system specifications with negative premises JF Groote Theoretical Computer Science 118 (2), 263-299, 1993	254	1993
µCRL: A toolset for analysing algebraic specifications S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	226	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	225	2007
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	193	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	164	2001
Proof Theory for µCRL: A Language for Processes with Data. JF Groote, A Ponse Semantics of Specification Languages (SoSL) Proceedings of the International …, 1994	154	1994
The safety guaranteeing system at station Hoorn-Kersenboogerd JF Groote, SFM van Vlijmen, JWC Koorn COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995	151	1995
Transition system specifications with negative premises JF Groote CONCUR'90 Theories of Concurrency: Unification and Extension: Amsterdam, The …, 2005	140	2005
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	140	1996
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification JF Groote, J van de Pol Algebraic Methodology and Software Technology: 5th International Conference …, 1996	132	1996
Invariants in process algebra with data M Bezem, JF Groote CONCUR'94: Concurrency Theory, 401-416, 1994	121	1994
Transformation of BPMN Models for Behaviour Analysis. I Raedts, M Petkovic, YS Usenko, JMEM van der Werf, JF Groote, ... MSVVEIS 2007, 126-137, 2007	118	2007
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	117	2019
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	116*	1997
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	111	1996
Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994	111	1994

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