Michael Weber
Michael Weber
Instart Logic
Verified email at foldr.org - Homepage
TitleCited byYear
LTSmin: Distributed and symbolic reachability
S Blom, J van de Pol, M Weber
International Conference on Computer Aided Verification, 354-359, 2010
1332010
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
962010
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
612002
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
602001
Multi-core LTSmin: Marrying modularity and scalability
A Laarman, J van de Pol, M Weber
NASA Formal Methods Symposium, 506-511, 2011
562011
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
522011
” 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
502006
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
492011
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
382008
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
372011
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
322013
A multi-core solver for parity games
J van de Pol, M Weber
Electronic Notes in Theoretical Computer Science 220 (2), 19-34, 2008
282008
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
282008
An embeddable virtual machine for state space generation
M Weber
International SPIN Workshop on Model Checking of Software, 168-186, 2007
272007
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
262009
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
242003
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
222009
DivSPIN-a SPIN compatible distributed model checker
J Barnat, V Forejt, M Leucker, M Weber
TU Munchen, 2005
162005
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
72005
Parallel Algorithms for Verification of Large Systems
M Weber
Zugl.: Aachen, Techn. Hochsch., Diss., 2006, 2006
32006
The system can't perform the operation now. Try again later.
Articles 1–20