 | 2009 |
|---|
| 11 |       | Dietmar Berwanger,
Krishnendu Chatterjee,
Martin De Wulf,
Laurent Doyen,
Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information.
TACAS 2009: 58-61 |
| 10 | | Dietmar Berwanger,
Krishnendu Chatterjee,
Martin De Wulf,
Laurent Doyen,
Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information
CoRR abs/0901.4728: (2009) |
| 2008 |
|---|
| 9 | | Martin De Wulf,
Laurent Doyen,
Nicolas Maquet,
Jean-François Raskin:
Alaska.
ATVA 2008: 240-245 |
| 8 | | Martin De Wulf,
Laurent Doyen,
Nicolas Maquet,
Jean-François Raskin:
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.
TACAS 2008: 63-77 |
| 7 | | Martin De Wulf,
Laurent Doyen,
Nicolas Markey,
Jean-François Raskin:
Robust safety of timed automata.
Formal Methods in System Design 33(1-3): 45-84 (2008) |
| 2006 |
|---|
| 6 | | Martin De Wulf,
Laurent Doyen,
Thomas A. Henzinger,
Jean-François Raskin:
Antichains: A New Algorithm for Checking Universality of Finite Automata.
CAV 2006: 17-30 |
| 5 | | Martin De Wulf,
Laurent Doyen,
Jean-François Raskin:
A Lattice Theory for Solving Games of Imperfect Information.
HSCC 2006: 153-168 |
| 2005 |
|---|
| 4 | | Martin De Wulf,
Laurent Doyen,
Jean-François Raskin:
Systematic Implementation of Real-Time Models.
FM 2005: 139-156 |
| 3 | | Martin De Wulf,
Laurent Doyen,
Jean-François Raskin:
Almost ASAP semantics: from timed models to timed implementations.
Formal Asp. Comput. 17(3): 319-341 (2005) |
| 2004 |
|---|
| 2 | | Martin De Wulf,
Laurent Doyen,
Nicolas Markey,
Jean-François Raskin:
Robustness and Implementability of Timed Automata.
FORMATS/FTRTFT 2004: 118-133 |
| 1 | | Martin De Wulf,
Laurent Doyen,
Jean-François Raskin:
Almost ASAP Semantics: From Timed Models to Timed Implementations.
HSCC 2004: 296-310 |
