Page principale

Ses 6 articles présentés dans le cadre du congrès :

• Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B. 301-316 (2011)
  Abderrahman MATOUSSI • Regine LALEAU
  
  
• Modélisation de politiques de sécurité à l'aide d'une algèbre de processus 295-310 (2009)
  Pierre KONOPACKI • Marc FRAPPIER • Regine LALEAU
  
  
• Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. 155-170 (2007)
  Yves LEDRU • Regine LALEAU • Sylvie VIGNES
  
  
• Systematic Identification of Preconditions from Set-Based Integrity Constraints. 595-610 (2006)
  Amel MAMMAR • Frederic GERVAIS • Regine LALEAU
  
  
• Des spécifications informelles aux spécifications formelles : compilation ou interprétation ? (1995)
  Philippe FACON • Regine LALEAU
  
  
• Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données (1995)
  Regine LALEAU • Nassim HADJ-RABIA
  
  

• Participations au comité de programme

  2021	Membre
  2019	Membre
  2018	Membre
  2016	Membre
  2013	Membre
  2012	Membre
  2010	Président
  2009	Membre
  2006	Membre
  1999	Membre
  1997	Membre
  1994	Membre

• Localisation au cours des années

  2021	Paris	France
  2019	Paris	France
  2018	Paris	France
  2016	Paris	France
  2013	Paris	France
  2012	Paris	France
  2011	Paris	France
  2010	Paris	France
  2009	Bordeaux	France
  2009	Paris	France
  2007	Paris	France
  2006	Paris	France
  1999	Paris	France
  1997	Evry	France
  1995	Paris	France
  1994	Paris	France

• Ses 9 coauteurs :

  Abderrahman MATOUSSI	2011
  Marc FRAPPIER	2009
  Pierre KONOPACKI	2009
  Yves LEDRU	2007, 2009, 2015
  Sylvie VIGNES	2007
  Frederic GERVAIS	2006, 2006
  Amel MAMMAR	2001, 2006
  Philippe FACON	1995
  Nassim HADJ-RABIA	1995

Page générée le vendredi 21 novembre 2025, 10:11:08.

Guillaume Cabanac, Cécile Favre, Aleksandra Kruchinina 2021, Ophélie Fraisier 2015, Clara Belair 2011-2017, Marc Ternisien 2011