|
 
|
Anthony Baiotto
|
Doctorant(e) Equipe SYS Parti depuis le 15/01/2013 Mail : anthony.baiotto  thalesgroup.com
Directeur de thèse : Nicole Levy |
Publications
2013
-
[LLO13]
N. Levy, F. Losavio, O. Ordaz, A. Baiotto.
"Graph Modelling of a Refactoring Process for Product Line Architecture Design",
XXXIX Latin American Computing Conference, CLEI 2013,
October 2013,
Vol. 1,
pp.2-13,
Club Puerto Azul, Naiguatá,
Venezuela,
Conférence Internationale avec comité de lecture
2011
- [BKM11] A. Baiotto, F. Kaakai, R. Marcano, D. Drago. "Efficient Method Developed by Thales for Safety Evaluation of Real-to-Integer Discretization and Overflows in SIL4 Software", Titre du livre: "Static analysis of software : the abstract interpretation", October 2011, ISTE WILEY, pp. 273-317, (isbn: 978-1848213203)
- [BKM11a] A. Baiotto, F. Kaakai, R. Marcano, D. Drago. "Analyse statique de code : une méthode intégrée outillée développée par Thales pour l'étude du passage en entiers et des débordements pour des composants logiciels SIL4", Titre du livre: "Utilisation industrielles des techniques formelles – interprétation abstraite", June 2011, Hermes science,
