Suivre
Martin De Wulf
Martin De Wulf
Université Libre de Bruxelles
Adresse e-mail validée de multitasked.net - Page d'accueil
Titre
Citée par
Citée par
Année
Antichains: A new algorithm for checking universality of finite automata
M De Wulf, L Doyen, TA Henzinger, JF Raskin
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
2142006
Almost ASAP semantics: From timed models to timed implementations
M De Wulf, L Doyen, JF Raskin
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
1562004
Robust safety of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
Formal Methods in System Design 33 (1-3), 45-84, 2008
792008
A lattice theory for solving games of imperfect information
M De Wulf, L Doyen, JF Raskin
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC …, 2006
792006
Robustness and implementability of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
FORMATS/FTRTFT 3253, 118-133, 2004
792004
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
772008
Systematic implementation of real-time models
M De Wulf, L Doyen, JF Raskin
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 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
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
272010
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
212008
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
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
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
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20