Follow
Martin De Wulf
Martin De Wulf
Université Libre de Bruxelles
Verified email at multitasked.net - Homepage
Title
Cited by
Cited by
Year
Antichains: A new algorithm for checking universality of finite automata
MD Wulf, L Doyen, TA Henzinger, JF Raskin
International Conference on Computer Aided Verification, 17-30, 2006
2042006
Almost ASAP semantics: From timed models to timed implementations
MD Wulf, L Doyen, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 296-310, 2004
1582004
Robustness and implementability of timed automata
MD Wulf, L Doyen, N Markey, JF Raskin
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
802004
Robust safety of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
Formal Methods in System Design 33 (1), 45-84, 2008
782008
A lattice theory for solving games of imperfect information
MD Wulf, L Doyen, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 153-168, 2006
782006
Antichains: Alternative algorithms for LTL satisfiability and model-checking
MD Wulf, L Doyen, N Maquet, JF Raskin
International Conference on Tools and Algorithms for the Construction and …, 2008
752008
Systematic implementation of real-time models
MD Wulf, L Doyen, JF Raskin
International Symposium on Formal Methods, 139-156, 2005
322005
Alpaga: A tool for solving parity games with imperfect information
D Berwanger, K Chatterjee, MD Wulf, L Doyen, TA Henzinger
International Conference on Tools and Algorithms for the Construction and …, 2009
292009
Strategy construction for parity games with imperfect information
D Berwanger, K Chatterjee, M De Wulf, L Doyen, TA Henzinger
Information and computation 208 (10), 1206-1220, 2010
262010
Antichains for Logic, Automata and Symbolic Kripke Structures Analysis
M De Wulf, L Doyen, N Maquet, JF Raskin
AutomatedTechnology for Verification and Analysis, 240, 2008
192008
Measurement system for 2D magnetic properties of electrical steel sheets: design and performance.
D Makaveev, M De Wulf, J Gyselinck, J Maes, L Dupré, J Melkebeek
6th International Workshop on 1 and 2 Dimensional Magnetic Measurement and …, 2000
152000
Incorporation of vector hysteresis and eddy current losses in 2D FE magnetodynamics
J Gyselinck, M De Wulf, L Vandevelde, J Melkebeek
Electrimacs 99 (modelling and simulation of electric machines converters an …, 1999
131999
Population Pyramids of the World from 1950 to 2100
M De Wulf
92016
Un logiciel d'illustration des protocoles GSM et GPRS sur la voie radio
M De Wulf
Namur, Belgique, 2001
42001
Alaska
MD Wulf, L Doyen, N Maquet, JF Raskin
International Symposium on Automated Technology for Verification and …, 2008
22008
A lattice theory for solving games of imperfect information (extended version
M De Wulf, L Doyen, J Raskin
ULB–Federated Center in Verification, 2006
22006
Systematic implementation of real-time models (extended version
M De Wulf, L Doyen, J Raskin
22005
Calcul formel et numérique
G Bontempi, A da Silva Soares, M De Wulf
Presses universitaires de Bruxelles, 2005
22005
LTL Satisfiability, Alternating B¨ uchi Automata Emptiness, and Model Checking with ALASKA
M De Wulf, L Doyen, N Maquet, JF Raskin
Lecture notes in computer science 5311, 240-245, 2008
2008
INFO-F-101: Programmation (syllabus de théorie et d’exercices)
T Massart, N Benseba, E Dall'Olio, M De Wulf, G Geeraerts, J Goossens, ...
Presses universitaires de Bruxelles, 2006
2006
The system can't perform the operation now. Try again later.
Articles 1–20