Martin De Wulf

According to our database, Martin De Wulf authored at least 10 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Strategy construction for parity games with imperfect information.

Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger

Inf. Comput., 2010

2009

Alpaga: A Tool for Solving Parity Games with Imperfect Information.

Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Robust safety of timed automata.

Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin

Formal Methods Syst. Des., 2008

Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.

Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Alaska.

Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2008

2006

A Lattice Theory for Solving Games of Imperfect Information.

Martin De Wulf, Laurent Doyen, Jean-François Raskin

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Antichains: A New Algorithm for Checking Universality of Finite Automata.

Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Almost ASAP semantics: from timed models to timed implementations.

Martin De Wulf, Laurent Doyen, Jean-François Raskin

Formal Aspects Comput., 2005

Systematic Implementation of Real-Time Models.

Martin De Wulf, Laurent Doyen, Jean-François Raskin

Proceedings of the FM 2005: Formal Methods, 2005

2004

Robustness and Implementability of Timed Automata.

Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin

Proceedings of the Formal Techniques, 2004