Jeroen Keiren

Cited by

	All	Since 2017
Citations	628	370
h-index	13	8
i10-index	15	7

2008200920102011201220132014201520162017201820192020202120223 4 12 19 32 41 40 51 45 38 86 67 66 81 31

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

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 NeeleAssistant Professor, Eindhoven 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 HwongInstitute of Science and Technology Austria (ISTA)Verified email at ist.ac.at
Sander J.J. LeemansRWTH UniversityVerified email at bpm.rwth-aachen.de
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
Julien SchmaltzICT GroupVerified email at ict.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

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	184	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, ... 25th International Conference on Tools and Algorithms for the Construction …, 2019	91	2019
The mCRL2 toolset JF Groote, JJA Keiren, AHJ Mathijssen, B Ploeger, FPM Stappers, ... Proceedings of the International Workshop on Academic Software Development …, 2008	57	2008
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	40	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	26	2013
Benchmarks for parity games JJA Keiren International Conference on Fundamentals of Software Engineering, 127-142, 2015	23	2015
Games for Bisimulations and Abstraction TAC Willemse, JJA Keiren, DDF Escrig Logical Methods in Computer Science 13, 2017	21*	2017
Bisimulation minimisations for boolean equation systems JJA Keiren, TAC Willemse Haifa Verification Conference, 102-116, 2009	21	2009
Stuttering mostly speeds up solving parity games S Cranen, JJA Keiren, TAC Willemse NASA Formal Methods Symposium, 207-221, 2011	17	2011
Designing case handling systems KM Hee, J Keiren, R Post, N Sidorova, JM Werf Transactions on Petri Nets and Other Models of Concurrency I, 119-133, 2008	16	2008
An O (m log n) algorithm for branching bisimilarity on labelled transition systems DN Jansen, JF Groote, JJA Keiren, A Wijs 26th International Conference on Tools and Algorithms for the Construction …, 2020	14	2020
Advanced Reduction Techniques for Model Checking JJA Keiren Eindhoven University of Technology, 2013	14	2013
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
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	13	2011
Structural Analysis of Boolean Equation Systems JJA Keiren, MA Reniers, TAC Willemse ACM Transactions on Computational Logic (TOCL), 2010	8	2010
Modelling and analysing software in mCRL2 JF Groote, JJA Keiren, B Luttik, EP de Vink, TAC Willemse International Conference on Formal Aspects of Component Software, 25-48, 2019	7	2019
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2 JJA Keiren, MD Klabbers Electronic Communications of the EASST 53, 2013	7	2013
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
Constructability of trip-lets J Keiren, F van Walderveen, A Wolff 25th European Workshop on Computational Geometry, Brussels, Belgium, 251-254, 2009	7	2009

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 this author

Cited by

Co-authors