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
M De Wulf, L Doyen, TA Henzinger, JF Raskin
International Conference on Computer Aided Verification, 17-30, 2006
2162006
Almost ASAP semantics: From timed models to timed implementations
M De Wulf, L Doyen, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 296-310, 2004
1612004
Robust safety of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
Formal Methods in System Design 33 (1), 45-84, 2008
812008
Antichains: Alternative algorithms for LTL satisfiability and model-checking
M De Wulf, L Doyen, N Maquet, JF Raskin
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
802008
A lattice theory for solving games of imperfect information
M De Wulf, L Doyen, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 153-168, 2006
792006
Robustness and implementability of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004
792004
Systematic implementation of real-time models
M De 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, M De Wulf, L Doyen, TA Henzinger
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
302009
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
272010
Alaska Antichains for Logic, Automata and Symbolic Kripke Structures Analysis
M De Wulf, L Doyen, N Maquet, JF Raskin
International Symposium on Automated Technology for Verification and …, 2008
242008
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
141999
Population Pyramids of the World from 1950 to 2100
M De Wulf
Saudi Arabia 2030 [PopulationPyramid web site] accessed March 10, 2019 …, 2016
112016
Un logiciel d'illustration des protocoles GSM et GPRS sur la voie radio
M De Wulf
Namur, Belgique, 2001
42001
A lattice theory for solving games of imperfect information (extended version)
M De Wulf, L Doyen, JF Raskin
Technical Report 58, ULB–Federated Center in Verification, 2006. http://www …, 2006
22006
Calcul formel et numérique
G Bontempi, A da Silva Soares, M De Wulf
Presses universitaires de Bruxelles, 2006
22006
Systematic implementation of real-time models (extended version)
M De Wulf, L Doyen, JF Raskin
Technical Report 543, ULB, 2005. http://www. ulb. ac. be/di/publications, 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
Characterization of soft magnetic thin film by means of single sheet testing
M De Wulf, L Dupre, H te Lintelo, J Melkebeek
2003 IEEE International Magnetics Conference (INTERMAG), EP-04, 2003
2003
The system can't perform the operation now. Try again later.
Articles 1–20