Read, Write and Copy Dependencies for Symbolic Model Checking. - Jeroen Meijer; Gijs Kant; Stefan Blom; Jaco van de Pol (Haifa Verification Conference, 2014)

LTSmin: High-Performance Language-Independent Model Checking. - Gijs Kant; Alfons Laarman; Jeroen Meijer; Jaco van de Pol; Stefan Blom; Tom van Dijk (TACAS, 2015)

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. - Jeroen Meijer; Jaco van de Pol (CoRR, 2015)

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 (IFM, 2016)

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. - Jeroen Meijer; Jaco van de Pol (NFM, 2016)

Property-Preserving Generation of Tailored Benchmark Petri Nets. - Bernhard Steffen; Marc Jasper; Jeroen Meijer; Jaco van de Pol (ACSD, 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 (SPIN, 2017)

Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. - Jaco van de Pol; Jeroen Meijer (Models, Mindsets, Meta, 2018)

Adaptive Learning for Learn-Based Regression Testing. - David Huistra; Jeroen Meijer; Jaco van de Pol (FMICS, 2018)

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. - Philipp Körner; Michael Leuschel; Jeroen Meijer (IFM, 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

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; et al. (TACAS (3), 2019)

Multi-core On-The-Fly Saturation. - Tom van Dijk; Jeroen Meijer; Jaco van de Pol (TACAS (2), 2019)

Sound black-box checking in the LearnLib. - Jeroen Meijer; Jaco van de Pol (Innov. Syst. Softw. Eng., 2019)