Concepedia

Martin Wulf

MW

5

Publications

266

Citations

5

H-Index

2005

Active since

Affiliations

Université Libre de Bruxelles(Current)

École Polytechnique Fédérale de Lausanne

École Normale Supérieure Paris-Saclay

Laboratoire Spécification et Vérification

Centre National de la Recherche Scientifique

Martin Wulf is an author at Université Libre de Bruxelles specializing in engineering, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationGamesBusinessGame TheoryMechanism DesignAutomated Reasoning

Publications per year

2005–2010

5

Publications

5

Antichains: A New Algorithm for Checking Universality of Finite Automata

Martin Wulf, Laurent Doyen, Thomas A. Henzinger et al. · Lecture notes in computer science · 2006 · 111 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +10

Almost ASAP semantics: from timed models to timed implementations

Martin Wulf, Laurent Doyen, Jean-François Raskin · Formal Aspects of Computing · 2005 · 61 citations · Full text

Robust safety of timed automata

Martin Wulf, Laurent Doyen, Nicolas Markey et al. · Formal Methods in System Design · 2008 · 58 citations · Full text

Logical Automaton, Engineering, Verification +7

Strategy construction for parity games with imperfect information

Dietmar Berwanger, Krishnendu Chatterjee, Martin Wulf et al. · Information and Computation · 2010 · 24 citations

Mathematical Programming, Engineering, Strategy Construction +8

Systematic implementation of real-time models

Martin Wulf, Laurent Doyen, Jean-François Raskin · Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles) · 2005 · 12 citations

Rows per page

1–5 of 5