| LTSmin: High-Performance, Language-Independent Model Checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk TACAS 9035 (0302-9743), 692-707, 2015 | 245 | 2015 |
| Boosting Multi-Core Reachability Performance with Shared Hash Tables A Laarman, J Van De Pol, M Weber Formal Methods in Computer-Aided Design (FMCAD), 2010, 247-255, 2010 | 111 | 2010 |
| Improved multi-core nested depth-first search S Evangelista, A Laarman, L Petrucci, J Van De Pol International Symposium on Automated Technology for Verification and …, 2012 | 89 | 2012 |
| Multi-Core Nested Depth-First Search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs Automated Technology for Verification and Analysis, 321-335, 2011 | 74 | 2011 |
| Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011 | 66 | 2011 |
| Ontological Metamodeling with Explicit Instantiation A Laarman, I Kurtev Software Language Engineering, 174-183, 2010 | 59 | 2010 |
| Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction A Laarman, MC Olesen, A Dalsgaard, KG Larsen, J van de Pol CAV 2013, 16, 2013 | 55 | 2013 |
| Multi-core on-the-fly SCC decomposition V Bloemen, A Laarman, J van de Pol Proceedings of the 21st ACM SIGPLAN symposium on Principles and practice of …, 2016 | 52 | 2016 |
| Parallel Recursive State Compression for Free A Laarman, J Van De Pol, M Weber Model Checking Software, 38-56, 2011 | 50 | 2011 |
| Parallel model checking algorithms for linear-time temporal logic J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ... Handbook of Parallel Constraint Reasoning, 457-507, 2018 | 48 | 2018 |
| Multi-Core BDD Operations for Symbolic Reachability T van Dijk, AW Laarman, JC van de Pol Electronic Notes in Theoretical Computer Science, 2012 | 48 | 2012 |
| Guard-based partial-order reduction A Laarman, E Pater, J Van De Pol, H Hansen International journal on software tools for technology transfer 18 (4), 427-448, 2016 | 47 | 2016 |
| LIMDD: A decision diagram for simulation of quantum computing including stabilizer states L Vinkhuijzen, T Coopmans, D Elkouss, V Dunjko, A Laarman Quantum 7, 1108, 2023 | 43 | 2023 |
| SpinS: Extending LTSmin with Promela through SpinJa FI van der Berg, AW Laarman PASM / PDMC, 11, 2012 | 35 | 2012 |
| Vienna Verification Tool: IC3 for Parallel Software: (Competition Contribution) H Günther, A Laarman, G Weissenbacher International Conference on Tools and Algorithms for the Construction and …, 2016 | 32 | 2016 |
| Multi-core reachability for timed automata AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol International Conference on Formal Modeling and Analysis of Timed Systems …, 2012 | 32 | 2012 |
| Simulating quantum circuits by model counting J Mei, M Bonsangue, A Laarman International Conference on Computer Aided Verification, 555-578, 2024 | 29 | 2024 |
| Scalable multi-core model checking A Laarman | 26 | 2014 |
| Variations on multi-core nested depth-first search A Laarman, J van de Pol arXiv preprint arXiv:1111.0369, 2011 | 24 | 2011 |
| A parallel compact hash table S van der Vegt, A Laarman International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011 | 24 | 2011 |
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
