Jan Friso Groote

Cited by

	All	Since 2019
Citations	8665	1660
h-index	51	20
i10-index	114	37

520

260

130

390

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 36 90 99 171 164 185 139 168 200 184 315 214 229 326 350 298 520 352 378 270 274 289 305 233 252 251 216 241 270 266 241 276 336 260

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

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
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyVerified email at tue.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Wieger WesselinkAI Research Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Ammar OsaiweranPhd Student at the Technical university of EindhovenVerified email at tu.edu.ye
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 LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Maurice LaveauxPhD student, Eindhoven University of TechnologyVerified email at tue.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Stefan BlomUniversity of TwenteVerified email at utwente.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	556	1992
The Syntax and Semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop …, 1995	484	1995
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	323	2014
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	322	1990
Transition system specifications with negative premises JF Groote Theoretical Computer Science 118 (2), 263-299, 1993	268	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	235	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	234	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	207	2013
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	204	2019
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	169	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	155	1994
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	151	1996
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification JF Groote, J van de Pol International Conference on Algebraic Methodology and Software Technology …, 1996	145	1996
Transition system specifications with negative premises JF Groote International Conference on Concurrency Theory, 332-341, 1990	144	1990
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	138	1995
Transformation of BPMN models for behaviour analysis I Raedts, M Petković, YS Usenko, JM Van Der Werf, JF Groote, L Somers The 5th International Workshop on Modelling, Simulation, Verification and …, 2007	128	2007
Invariants in process algebra with data M Bezem, JF Groote CONCUR'94: Concurrency Theory, 401-416, 1994	126	1994
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	123*	1997
Parameterised boolean equation systems JF Groote, TAC Willemse Theoretical Computer Science 343 (3), 332-369, 2005	116	2005
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	115	1996

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