|
 
|
Liste des publications
2017
-
[PDL17]
T. Pham, C. Dubois, N. Levy.
"Une ligne de produits corrects par construction",
AFADL 2017,
June 2017,
pp.7 p,
Montpellier,
France,
-
[Pha17]
T. Pham .
"Development of Correct-by-Construction Software using Product Lines",
-
[Pha17a]
T. Pham .
"Development of Correct-by-Construction Software using Product Lines",
Soutenue le: 16 November 2017,
Conférence Nationale avec comité de lecture
Mémoire de Thèse
2016
-
[DLP16]
C. Dubois, N. Levy, T. Pham .
"Vers un développement formel non incrémental",
AFADL'2016,
June 2016,
pp.106-113,
Besançon,
France,
Conférence Nationale avec comité de lecture
2015
- [PDL15] T. Pham , C. Dubois, N. Levy. "Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules", Formal Methods and Analysis in SPL Engineering (FMSPLE 2015), April 2015, Vol. 182, pp.44-55, London, UK, (DOI: 10.4204/EPTCS.182)
Atelier, Poster ou Démonstration dans une Conférence Internationale
2014
- [ABR14a] M. Abbas, C. Ben Yelles, R. Rioboo. "Generating FoCaLiZe Specifications from UML Models", International Conference on Advanced Aspects of Software Engineering, ICAASE, November 2014, Vol. 1294, pp.157--164, Series CEUR-WS,
- [ABR14] M. Abbas, C. Ben Yelles, R. Rioboo. "Modeling UML Template Classes with FoCaLiZe", Integrated Formal Methods, September 2014, pp.87--102, Series LNCS,
- [DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,
Conférence Internationale avec comité de lecture
2013
-
[Tol13]
P. Tollitte.
"Extraction de code fonctionnel certifié à partir de spécifications inductives",
Soutenue le: 06 December 2013,
pp. 180,
