Divers (19)
19.
Massart, T. (2004). Programmation. Bruxelles: Presses Universitaires de Bruxelles.
Direction de thèses (5)
1.
Shirmohammadi, M. (2014). Qualitative analysis of probabilistic synchronizing systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
2.
Kalyon, G. (2010). Supervisory control of infinite state systems under partial observation (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
3.
Meuter, C. (2008). Development and validation of distributed reactive control systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
4.
De Wachter, B. (2005). dSL, a language and environment for the design of distributed industrial controllers (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
5.
Hernalsteen, C. (1998). Specification, validation and verification of real-time systems in ET-LOTOS (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
Participation aux jurys de thèse (4)
1.
Picalausa, F. (2013). Guarded structural indexes: theory and application to relational RDF databases (Thèse doctorale non-publiée). Université libre de Bruxelles, Ecole polytechnique de Bruxelles – Informatique, Bruxelles.
2.
Sausse, M. (2008). Theoretical and experimental study of electrostatic forces applied to micromanipulations: influence of surface topography (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences appliquées – Mécanique, Bruxelles.
3.
Geeraerts, G. (2007). Coverability and expressiveness properties of well-structured transition systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
4.
De Wulf, M. (2006). From timed models to timed implementations (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
Président de jurys de thèse (6)
1.
Mazzocchi, N. (2020). Contributions to formalisms for the specification and verification of quantitative properties (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
2.
Casorran Amilburu, C. (2017). Formulations and Algorithms for General and Security Stackelberg Games (Thèse doctorale non-publiée). Universidad de Chile, Escuela de Ingeniería, Departamento de Ingeniería Industrial - Doctorado en Sistemas Complejos de Ingeniería, Faculté des Sciences – Informatique, Bruxelles.