| 2008 |
|---|
| 7 | EE | Martin De Wulf,
Laurent Doyen,
N. Maquet,
Jean-François Raskin:
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.
TACAS 2008: 63-77 |
| 2006 |
|---|
| 6 | EE | 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 | EE | Martin De Wulf,
Laurent Doyen,
Jean-François Raskin:
A Lattice Theory for Solving Games of Imperfect Information.
HSCC 2006: 153-168 |
| 2005 |
|---|
| 4 | EE | Martin De Wulf,
Laurent Doyen,
Jean-François Raskin:
Systematic Implementation of Real-Time Models.
FM 2005: 139-156 |
| 3 | EE | 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 | EE | Martin De Wulf,
Laurent Doyen,
Nicolas Markey,
Jean-François Raskin:
Robustness and Implementability of Timed Automata.
FORMATS/FTRTFT 2004: 118-133 |
| 1 | EE | Martin De Wulf,
Laurent Doyen,
Jean-François Raskin:
Almost ASAP Semantics: From Timed Models to Timed Implementations.
HSCC 2004: 296-310 |
