Michael Weber

23 papers A* 1A 1B 4Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2014 B conf
MuscalietJS: rethinking layered dynamic web runtimes.
VEE
Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Vrajesh Bhavsar, Michael Weber, Ben Hardekopf
2013 — conf
Guard-Based Partial-Order Reduction.
SPIN
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber
2013 B conf
ZOOMM: a parallel web browser engine for multicore mobile devices.
PPoPP
Calin Cascaval, Seth Fowler, Pablo Montesinos-Ortego, Wayne Piekarski, Mehrdad Reshadi, Behnam Robatmili, Michael Weber, Vrajesh Bhavsar
2011 J jnl
A Database Approach to Distributed State-Space Generation.
J. Log. Comput.
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
2011 J jnl
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
CoRR
Wouter Kuijper, Michael Weber
2011 — conf
Multi-Core LTSmin: Marrying Modularity and Scalability.
NASA Formal Methods
Alfons Laarman, Jaco van de Pol, Michael Weber
2011 B conf
Multi-core Nested Depth-First Search.
ATVA
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
2011 J jnl
Parallel Recursive State Compression for Free
CoRR
Alfons Laarman, Jaco van de Pol, Michael Weber
2011 — conf
Parallel Recursive State Compression for Free.
SPIN
Alfons Laarman, Jaco van de Pol, Michael Weber
2010 J jnl
An embeddable virtual machine for state space generation.
Int. J. Softw. Tools Technol. Transf.
Michael Weber
2010 J jnl
Boosting Multi-Core Reachability Performance with Shared Hash Tables
CoRR
Alfons Laarman, Jaco van de Pol, Michael Weber
2010 B conf
Boosting multi-core reachability performance with shared hash tables.
FMCAD
Alfons Laarman, Jaco van de Pol, Michael Weber
2010 A* conf
LTSmin: Distributed and Symbolic Reachability.
CAV
Stefan Blom, Jaco van de Pol, Michael Weber
2010 — ed.
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
SPIN
Jaco van de Pol, Michael Weber
2008 — conf
A Multi-Core Solver for Parity Games.
PDMC@ETAPS
Jaco van de Pol, Michael Weber
2007 — conf
A Database Approach to Distributed State Space Generation.
PDMC@CAV
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
2007 — conf
An Embeddable Virtual Machine for State Space Generation.
SPIN
Michael Weber
2006 — conf
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.
FMICS/PDMC
Moritz Hammer, Michael Weber
2006 — —
Parallel algorithms for verification of large systems.
Michael Weber
2005 J jnl
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
Int. J. Softw. Tools Technol. Transf.
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
2003 — conf
Parallel Model Checking for LTL, CTL*, and Lµ
PDMC@CAV
Martin Leucker, Rafal Somla, Michael Weber
2002 — conf
Local Parallel Model Checking for the Alternation-Free µ-Calculus.
SPIN
Benedikt Bollig, Martin Leucker, Michael Weber
2001 A conf
Parallel Model Checking for the Alternation Free µ-Calculus.
TACAS
Benedikt Bollig, Martin Leucker, Michael Weber