Urmăriți
Jeroen Keiren
Jeroen Keiren
Assistant Professor, Eindhoven University of Technology, The Netherlands
Adresă de e-mail confirmată pe tue.nl - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
2232019
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
2122013
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
742011
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
592017
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
392013
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
372020
Benchmarks for parity games
JJA Keiren
Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015
352015
Games for Bisimulations and Abstraction
TAC Willemse, JJA Keiren, DDF Escrig
Logical Methods in Computer Science 13, 2017
29*2017
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
282019
Bisimulation minimisations for boolean equation systems
JJA Keiren, TAC Willemse
Haifa Verification Conference, 102-116, 2009
242009
Liveness Analysis for Parameterised Boolean Equation Systems
JJA Keiren, W Wesselink, TAC Willemse
Automated Technology for Verification and Analysis 8837, 219-234, 2014
18*2014
Advanced Reduction Techniques for Model Checking
JJA Keiren
Eindhoven University of Technology, 2013
182013
Stuttering mostly speeds up solving parity games
S Cranen, JJA Keiren, TAC Willemse
NASA Formal Methods Symposium, 207-221, 2011
172011
Designing case handling systems
KM van Hee, J Keiren, R Post, N Sidorova, JM van der Werf
Transactions on Petri Nets and Other Models of Concurrency I, 119-133, 2008
162008
Tutorial: Designing Distributed Software in mCRL2
JF Groote, JJA Keiren
International Conference on Formal Techniques for Distributed Objects …, 2021
152021
A cure for stuttering parity games
S Cranen, JJA Keiren, TAC Willemse
Theoretical Aspects of Computing-ICTAC 2012 7521, 198-212, 2012
152012
Formal methods in industry
MH ter Beek, R Chapman, R Cleaveland, H Garavel, R Gu, I ter Horst, ...
Formal Aspects of Computing 37 (1), 1-38, 2024
132024
Structural Analysis of Boolean Equation Systems
JJA Keiren, MA Reniers, TAC Willemse
ACM Transactions on Computational Logic (TOCL), 2010
122010
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2
JJA Keiren, MD Klabbers
Electronic Communications of the EASST 53, 2013
102013
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20