| 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 | 214 | 2006 |
| 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 | 156 | 2004 |
| 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 | 79 | 2008 |
| 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 | 79 | 2006 |
| Robustness and implementability of timed automata M De Wulf, L Doyen, N Markey, JF Raskin FORMATS/FTRTFT 3253, 118-133, 2004 | 79 | 2004 |
| 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 | 77 | 2008 |
| Systematic implementation of real-time models M De Wulf, L Doyen, JF Raskin FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 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 | 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 | 27 | 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 | 22 | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
