Jeroen Meijer
Jeroen Meijer
PhD candidate, University of Twente
Verified email at utwente.nl - Homepage
Title
Cited by
Cited by
Year
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk
International Conference on Tools and Algorithms for the Construction and …, 2015
1202015
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
28*2015
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, ...
26*
Bandwidth and wavefront reduction for static variable ordering in symbolic reachability analysis
J Meijer, J van de Pol
NASA Formal Methods Symposium, 255-271, 2016
22*2016
Read, write and copy dependencies for symbolic model checking
J Meijer, G Kant, S Blom, J van de Pol
Haifa Verification Conference, 204-219, 2014
202014
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
162017
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
122017
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ...
International Conference on Integrated Formal Methods, 275-291, 2016
92016
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
82018
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
62019
Adaptive learning for learn-based regression testing
D Huistra, J Meijer, J van de Pol
International Workshop on Formal Methods for Industrial Critical Systems …, 2018
62018
Sound black-box checking in the LearnLib
J Meijer, J van de Pol
NASA Formal Methods Symposium, 349-366, 2018
62018
Multi-core on-the-fly saturation
T van Dijk, J Meijer, J van de Pol
International Conference on Tools and Algorithms for the Construction and …, 2019
42019
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
32018
Sound black-box checking in the LearnLib
J Meijer, J van de Pol
Innovations in systems and software engineering 15 (3-4), 267-287, 2019
22019
Presentation of the 9th edition of the model checking contest
F Kordon, H Garavel, L Hillah, E Paviot-Adet, L Jezequel, F Hulin-Hubard, ...
22019
Synchronous or Alternating?
J van de Pol, J Meijer
Models, Mindsets, Meta: The What, the How, and the Why Not?, 417-430, 2019
22019
Efficient learning and analysis of system behavior
JJG Meijer
University of Twente, 2019
2019
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
The system can't perform the operation now. Try again later.
Articles 1–20