Jeroen Meijer - RankMe

16 papers A 1B 2C 1Journal 4Unranked 8

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