Jeroen Keiren
Jeroen Keiren
Geverifieerd e-mailadres voor ou.nl - Homepage
TitelGeciteerd doorJaar
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
1292013
The mCRL2 toolset
JF Groote, JJA Keiren, AHJ Mathijssen, B Ploeger, FPM Stappers, ...
Proceedings of the International Workshop on Academic Software Development …, 2008
552008
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
212013
Bisimulation minimisations for boolean equation systems
JJA Keiren, TAC Willemse
Haifa Verification Conference, 102-116, 2009
202009
Stuttering mostly speeds up solving parity games
S Cranen, JJA Keiren, TAC Willemse
NASA Formal Methods Symposium, 207-221, 2011
152011
Games for Bisimulations and Abstraction
TAC Willemse, JJA Keiren, DDF Escrig
Logical Methods in Computer Science 13, 2017
14*2017
Benchmarks for parity games
JJA Keiren
International Conference on Fundamentals of Software Engineering, 127-142, 2015
122015
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
122008
Advanced Reduction Techniques for Model Checking
JJA Keiren
Eindhoven University of Technology, 2013
112013
A cure for stuttering parity games
S Cranen, JJA Keiren, TAC Willemse
Theoretical Aspects of Computing-ICTAC 2012 7521, 198-212, 2012
112012
An O (m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
JF Groote, DN Jansen, JJA Keiren, AJ Wijs
ACM Transactions on Computational Logic (TOCL) 18 (2), 13, 2017
92017
Liveness Analysis for Parameterised Boolean Equation Systems
JJA Keiren, W Wesselink, TAC Willemse
Automated Technology for Verification and Analysis 8837, 219-234, 2014
9*2014
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
82011
Structural Analysis of Boolean Equation Systems
J Keiren, MA Reniers, TAC Willemse
ACM Transactions on Computational Logic (TOCL), 2010
82010
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
82009
Constructability of trip-lets
J Keiren, F van Walderveen, A Wolff
25th European Workshop on Comp. Geom., Brussels, Belgium, 2009
62009
Branching Bisimulation Games
D de Frutos Escrig, JJA Keiren, TAC Willemse
International Conference on Formal Techniques for Distributed Objects …, 2016
42016
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2
JJA Keiren, MD Klabbers
Electronic Communications of the EASST 53, 2013
42013
Type checking mCRL2
JJA Keiren, MA Reniers
Computer Science Report 11 (11), 2011
42011
Parity game reductions
S Cranen, JJA Keiren, TAC Willemse
Acta Informatica 55 (5), 401-444, 2018
32018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20