Jeroen Meijer
Jeroen Meijer
PhD candidate, University of Twente
Verified email at utwente.nl - Homepage
TitleCited byYear
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
1132015
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*
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
22*2015
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
21*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
182014
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
142017
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
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
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
32019
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
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
22019
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
12019
Synchronous or Alternating?: LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin
J van de Pol, J Meijer
Theoretical Computer Science and General Issues, 2019
12019
Synchronous or Alternating?
J van de Pol, J Meijer
Models, Mindsets, Meta: The What, the How, and the Why Not?, 417-430, 2019
12019
Efficient learning and analysis of system behavior
JJG Meijer
University of Twente, 2019
2019
Presentation of the 9th edition of the model checking contest
F Kordon, H Garavel, L Hillah, E Paviot-Adet, L Jezequel, F Hulin-Hubard, ...
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
The system can't perform the operation now. Try again later.
Articles 1–20