2012

Conférence Internationale avec comité de lecture

• [ABD12

  @inproceedings {
  	ABD12,
  	title	=	"{ML Dependency Analysis for Assessors}",
  	author	=	" P. Ayrault and V. Benayoun and C. Dubois and F. Pessaux ",
  	booktitle	=	"{International Conference on Software Engineering and Formal Methods (SEFM'12)}",
  	year	=	2012,
  	edition	=	"Springer",
  	month	=	"October",
  	series	=	"LNCS",
  	volume	=	7504,
  	pages	=	"278-292",
  	address	=	"Thessaloniki, Greece",
  }

  ] P. Ayrault , V. Benayoun , C. Dubois , F. Pessaux - ML Dependency Analysis for Assessors, International Conference on Software Engineering and Formal Methods (SEFM'12), October 2012, Vol. 7504, pp.278-292, Series LNCS, Thessaloniki, Greece,

2009

Conférence Nationale avec comité de lecture

• [ABS09b

  @inproceedings {
  	ABS09b,
  	title	=	"{Modélisations de la reconfiguration dynamique en Focal}",
  	author	=	" M. Aponte and V. Benayoun and M. Simonot ",
  	booktitle	=	"{AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"105-119",
  	note	=	"{note}",
  }

  ] M. Aponte , V. Benayoun , M. Simonot - Modélisations de la reconfiguration dynamique en Focal, AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, January 2009, pp.105-119,

2008

Rapport Scientifique

• [ABS08a

  @techreport {
  	ABS08a,
  	title	=	"{Modélisation de la reconfiguraton dynamique avec Focal}",
  	author	=	"M. Aponte and V. Benayoun and M. Simonot",
  	number	=	"{CEDRIC-08-1618}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-01-2008},
  	note	=	"{note}",
  }

  ] M. Aponte , V. Benayoun , M. Simonot - Modélisation de la reconfiguraton dynamique avec Focal, Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1618)