Formal Methods and Verification at ULB   Computer Science Department at ULB  

Martin De Wulf
PhD

NOTICE
This page is out of date.
Since September 2008, I am not working at ULB anymore.

I am a teaching assistant/researcher in Computer Science. My research is centered on controller and code generation for real-time systems. I have obtained a master degree from FUNDP in 2001 and a PhD from ULB in december 2006. I am working in the research team of Jean-François Raskin.

Martin De Wulf


Teaching - Research - Contact - Interesting Links

Teaching


I am or have been teaching the practical parts of the following courses :
  • INFO-F-101 : "Programmation" which true web page is here. Students should take a look here for timetables and projects.
  • INFO-F-102 : "Architecture 1"
  • INFO-F-205 : "Calcul formel et numérique" which true web page is here .
  • INFO004 : "Structures de l'information".
  • INFO019 : "Techniques avancées de systèmes d'exploitation".
Research


I am working on two main projects :
  • about the AASAP semantics : We study the preservation of properties by code generated from a specification with real-time constraints that have been verified through model-checking. [web page]
  • about antichains : We study the use of antichain-based algorithms to solve games of imperfect information, language inclusion and universality of nondeterministic finite automata over finite and infinite words, emptiness of alternating automata over finite and infinite words, LTL satisfiability and model-checking. [web page]

  • My coauthors:
    My publications ( BibTex List):

  • Conferences
    • Martin De Wulf, Laurent Doyen, Nicolas Marquet and Jean-François Raskin. Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. Submitted, 2007
      [.ps][.pdf]
    • Martin De Wulf, Laurent Doyen, Thomas A. Henzinger and Jean-François Raskin. Antichains: a New Algorithm to Solve Universality of FA. Proceedings of Computer-Aided Verification (CAV 2006), LNCS 4144, pp. 17-30, Springer-Verlag, 2006.
      [.ps][.pdf]
    • Martin De Wulf, Laurent Doyen, Jean-François Raskin. A Lattice Theory for Solving Games of Imperfect Information. Proceedings of HSCC 06, Hybrid Systems - Computation and Control, LNCS 3927, pp. 153-168, Springer Verlag, 2006.
      [.ps][.pdf][Slides]
    • Martin De Wulf, Laurent Doyen, Jean-François Raskin. Systematic Implementation of Real-Time Models. Proceedings of Formal Methods 2005 (FM'05), LNCS 3582, pp. 139-156, Springer Verlag, 2005.
      [.ps][.pdf][Slides]
    • Martin De Wulf, Laurent Doyen, Nicolas Markey, and Jean-François Raskin. Robustness and Implementability of Timed Automata. Proceedings of FORMATS/FTRTFT 04, LNCS 3253, pp. 118-133, Springer Verlag, 2004.
      [ .ps][.pdf]
    • Martin De Wulf, Laurent Doyen, Jean-François Raskin. Almost ASAP Semantics: From Timed Models to Timed Implementations. Proceedings of HSCC 04, Hybrid Systems - Computation and Control, LNCS 2993, pp. 296-310, Springer Verlag, 2004.
      [.ps][.pdf][Slides]
  • Journal(s)
    • Martin De Wulf, Laurent Doyen, Jean-François Raskin. Almost ASAP Semantics: From Timed Models to Timed Implementations. Formal Aspects of Computing, 17(3):319-341, 2005.
  • Technical Reports can be found here.
  • Theses
    • Martin De Wulf. From Timed Models to Timed Implementations. PhD Thesis. Under the supervision of Professor Jean-François Raskin. ULB, Brussels, Belgium, December 2006.
      [.pdf][More Info]
    • Martin De Wulf. Distribution Automatique d'Automates Hybrides. (in french) DEA Thesis. Under the supervision of Professor Jean-François Raskin. ULB, Brussels, Belgium, September 2002.
    • Martin De Wulf. Un Logiciel d'Illustration des Protocoles GSM/GPRS sur la Voie Radio. (in french) Master Thesis. Under the supervision of Professor Olivier Bonaventure and with the additional supervision of Professor Xavier Lagrange. FUNDP, Namur, Belgium, June 2001.
      [.pdf]
      (This work is still pursued now although the name of the software has changed to Vigie.)
  • Others
    • Gianluca Bontempi, Ana da Silva Soares, Martin De Wulf. Calcul formel et numérique Bruxelles : Presses universitaires de Bruxelles, 2005. 184 p.
      (These are notes for a course on numerical analysis.)
Contact


  • Office : 2.N8.214
  • Address :
    University of Brussels (ULB),
    Computer Science Department,
    Campus de la Plaine - CP 212,
    Boulevard du Triomphe - B-1050 Brussels.
  • Phone : +32 (0)2 650 58 66
  • Email : madewulf(at)ulb.ac.be
  • GPG public key

Last modification : August 2008
Site Meter