|
 
|
Vincent Benayoun
|
Doctorant(e) Equipe SYS Parti depuis le 01/06/2014 Mail : benayoun.vincent  gmail.com
Tel : (33)15880 Fax : (33)15880 http://cedric.cnam.fr/~ Directeur de thèse : Catherine Dubois Co-Directeur(s) : Pierre Courtieu |
Vincent's Tag-Cloud : |
Publications
2014
- [Ben14] V. Benayoun. " Analyse de dépendances ML pour les évaluateurs de logiciels critiques", Soutenue le: 16 May 2014, pp. 238,
Mémoire de Thèse
2012
- [ABD12] 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,
Conférence Internationale avec comité de lecture
2009
-
[ABS09b]
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,
Conférence Nationale avec comité de lecture
2008
-
[ABS08a]
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)
