Jeroen Keiren

Cited by

	All	Since 2018
Citations	713	420
h-index	13	8
i10-index	16	8

20082009201020112012201320142015201620172018201920202021202220233 3 13 19 28 40 40 52 45 38 83 63 72 72 89 40

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
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Frank StappersPhD Student, Technische Universiteit EindhovenVerified 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
Bas LuttikAssistant 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

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	196	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	126	2019
The mCRL2 toolset JF Groote, JJA Keiren, AHJ Mathijssen, B Ploeger, FPM Stappers, ... Proceedings of the International Workshop on Academic Software Development …, 2008	56	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	46	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	29	2013
Benchmarks for parity games JJA Keiren International Conference on Fundamentals of Software Engineering, 127-142, 2015	26	2015
Games for Bisimulations and Abstraction TAC Willemse, JJA Keiren, DDF Escrig Logical Methods in Computer Science 13, 2017	23*	2017
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	22	2020
Bisimulation minimisations for boolean equation systems JJA Keiren, TAC Willemse Haifa Verification Conference, 102-116, 2009	22	2009
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 KM Hee, J Keiren, R Post, N Sidorova, JM 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	14*	2014
Advanced Reduction Techniques for Model Checking JJA Keiren Eindhoven University of Technology, 2013	14	2013
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	13	2019
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
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2 JJA Keiren, MD Klabbers Electronic Communications of the EASST 53, 2013	9	2013
Structural Analysis of Boolean Equation Systems JJA Keiren, MA Reniers, TAC Willemse ACM Transactions on Computational Logic (TOCL), 2010	9	2010
Branching bisimulation games D Frutos Escrig, JJA Keiren, TAC Willemse International Conference on Formal Techniques for Distributed Objects …, 2016	8	2016
Constructability of trip-lets J Keiren, F van Walderveen, A Wolff 25th European Workshop on Computational Geometry, Brussels, Belgium, 251-254, 2009	8	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

Cited by

Co-authors