
Formal Methods and Verification at ULB	Computer Science Department at ULB

Marc Denecker's Home Page

Ph.D., K.U.L. (Belgium), 1993.
Associate Professor

Département d'Informatique
Université Libre de Bruxelles
Bld du Triomphe CP 212
1050 Brussels, Belgium
Building: N.O., Office: N8.112
Phone: +32 2 650.56.05, Fax: +32 2 650.56.09
Email: Marc.Denecker@ulb.ac.be.tr [Delete trailing ".tr"; it was added to mislead automated email address collectioners]

Personalia

This web page is under construction. More information about me and my research activities can be found on:

My other home page at the K.U.L.
My publications available on line (automatically generated, so this takes a minute)

Teaching

Génie logiciel (Info139):
- The passwd of .zip files is available at the valves.
- Practical information of the course (structure, course material, project, exam)
- Slides of Génie logiciel:
  - Introduction to SE :
  - Slides on UML:
  - Life cycle models
  - Web Engineering (P29)
  - Project Management
    - Introduction (P3)
    - Metrics (P4)
    - Project Planning (P5)
    - Risk analysis (P6) and Project Scheduling (P7)
    - Software Quality Assurance (P8) and Software Configuration Management (P9)
    - Capability Maturity Model (P2.2)
    - Software Project Management Plan
  - Requirements Phase
  - Analysis Phase
  - Design Phase
- La page web du projet
  - The project counts for 8 points on a total of 20 for the final quotation of the course.
- Conclusions du projet
- Exam:
  - The exam is written, in French, and lasts between 2h and 3h.
  - The exam is partly closed book, partly open book.
  - Closed book questions are general questions about topics in the course.
    E.g. explain one or more life cycle model: motivation, structure, applicability, disadvantages, etc. , discuss risks and risk management, role of metrics, setting up a metrics programme, etc..
  - Open book questions are exercises
    E.g. specifying diagrams in the context of a simplified application, performing estimations, scheduling, risk analysis, developing tests, etc..
Développement de Systèmes Distribués (Info152):
- The passwd of .zip files is avaliable at the valves.
- Practical information of the course (structure, course material, project, exam)
- Slides of Développement de Systèmes Distribués :
  - Introduction to Distributed Systems
  - Interprocess Communication
  - Java RMI
  - CORBA
    - Slides of a case study in Corba
  - Distributed Transactions (updated 13/12/02 !!!!)
  - Replica (updated 13/12/02 !!!!)
  - Some new developlments:
    - Soap
    - Aspect Oriented Programming
- Webpage Travaux Pratiques
  - The project counts for 10 points on a total of 20 for the final quotation of the course.
- Exam:
  - The exam is written, in French, and lasts between 2h and 3h.
  - The exam is open book.
  - Type of questions: general questions (e.g. comparison of the architecture of Corba and Java RMI) and exercises (e.g. IDL, demonstrations of algorithms, principles of process communication, etc..)

Sujets de mémoire

(en anglais,pour le moment)

A comparison of specification formalisms for dynamic systems
Automated scheduling of exams.
Development of an abductive AI-planner with resources
Transforming UML to logic
Hierarchical AI-planning in ID-logic
A software engineering experiment with a 4th Generation Language with declarative rules
I wellcome thesis proposals concerned with the relationship between knowledge representation, AI-planning and robotics. Listed below are some webpages of projects that are involved in this kind of research:

Last updated: December 18, 2002
Dernière mise à jour le 18 decembre 2002 par Marc Denecker