Michael Weber

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

MuscalietJS: rethinking layered dynamic web runtimes.

Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Vrajesh Bhavsar, Michael Weber, Ben Hardekopf

Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

2013

Guard-Based Partial-Order Reduction.

Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber

Proceedings of the Model Checking Software - 20th International Symposium, 2013

ZOOMM: a parallel web browser engine for multicore mobile devices.

Calin Cascaval, Seth Fowler, Pablo Montesinos-Ortego, Wayne Piekarski, Mehrdad Reshadi, Behnam Robatmili, Michael Weber, Vrajesh Bhavsar

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2011

A Database Approach to Distributed State-Space Generation.

Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber

J. Log. Comput., 2011

Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing

Wouter Kuijper, Michael Weber

CoRR, 2011

Parallel Recursive State Compression for Free.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of the Model Checking Software, 2011

Multi-Core LTSmin: Marrying Modularity and Scalability.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of the NASA Formal Methods, 2011

Multi-core Nested Depth-First Search.

Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

An embeddable virtual machine for state space generation.

Michael Weber

Int. J. Softw. Tools Technol. Transf., 2010

Boosting multi-core reachability performance with shared hash tables.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

LTSmin: Distributed and Symbolic Reachability.

Stefan Blom, Jaco van de Pol, Michael Weber

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008

A Multi-Core Solver for Parity Games.

Jaco van de Pol, Michael Weber

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

2006

Parallel algorithms for verification of large systems.

Michael Weber

PhD thesis, 2006

"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.

Moritz Hammer, Michael Weber

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

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

Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber

Int. J. Softw. Tools Technol. Transf., 2005

2003

Parallel Model Checking for LTL, CTL*, and Lµ².

Martin Leucker, Rafal Somla, Michael Weber

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

2002

Local Parallel Model Checking for the Alternation-Free µ-Calculus.

Benedikt Bollig, Martin Leucker, Michael Weber

Proceedings of the Model Checking of Software, 2002

2001

Parallel Model Checking for the Alternation Free µ-Calculus.

Benedikt Bollig, Martin Leucker, Michael Weber

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001