| LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J Van de Pol, S Blom, T Van Dijk Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 217 | 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, ... | 55* | 2015 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 51 | 2019 |
| Bandwidth and wavefront reduction for static variable ordering in symbolic reachability analysis J Meijer, J van de Pol NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 30* | 2016 |
| 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, ... | 26* | |
| 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 | 25 | 2017 |
| Read, write and copy dependencies for symbolic model checking J Meijer, G Kant, S Blom, J van de Pol Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 23 | 2014 |
| Sound black-box checking in the LearnLib J Meijer, J van de Pol Innovations in Systems and Software Engineering 15 (3), 267-287, 2019 | 18 | 2019 |
| 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 | 18 | 2018 |
| Adaptive learning for learn-based regression testing D Huistra, J Meijer, J van de Pol Formal Methods for Industrial Critical Systems: 23rd International …, 2018 | 18 | 2018 |
| 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 | 17 | 2017 |
| Symbolic Reachability Analysis of B Through ProB and LTSmin J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ... Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 13 | 2016 |
| Synchronous or Alternating? LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin J van de Pol, J Meijer Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019 | 9 | 2019 |
| State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin P Körner, M Leuschel, J Meijer Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 7 | 2018 |
| Multi-core on-the-fly saturation T van Dijk, J Meijer, J van de Pol Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 6 | 2019 |
| Efficient learning and analysis of system behavior J Meijer | 2 | 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 |
| Towards Multi-Core Symbolic Model Checking of Timed Automata? A Hartmanns, S van Hijum, J Meijer, J van de Pol Research Ideas FMICS-AVoCS 2016, 1, 0 | | |
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
