Martin De Wulf

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