Inventaire
Site en anglais

Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

(Code: ULB512)



Liste des collaborations


  • Prof. Véronique Bruyère :, Université de Mons-Hainaut (Belgique)

  • Thierry Jéron :, IRISA-INRIA (France)

  • Prof. Krishnendu Chatterjee, Institute of Science and Technology Austria (Autriche)

  • Prof. James Worrell, Oxford University (Royaume-Uni)

  • Prof. Alain Finkel :, ENS Cachan (France)

  • Prof. Thomas Henzinger :, EPFL (Suisse)

  • Prof. Kim G. Larsen, Aalborg University (Danemark)

  • Prof. Marcin Jurdzinski, University of Warwick (Royaume-Uni)

  • Dr. Bruno Dutertre :, Stanford Research Institute (États-Unis)

  • Prof. Pierre-Yves Schobbens :, FUNDP (Belgique)

  • Prof. Michael Leuschel :, Heinrich-Heine-Universität (Allemagne)

  • Dr. Laurent Doyen, ENS Cachan (France)

  • Prof. Joël Ouaknine, Oxford University (Royaume-Uni)

  • Dr. Franck Cassez :, Ecole Centrale de Nantes (France)

  • Prof. Emmanuel Jeannot :, INRIA Lorraine (France)