Parallel Model Checking for the Alternation Free µ-Calculus. - Benedikt Bollig; Martin Leucker; Michael Weber 002 (TACAS, 2001)

Local Parallel Model Checking for the Alternation-Free µ-Calculus. - Benedikt Bollig; Martin Leucker; Michael Weber 002 (SPIN, 2002)

Parallel Model Checking for LTL, CTL*, and Lµ2. - Martin Leucker; Rafal Somla; Michael Weber 002 (PDMC@CAV, 2003)

Functional programming languages for verification tools: a comparison of Standard ML and Haskell. - Martin Leucker; Thomas Noll 001; Perdita Stevens; Michael Weber 002 (Int. J. Softw. Tools Technol. Transf., 2005)

"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. - Moritz Hammer; Michael Weber 002 (FMICS/PDMC, 2006)

Parallel algorithms for verification of large systems. - Michael Weber 002 (2006)

A Multi-Core Solver for Parity Games. - Jaco van de Pol; Michael Weber 002 (PDMC@ETAPS, 2008)

LTSmin: Distributed and Symbolic Reachability. - Stefan Blom; Jaco van de Pol; Michael Weber 002 (CAV, 2010)

Boosting multi-core reachability performance with shared hash tables. - Alfons Laarman; Jaco van de Pol; Michael Weber 002 (FMCAD, 2010)

An embeddable virtual machine for state space generation. - Michael Weber 002 (Int. J. Softw. Tools Technol. Transf., 2010)

Multi-core Nested Depth-First Search. - Alfons Laarman; Rom Langerak; Jaco van de Pol; Michael Weber 002; Anton Wijs (ATVA, 2011)

Multi-Core LTSmin: Marrying Modularity and Scalability. - Alfons Laarman; Jaco van de Pol; Michael Weber 002 (NASA Formal Methods, 2011)

Parallel Recursive State Compression for Free. - Alfons Laarman; Jaco van de Pol; Michael Weber 002 (SPIN, 2011)

Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing - Wouter Kuijper; Michael Weber 002 (CoRR, 2011)

A Database Approach to Distributed State-Space Generation. - Stefan Blom; Bert Lisser; Jaco van de Pol; Michael Weber 002 (J. Log. Comput., 2011)

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 002; Vrajesh Bhavsar (PPoPP, 2013)

Guard-Based Partial-Order Reduction. - Alfons Laarman; Elwin Pater; Jaco van de Pol; Michael Weber 002 (SPIN, 2013)

MuscalietJS: rethinking layered dynamic web runtimes. - Behnam Robatmili; Calin Cascaval; Mehrdad Reshadi; Madhukar N. Kedlaya; Seth Fowler; Vrajesh Bhavsar; Michael Weber 002; Ben Hardekopf (VEE, 2014)