Martin De Wulf

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
Strategy construction for parity games with imperfect information. Inf. Comput. 208 (10) (2010)
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS (2009)
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR (2009)
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
Robust safety of timed automata. Formal Methods Syst. Des. 33 (1-3) (2008)
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
Alaska. ATVA (2008)
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. TACAS (2008)
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
Antichains: A New Algorithm for Checking Universality of Finite Automata. CAV (2006)
Martin De Wulf, Laurent Doyen, Jean-François Raskin
A Lattice Theory for Solving Games of Imperfect Information. HSCC (2006)
Martin De Wulf, Laurent Doyen, Jean-François Raskin
Almost ASAP semantics: from timed models to timed implementations. Formal Aspects Comput. 17 (3) (2005)
Martin De Wulf, Laurent Doyen, Jean-François Raskin
Systematic Implementation of Real-Time Models. FM (2005)
Martin De Wulf, Laurent Doyen, Jean-François Raskin
Almost ASAP Semantics: From Timed Models to Timed Implementations. HSCC (2004)
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
Robustness and Implementability of Timed Automata. FORMATS/FTRTFT (2004)