Folgen
Jeroen Meijer
Jeroen Meijer
Eijsink
Bestätigte E-Mail-Adresse bei eijsink.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1572015
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
48*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
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
222014
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, ...
22*
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
102018
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
92016
Sound black-box checking in the LearnLib
J Meijer, J Pol
NASA Formal Methods Symposium, 349-366, 2018
72018
Sound black-box checking in the LearnLib
J Meijer, J van de Pol
Innovations in systems and software engineering 15 (3), 267-287, 2019
62019
Synchronous or Alternating?
J Pol, J Meijer
Models, Mindsets, Meta: The What, the How, and the Why Not?, 417-430, 2019
62019
Multi-core on-the-fly saturation
T Dijk, J Meijer, J 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
42018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20