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 | 228 | 2006 |
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 | 162 | 2004 |
Robust safety of timed automata M De Wulf, L Doyen, N Markey, JF Raskin Formal Methods in System Design 33 (1), 45-84, 2008 | 86 | 2008 |
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 | 84 | 2008 |
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 | 84 | 2004 |
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 | 79 | 2006 |
Systematic implementation of real-time models M De Wulf, L Doyen, JF Raskin International Symposium on Formal Methods, 139-156, 2005 | 32 | 2005 |
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 | 30 | 2009 |
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 | 28 | 2010 |
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 | 25 | 2008 |
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 | 16 | 2000 |
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 | 14 | 1999 |
Population Pyramids of the World from 1950 to 2100 M De Wulf Saudi Arabia 2030 [PopulationPyramid web site] accessed March 10, 2019 …, 2016 | 12 | 2016 |
Un logiciel d'illustration des protocoles GSM et GPRS sur la voie radio M De Wulf Namur, Belgique, 2001 | 4 | 2001 |
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 | 2 | 2006 |
Calcul formel et numérique G Bontempi, A da Silva Soares, M De Wulf Presses universitaires de Bruxelles, 2006 | 2 | 2006 |
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 | 2 | 2005 |
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 |