Jeroen Meijer

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 13

Top Topics

Automated Verification

Reachability Analysis

Top Venues

Innov. Syst. Softw. Eng.

Publications

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
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Jeroen Meijer, Jaco van de Pol
Sound black-box checking in the LearnLib. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Tom van Dijk, Jeroen Meijer, Jaco van de Pol
Multi-core On-The-Fly Saturation. TACAS (2) (2019)
David Huistra, Jeroen Meijer, Jaco van de Pol
Adaptive Learning for Learn-Based Regression Testing. FMICS (2018)
Philipp Körner, Michael Leuschel, Jeroen Meijer
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. IFM (2018)
Jeroen Meijer, Jaco van de Pol
Sound Black-Box Checking in the LearnLib. NFM (2018)
Jaco van de Pol, Jeroen Meijer
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. Models, Mindsets, Meta (2018)
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
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
The RERS 2017 challenge and workshop (invited paper). SPIN (2017)
Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD (2017)
Jeroen Meijer, Jaco van de Pol
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. NFM (2016)
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM (2016)
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR (2016)
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
LTSmin: High-Performance Language-Independent Model Checking. TACAS (2015)
Jeroen Meijer, Jaco van de Pol
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. CoRR (2015)
Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol
Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference (2014)