دنبال کردن
Jeroen Keiren
Jeroen Keiren
Assistant Professor, Eindhoven University of Technology, The Netherlands
ایمیل تأیید شده در tue.nl - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20