Följ
Jeroen Meijer
Jeroen Meijer
Eijsink
Verifierad e-postadress på eijsink.nl - Startsida
Titel
Citeras av
Citeras av
År
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J Van de Pol, S Blom, T Van Dijk
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
2002015
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
56*2015
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
392019
Bandwidth and wavefront reduction for static variable ordering in symbolic reachability analysis
J Meijer, J van de Pol
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
27*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, ...
26*
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
242017
Read, write and copy dependencies for symbolic model checking
J Meijer, G Kant, S Blom, J van de Pol
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
232014
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
172018
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
Sound black-box checking in the LearnLib
J Meijer, J van de Pol
Innovations in Systems and Software Engineering 15 (3), 267-287, 2019
162019
Adaptive learning for learn-based regression testing
D Huistra, J Meijer, J van de Pol
Formal Methods for Industrial Critical Systems: 23rd International …, 2018
162018
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ...
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
142016
Synchronous or Alternating? LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin
J van de Pol, J Meijer
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
92019
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
P Körner, M Leuschel, J Meijer
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
72018
Multi-core on-the-fly saturation
T van Dijk, J Meijer, J van de Pol
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
62019
Efficient Learning and Analysis of System Behavior
JJG Meijer
University of Twente, 2019
22019
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
Towards Multi-Core Symbolic Model Checking of Timed Automata?
A Hartmanns, S van Hijum, J Meijer, J van de Pol
Research Ideas FMICS-AVoCS 2016, 1, 0
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20