Philippe Balbiani

Philippe Balbiani is a CNRS research worker in the LILaC group at the Irit. He has obtained the habilitation à diriger des recherches en sciences in may 1999.

Address : Institut de recherche en informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse Cedex 4, France.

Themes :

• Modal logic.
• Computer security.

• 2000- : Project Sécurité informatique within the context of the Fédération de recherche en informatique et en automatique.
• 2003-2005 : Project Logiques non classiques appliquées within the context of the Programme ECO-NET.
• 2003-2006 : Project Développement de systèmes informatiques par raffinement des contraintes sécuritaires within the context of the Action concertée incitative Sécurité informatique.

• Fahima Cheikh : Une approche uniforme de la modélisation des systèmes de protection temporisés. Master thesis in computer science, université Paul Sabatier (Toulouse), in preparation.
  
• Khalil Challita :  Problèmes de satisfaction de contraintes spatiales : de l'algèbre des régions à la géométrie affine. PhD thesis in computer science, université Paul Sabatier (Toulouse), march 2005.
• Fatima Harb : Access control with obligations and prohibitions. Master thesis in computer science, université libanaise Beirut), october 2004.
• Ali Kaafarani : Access control with negative conditions. Master thesis in computer science, université libanaise Beirut), october 2004.
  
• Abd El Salam Hajjar : Logique épistémique avec connaissance distribuée. Master thesis in computer science, université libanaise Beirut), december 2003.
• Pierre Gambarotto  : Eléments de géométrie qualitative pour la description structurale d'objets. PhD thesis in computer science, université Paul Sabatier (Toulouse), may 2003.
• Dorian Boissonnade : Modélisation de la sécurité dans les systèmes d'informations. Master thesis in computer science, université Paul Sabatier (Toulouse), june 2002.
• Noel Laverny : La logique EDL, son rôle dans les problèmes de planification, sa complexité. Master thesis in computer science, université Paul Sabatier (Toulouse), june 2002.
• Nathalie Chetcuti : Déduction automatique pour le calcul des durées basée sur la méthode des tableaux. PhD thesis in computer science, université Paul Sabatier (Toulouse), december 2001.
• Jean-Francois Condotta  : Problèmes de satisfaction de contraintes spatiales : algorithmes et complexité. PhD thesis in computer science, université Paul Sabatier (Toulouse), january 2000.
• Jean-Francois Condotta : Vers une formalisation de l'espace : l'algèbre des rectangles. Master thesis in computer science, université Paul Sabatier (Toulouse), june 1997.
• Aomar Osmani : Diagnostic de pannes dans les réseaux : approche à base de modèles et raisonnement temporel. PhD thesis in computer science, université Paris-Nord (Villetaneuse), december 1999.
• Anne Lopez : Déduction automatique en géométrie par réduction de figures. PhD thesis in computer science, université Paul Sabatier (Toulouse), july 1995.

• Anas Abou El Kalam.
• Laszlo Aszalos.
  
• Rania El Baida.
  
• Salem Benferhat.
• Khalil Challita.
• Fahima Cheikh.
  
• Jean-Francois Condotta.
• Frédéric Cuppens.
  
• Stephane Demri.
• Yves Deswarte.
  
• Vincent Dugat.
• Amal Elfallah-Seghrouchni.
• Luis Fariñas del Cerro.
• Valentin Goranko.
• Fatima Harb.
  
• Andreas Herzig.
• Ali Kaafarani.
  
• Ruaan Kellerman.
  
• Gerard Ligozat.
• Mamede Lima Marques.
• Anne Lopez.
• Alexandre Miège.
  
• Philippe Muller.
• Ewa Orlowska.
• Aomar Osmani.
• Claire Saurel.
• Nobo-Yuki Suzuki.
  
• Tinko Tinchev.
• Gilles Trouessin.
  
• Dimiter Vakarelov.
• Frank Wolter.
• Michael Zakharyaschev.