Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin De Wulf" ( http://dblp.L3S.de/Authors/Martin_De_Wulf )

  Author page on DBLP  Author page in RDF  Community of Martin De Wulf in ASPL-2

Publication years (Num. hits)
2004-2010 (12)
Publication types (Num. hits)
article(4) inproceedings(8)
Venues (Conferences, Journals, ...)
HSCC(2) TACAS(2) ATVA(1) CAV(1) CoRR(1) FM(1) Formal Asp. Comput.(1) Formal Methods in System Desig...(1) FORMATS/FTRTFT(1) Inf. Comput.(1)
Authors
Laurent Doyen(12) Martin De Wulf(12) Jean-François Raskin(9) Thomas A. Henzinger(4) Dietmar Berwanger(3) Krishnendu Chatterjee(3) Nicolas Maquet(2) Nicolas Markey(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger Strategy construction for parity games with imperfect information. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger Alpaga: A Tool for Solving Parity Games with Imperfect Information Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger Alpaga: A Tool for Solving Parity Games with Imperfect Information. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin Robust safety of timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Robustness, Implementability, Perturbation, Timed automaton, Drift
1Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin Alaska. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin Antichains: A New Algorithm for Checking Universality of Finite Automata. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen, Jean-François Raskin A Lattice Theory for Solving Games of Imperfect Information. Search on Bibsonomy HSCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen, Jean-François Raskin Almost ASAP semantics: from timed models to timed implementations. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed and Hybrid Automata, Verification, Semantics, Implementability
1Martin De Wulf, Laurent Doyen, Jean-François Raskin Systematic Implementation of Real-Time Models. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin Robustness and Implementability of Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen, Jean-François Raskin Almost ASAP Semantics: From Timed Models to Timed Implementations. Search on Bibsonomy HSCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.