| LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk International Conference on Tools and Algorithms for the Construction and …, 2015 | 130 | 2015 |
| Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ... | 36* | 2015 |
| Bandwidth and wavefront reduction for static variable ordering in symbolic reachability analysis J Meijer, J van de Pol NASA Formal Methods Symposium, 255-271, 2016 | 25* | 2016 |
| Read, write and copy dependencies for symbolic model checking J Meijer, G Kant, S Blom, J van de Pol Haifa Verification Conference, 204-219, 2014 | 22 | 2014 |
| Complete Results for the 2016 Edition of the Model Checking Contest, June 2016 F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ... | 19* | |
| The RERS 2017 challenge and workshop M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ... Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 18 | 2017 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 14 | 2019 |
| Property-preserving generation of tailored benchmark Petri nets B Steffen, M Jasper, J Meijer, J van de Pol 2017 17th International Conference on Application of Concurrency to System …, 2017 | 13 | 2017 |
| MCC’2017–the seventh model checking contest F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ... Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018 | 11 | 2018 |
| Symbolic Reachability Analysis of B Through ProB and LTSmin J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ... International Conference on Integrated Formal Methods, 275-291, 2016 | 10 | 2016 |
| Adaptive learning for learn-based regression testing D Huistra, J Meijer, J van de Pol International Workshop on Formal Methods for Industrial Critical Systems …, 2018 | 9 | 2018 |
| Sound black-box checking in the LearnLib J Meijer, J van de Pol NASA Formal Methods Symposium, 349-366, 2018 | 6 | 2018 |
| Sound black-box checking in the LearnLib J Meijer, J van de Pol Innovations in systems and software engineering 15 (3), 267-287, 2019 | 4 | 2019 |
| Multi-core on-the-fly saturation T van Dijk, J Meijer, J van de Pol International Conference on Tools and Algorithms for the Construction and …, 2019 | 4 | 2019 |
| Synchronous or Alternating? J van de Pol, J Meijer Models, Mindsets, Meta: The What, the How, and the Why Not?, 417-430, 2019 | 3 | 2019 |
| State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin P Körner, M Leuschel, J Meijer International Conference on Integrated Formal Methods, 275-295, 2018 | 3 | 2018 |
| Efficient learning and analysis of system behavior JJG Meijer University of Twente, 2019 | 1 | 2019 |
| Complete Results for the 2017 Edition of the Model Checking Contest KW F. Kordon, H. Garavel, L. M. Hillah, F. Hulin-Hubard, B. Berthomieu, G ... | | 2017 |
| Improving Reachability Analysis in Ltsmin-Guards, Read, Write and Copy Dependencies for mcrl2, Promela and Dve J Meijer University of Twente, 2014 | | 2014 |
| Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic J Meijer 15th Twente Student Conference on IT, 2011 | | 2011 |
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
