Jeroen Meijer

According to our database, Jeroen Meijer authored at least 14 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Sound black-box checking in the LearnLib.

Jeroen Meijer, Jaco van de Pol

Innov. Syst. Softw. Eng., 2019

Multi-core On-The-Fly Saturation.

Tom van Dijk, Jeroen Meijer, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Presentation of the 9th Edition of the Model Checking Contest.

Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

MCC'2017 - The Seventh Model Checking Contest.

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.

Philipp Körner, Michael Leuschel, Jeroen Meijer

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Adaptive Learning for Learn-Based Regression Testing.

David Huistra, Jeroen Meijer, Jaco van de Pol

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin.

Jaco van de Pol, Jeroen Meijer

Proceedings of the Models, Mindsets, 2018

2017

The RERS 2017 challenge and workshop (invited paper).

Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Property-Preserving Generation of Tailored Benchmark Petri Nets.

Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis.

Jeroen Meijer, Jaco van de Pol

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Symbolic Reachability Analysis of B Through ProB and LTSmin.

Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking.

Jeroen Meijer, Jaco van de Pol

CoRR, 2015

LTSmin: High-Performance Language-Independent Model Checking.

Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Read, Write and Copy Dependencies for Symbolic Model Checking.

Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol

Proceedings of the Hardware and Software: Verification and Testing, 2014