Michael Weber

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Venues

PPOPP

SPIN

VEE

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Vrajesh Bhavsar, Michael Weber, Ben Hardekopf
MuscalietJS: rethinking layered dynamic web runtimes. VEE (2014)
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber
Guard-Based Partial-Order Reduction. SPIN (2013)
Calin Cascaval, Seth Fowler, Pablo Montesinos-Ortego, Wayne Piekarski, Mehrdad Reshadi, Behnam Robatmili, Michael Weber, Vrajesh Bhavsar
ZOOMM: a parallel web browser engine for multicore mobile devices. PPOPP (2013)
Alfons Laarman, Jaco van de Pol, Michael Weber
Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods (2011)
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21 (1) (2011)
Alfons Laarman, Jaco van de Pol, Michael Weber
Parallel Recursive State Compression for Free. SPIN (2011)
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
Multi-core Nested Depth-First Search. ATVA (2011)
Wouter Kuijper, Michael Weber
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing CoRR (2011)
Alfons Laarman, Jaco van de Pol, Michael Weber
Parallel Recursive State Compression for Free CoRR (2011)
Stefan Blom, Jaco van de Pol, Michael Weber
LTSmin: Distributed and Symbolic Reachability. CAV (2010)
Alfons Laarman, Jaco van de Pol, Michael Weber
Boosting Multi-Core Reachability Performance with Shared Hash Tables CoRR (2010)
Michael Weber
An embeddable virtual machine for state space generation. Int. J. Softw. Tools Technol. Transf. 12 (2) (2010)
Alfons Laarman, Jaco van de Pol, Michael Weber
Boosting multi-core reachability performance with shared hash tables. FMCAD (2010)
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
A Database Approach to Distributed State Space Generation. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Jaco van de Pol, Michael Weber
A Multi-Core Solver for Parity Games. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Michael Weber
An Embeddable Virtual Machine for State Space Generation. SPIN (2007)
Moritz Hammer, Michael Weber
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. FMICS/PDMC (2006)
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Martin Leucker, Rafal Somla, Michael Weber
. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Benedikt Bollig, Martin Leucker, Michael Weber
Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN (2002)
Benedikt Bollig, Martin Leucker, Michael Weber
Parallel Model Checking for the Alternation Free µ-Calculus. TACAS (2001)

Michael Weber.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Weber