Robustness and Implementability of Timed Automata. - Martin De Wulf; Laurent Doyen 001; Nicolas Markey; Jean-François Raskin (FORMATS/FTRTFT, 2004)

Systematic Implementation of Real-Time Models. - Martin De Wulf; Laurent Doyen 001; Jean-François Raskin (FM, 2005)

Almost ASAP semantics: from timed models to timed implementations. - Martin De Wulf; Laurent Doyen 001; Jean-François Raskin (Formal Aspects Comput., 2005)

Antichains: A New Algorithm for Checking Universality of Finite Automata. - Martin De Wulf; Laurent Doyen 001; Thomas A. Henzinger; Jean-François Raskin (CAV, 2006)

A Lattice Theory for Solving Games of Imperfect Information. - Martin De Wulf; Laurent Doyen 001; Jean-François Raskin (HSCC, 2006)

Alaska. - Martin De Wulf; Laurent Doyen 001; Nicolas Maquet; Jean-François Raskin (ATVA, 2008)

Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. - Martin De Wulf; Laurent Doyen 001; Nicolas Maquet; Jean-François Raskin (TACAS, 2008)

Robust safety of timed automata. - Martin De Wulf; Laurent Doyen 001; Nicolas Markey; Jean-François Raskin (Formal Methods Syst. Des., 2008)

Alpaga: A Tool for Solving Parity Games with Imperfect Information. - Dietmar Berwanger; Krishnendu Chatterjee; Martin De Wulf; Laurent Doyen 001; Thomas A. Henzinger (TACAS, 2009)

Strategy construction for parity games with imperfect information. - Dietmar Berwanger; Krishnendu Chatterjee; Martin De Wulf; Laurent Doyen 001; Thomas A. Henzinger (Inf. Comput., 2010)