Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (3)
  1. 3. Geeraerts, G., & Van Begin, L. (2003). Concurrent Boolean Programs.
    2.   Thèses et mémoires (1)
  2. 1. Van Begin, L. (2004). Efficient verification of counting abstractions for parametric systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
    3.   Participation aux jurys de thèse (3)
  3. 1. 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. 2. Ganty, P. (2007). The Fixpoint checking problem: an abstraction refinement perspective (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  5. 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.
    6. << Précédent 1 2 3 4 Suivant >>