2005 |
4 | EE | Martin Leucker,
Thomas Noll,
Perdita Stevens,
Michael Weber:
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
STTT 7(2): 184-194 (2005) |
2003 |
3 | EE | Martin Leucker,
Rafal Somla,
Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lµ2.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
2002 |
2 | EE | Benedikt Bollig,
Martin Leucker,
Michael Weber:
Local Parallel Model Checking for the Alternation-Free µ-Calculus.
SPIN 2002: 128-147 |
2001 |
1 | EE | Benedikt Bollig,
Martin Leucker,
Michael Weber:
Parallel Model Checking for the Alternation Free µ-Calculus.
TACAS 2001: 543-558 |