LTSmin: Distributed and symbolic reachability S Blom, J van de Pol, M Weber International Conference on Computer Aided Verification, 354-359, 2010 | 161 | 2010 |
Boosting multi-core reachability performance with shared hash tables A Laarman, J van de Pol, M Weber Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010 | 109 | 2010 |
Multi-core nested depth-first search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs International Symposium on Automated Technology for Verification and …, 2011 | 67 | 2011 |
Multi-core LTSmin: Marrying modularity and scalability A Laarman, J van de Pol, M Weber NASA Formal Methods Symposium, 506-511, 2011 | 65 | 2011 |
Local parallel model checking for the alternation-free μ-calculus B Bollig, M Leucker, M Weber International SPIN Workshop on Model Checking of Software, 128-147, 2002 | 61 | 2002 |
A Database Approach to Distributed State-Space Generation S Blom, B Lisser, J Van De Pol, M Weber Journal of Logic and Computation 21 (1), 45-62, 2011 | 58 | 2011 |
Parallel model checking for the alternation free μ-calculus B Bollig, M Leucker, M Weber International Conference on Tools and Algorithms for the Construction and …, 2001 | 57 | 2001 |
” To Store or Not To Store” Reloaded: Reclaiming Memory on Demand M Hammer, M Weber International Workshop on Formal Methods for Industrial Critical Systems, 51-66, 2006 | 52 | 2006 |
Parallel recursive state compression for free A Laarman, J Van De Pol, M Weber International SPIN Workshop on Model Checking of Software, 38-56, 2011 | 50 | 2011 |
Guard-based partial-order reduction A Laarman, E Pater, J Van De Pol, M Weber International SPIN Workshop on Model Checking of Software, 227-245, 2013 | 45 | 2013 |
Revisiting resistance speeds up I/O-efficient LTL model checking J Barnat, L Brim, P Šimeček, M Weber International Conference on Tools and Algorithms for the Construction and …, 2008 | 38 | 2008 |
A multi-core solver for parity games J van de Pol, M Weber Electronic Notes in Theoretical Computer Science 220 (2), 19-34, 2008 | 35 | 2008 |
A database approach to distributed state space generation S Blom, B Lisser, J van de Pol, M Weber Electronic Notes in Theoretical Computer Science 198 (1), 17-32, 2008 | 32 | 2008 |
An embeddable virtual machine for state space generation M Weber International SPIN Workshop on Model Checking of Software, 168-186, 2007 | 28 | 2007 |
Parallel Model Checking for LTL, CTL∗, and L 2 μ M Leucker, R Somla, M Weber Electronic Notes in Theoretical Computer Science 89 (1), 4-16, 2003 | 28 | 2003 |
Bridging the gap between enumerative and symbolic model checkers S Blom, J Pol, M Weber University of Twente, Centre for Telematics and Information Technology, 2009 | 27 | 2009 |
A database approach to distributed state-space generation S Blom, B Lisser, J Van De Pol, M Weber Journal of Logic and Computation, exp004, 2009 | 27 | 2009 |
DivSPIN-a SPIN compatible distributed model checker J Barnat, V Forejt, M Leucker, M Weber TU Munchen, 2005 | 17 | 2005 |
Functional programming languages for verification tools: a comparison of Standard ML and Haskell M Leucker, T Noll, P Stevens, M Weber International Journal on Software Tools for Technology Transfer 7 (2), 184-194, 2005 | 6 | 2005 |
Parallel Algorithms for Verification of Large Systems M Weber Zugl.: Aachen, Techn. Hochsch., Diss., 2006, 2006 | 4 | 2006 |