Michael Weber
Michael Weber
Instart Logic
Dirección de correo verificada de foldr.org - Página principal
Título
Citado por
Citado por
Año
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
1012010
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
622002
Multi-core LTSmin: Marrying modularity and scalability
A Laarman, J van de Pol, M Weber
NASA Formal Methods Symposium, 506-511, 2011
582011
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
562001
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
542011
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
” 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
472006
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
392011
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
362008
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
332013
A multi-core solver for parity games
J van de Pol, M Weber
Electronic Notes in Theoretical Computer Science 220 (2), 19-34, 2008
302008
An embeddable virtual machine for state space generation
M Weber
International SPIN Workshop on Model Checking of Software, 168-186, 2007
282007
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
272009
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
272008
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
262003
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
232009
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
62005
A virtual machine for state space generation
M Weber, S Schürmans
INSTITUT FUR INFORMATIK UND PRAKTISCHE MATHEMATIK, 87, 2005
42005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20