Follow
Jeroen Meijer
Jeroen Meijer
Eijsink
Verified email at eijsink.nl - Homepage
Title
Cited by
Cited by
Year
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J Pol, S Blom, T Dijk
International Conference on Tools and Algorithms for the Construction and …, 2015
1672015
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
50*2015
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
282019
Bandwidth and wavefront reduction for static variable ordering in symbolic reachability analysis
J Meijer, J Pol
NASA Formal Methods Symposium, 255-271, 2016
26*2016
Complete Results for the 2016 Edition of the Model Checking Contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
24*
The RERS 2017 challenge and workshop
M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ...
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
232017
Read, write and copy dependencies for symbolic model checking
J Meijer, G Kant, S Blom, J Pol
Haifa Verification Conference, 204-219, 2014
232014
Property-preserving generation of tailored benchmark Petri nets
B Steffen, M Jasper, J Meijer, J van de Pol
2017 17th International Conference on Application of Concurrency to System …, 2017
172017
MCC’2017–the seventh model checking contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ...
Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018
142018
Adaptive learning for learn-based regression testing
D Huistra, J Meijer, J Pol
International Workshop on Formal Methods for Industrial Critical Systems …, 2018
132018
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J Pol, H Treharne, ...
International Conference on Integrated Formal Methods, 275-291, 2016
112016
Sound black-box checking in the LearnLib
J Meijer, J van de Pol
Innovations in systems and software engineering 15 (3), 267-287, 2019
72019
Sound black-box checking in the LearnLib
J Meijer, J Pol
NASA Formal Methods Symposium, 349-366, 2018
72018
Synchronous or alternating?
J Pol, J Meijer
Models, Mindsets, Meta: The What, the How, and the Why Not?, 417-430, 2019
52019
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
P Körner, M Leuschel, J Meijer
International Conference on Integrated Formal Methods, 275-295, 2018
52018
Multi-core on-the-fly saturation
T Dijk, J Meijer, J Pol
International Conference on Tools and Algorithms for the Construction and …, 2019
42019
Efficient learning and analysis of system behavior
JJG Meijer
University of Twente, 2019
32019
Complete Results for the 2017 Edition of the Model Checking Contest
KW F. Kordon, H. Garavel, L. M. Hillah, F. Hulin-Hubard, B. Berthomieu, G ...
2017
Improving Reachability Analysis in Ltsmin-Guards, Read, Write and Copy Dependencies for mcrl2, Promela and Dve
J Meijer
University of Twente, 2014
2014
Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic
J Meijer
15th Twente Student Conference on IT, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20