Michael Weber

According to our database1, Michael Weber authored at least 18 papers between 2001 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
MuscalietJS: rethinking layered dynamic web runtimes.
Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

2013
Guard-Based Partial-Order Reduction.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

ZOOMM: a parallel web browser engine for multicore mobile devices.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2011
A Database Approach to Distributed State-Space Generation.
J. Log. Comput., 2011

Parallel Recursive State Compression for Free.
Proceedings of the Model Checking Software, 2011

Multi-Core LTSmin: Marrying Modularity and Scalability.
Proceedings of the NASA Formal Methods, 2011

Multi-core Nested Depth-First Search.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Boosting multi-core reachability performance with shared hash tables.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

LTSmin: Distributed and Symbolic Reachability.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008
A Multi-Core Solver for Parity Games.
Electr. Notes Theor. Comput. Sci., 2008

A Database Approach to Distributed State Space Generation.
Electr. Notes Theor. Comput. Sci., 2008

2007
An Embeddable Virtual Machine for State Space Generation.
Proceedings of the Model Checking Software, 2007

2006
Parallel algorithms for verification of large systems.
PhD thesis, 2006

"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
STTT, 2005

2003
Parallel Model Checking for LTL, CTL*, and Lµ2.
Electr. Notes Theor. Comput. Sci., 2003

2002
Local Parallel Model Checking for the Alternation-Free µ-Calculus.
Proceedings of the Model Checking of Software, 2002

2001
Parallel Model Checking for the Alternation Free µ-Calculus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001


  Loading...