Jeroen Meijer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2015–2019
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | 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 Gjl Jensen, Log 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 | TACAS | Multi-core On-The-Fly Saturation. | Tom van Dijk, Jeroen Meijer, Jaco van de Pol |
| 2018 | FMICS | Adaptive Learning for Learn-Based Regression Testing. | David Huistra, Jeroen Meijer, Jaco van de Pol |
| 2018 | IFM | State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. | Philipp Krner, Michael Leuschel, Jeroen Meijer |
| 2016 | IFM | Symbolic Reachability Analysis of B Through ProB and LTSmin. | Jens Bendisposto, Philipp Krner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield |
| 2015 | TACAS | LTSmin: High-Performance Language-Independent Model Checking. | Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk |