Jeroen Keiren

Cited by

	All	Since 2016
Citations	519	307
h-index	13	8
i10-index	14	6

20082009201020112012201320142015201620172018201920203 4 12 19 32 43 39 50 46 39 87 64 70

Co-authors

Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Wieger WesselinkAssistant Proffessor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Thomas NeeleEindhoven University of TechnologyVerified email at tue.nl
Maurice LaveauxPhD student, Eindhoven University of TechnologyVerified email at tue.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Vincent KustersETH ZurichVerified email at inf.ethz.ch
Yi-Ling HwongUniversity of New South Wales, AustraliaVerified email at unsw.edu.au
Sander J.J. LeemansQueensland University of TechnologyVerified email at qut.edu.au
Jan Martijn van der WerfAssistant Professor in Software Architecture, Universiteit UtrechtVerified email at UU.nl
Natalia SidorovaTechnische Universiteit EindhovenVerified email at tue.nl
Kees van HeeEmeritus Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Alexander WolffChair for Algorithms and Complexity, Institute of Computer Science, University of WürzburgVerified email at uni-wuerzburg.de
Freek van WalderveenScientific software engineer, SCALGOVerified email at cs.au.dk
Julien SchmaltzICT GroupVerified email at ict.nl

Jeroen Keiren

Assistant Professor, Eindhoven University of Technology, The Netherlands

Verified email at tue.nl - Homepage

Formal Methods Verification Testing Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP de Vink, ... International Conference on Tools and Algorithms for the Construction and …, 2013	173	2013
The mCRL2 toolset JF Groote, JJA Keiren, AHJ Mathijssen, B Ploeger, FPM Stappers, ... Proceedings of the International Workshop on Academic Software Development …, 2008	54	2008
The mCRL2 Toolset for Analysing Concurrent Systems O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... International Conference on Tools and Algorithms for the Construction and …, 2019	46	2019
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation JF Groote, DN Jansen, JJA Keiren, AJ Wijs ACM Transactions on Computational Logic (TOCL) 18 (2), 1-34, 2017	32	2017
Formalising and Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider YL Hwong, JJA Keiren, VJJ Kusters, S Leemans, TAC Willemse Science of Computer Programming 78 (12), 2435-2452, 2013	23	2013
Bisimulation minimisations for boolean equation systems JJA Keiren, TAC Willemse Haifa Verification Conference, 102-116, 2009	21	2009
Benchmarks for parity games JJA Keiren International Conference on Fundamentals of Software Engineering, 127-142, 2015	18	2015
Games for Bisimulations and Abstraction TAC Willemse, JJA Keiren, DDF Escrig Logical Methods in Computer Science 13, 2017	16*	2017
Stuttering mostly speeds up solving parity games S Cranen, JJA Keiren, TAC Willemse NASA Formal Methods Symposium, 207-221, 2011	16	2011
Designing case handling systems K van Hee, J Keiren, R Post, N Sidorova, J van der Werf Transactions on Petri Nets and Other Models of Concurrency I, 119-133, 2008	15	2008
Liveness Analysis for Parameterised Boolean Equation Systems JJA Keiren, W Wesselink, TAC Willemse Automated Technology for Verification and Analysis 8837, 219-234, 2014	13*	2014
Advanced Reduction Techniques for Model Checking JJA Keiren Eindhoven University of Technology, 2013	13	2013
A cure for stuttering parity games S Cranen, JJA Keiren, TAC Willemse Theoretical Aspects of Computing-ICTAC 2012 7521, 198-212, 2012	13	2012
Experiences in developing the mCRL2 toolset JF Groote, JJA Keiren, FPM Stappers, JW Wesselink, TAC Willemse Software: Practice and Experience 41 (2), 143-153, 2011	12	2011
Structural Analysis of Boolean Equation Systems JJA Keiren, MA Reniers, TAC Willemse ACM Transactions on Computational Logic (TOCL), 2010	8	2010
An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems J Keiren Master’s thesis, Eindhoven University of Technology, 2009	7	2009
Branching Bisimulation Games D de Frutos Escrig, JJA Keiren, TAC Willemse International Conference on Formal Techniques for Distributed Objects …, 2016	6	2016
Type checking mCRL2 JJA Keiren, MA Reniers Computer Science Report 11 (11), 2011	6	2011
Constructability of trip-lets J Keiren, F van Walderveen, A Wolff 25th European Workshop on Comp. Geom., Brussels, Belgium, 2009	6	2009
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2 JJA Keiren, MD Klabbers Electronic Communications of the EASST 53, 2013	5	2013

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