Martin De Wulf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2005–2009
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | TACAS | Alpaga: A Tool for Solving Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
| 2008 | ATVA | Alaska. | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Franois Raskin |
| 2008 | TACAS | Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Franois Raskin |
| 2006 | CAV | Antichains: A New Algorithm for Checking Universality of Finite Automata. | Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-Franois Raskin |
| 2005 | FM | Systematic Implementation of Real-Time Models. | Martin De Wulf, Laurent Doyen, Jean-Franois Raskin |