| 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 | 204 | 2006 |
| 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 | 158 | 2004 |
| 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 | 80 | 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 | 78 | 2008 |
| 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 | 78 | 2006 |
| 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 | 75 | 2008 |
| Systematic implementation of real-time models MD 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, MD Wulf, L Doyen, TA Henzinger International Conference on Tools and Algorithms for the Construction and …, 2009 | 29 | 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 | 26 | 2010 |
| 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 | 19 | 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 | 15 | 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 | 13 | 1999 |
| Population Pyramids of the World from 1950 to 2100 M De Wulf | 9 | 2016 |
| Un logiciel d'illustration des protocoles GSM et GPRS sur la voie radio M De Wulf Namur, Belgique, 2001 | 4 | 2001 |
| Alaska MD Wulf, L Doyen, N Maquet, JF Raskin International Symposium on Automated Technology for Verification and …, 2008 | 2 | 2008 |
| A lattice theory for solving games of imperfect information (extended version M De Wulf, L Doyen, J Raskin ULB–Federated Center in Verification, 2006 | 2 | 2006 |
| Systematic implementation of real-time models (extended version M De Wulf, L Doyen, J Raskin | 2 | 2005 |
| Calcul formel et numérique G Bontempi, A da Silva Soares, M De Wulf Presses universitaires de Bruxelles, 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 |
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
