Accéder directement au contenu

Christian Attiogbé

Full Professor, Nantes University - Computer Science Department IUT Nantes - LS2N (UMR CNRS 6004)
82%
Libre accès
11
Documents
Affiliations actuelles
  • 1135126
  • 1097347
Identifiants chercheurs
Contact

Présentation

Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Languages - Operating Systems - Networks - Formal methods for Software Engineering

Publications

lanoix-a

A tool-assisted method for the systematic construction of critical embedded systems using Event-B

Pascal Andre , Christian Attiogbé , Arnaud Lanoix
Computer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩
Article dans une revue hal-02468473v1
Image document

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models

David Sferruzza , Jérôme Rocheteau , Christian Attiogbé , Arnaud Lanoix
Model-Driven Engineering and Software Development, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
Article dans une revue hal-02075980v1

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies

Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix
Electronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩
Article dans une revue hal-00505336v1

A Model-Driven Method for Fast Building Consistent Web Services in Practice

David Sferruzza , Jérôme Rocheteau , Christian Attiogbé , Arnaud Lanoix
17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
Communication dans un congrès hal-02009658v1
Image document

A Model-Driven Method for Fast Building Consistent Web Services in Practice

David Sferruzza , Jérôme Rocheteau , Christian Attiogbe , Arnaud Lanoix
MODELSWARD, INSTICC, Jan 2018, Funchal, Portugal
Communication dans un congrès hal-01654287v3

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models

David Sferruzza , Jérôme Rocheteau , Christian Attiogbe , Arnaud Lanoix
Model-Driven Engineering and Software Development - 6th International Conference, (MODELSWARD) 2018 - revised selected papers, Jan 2018, Funchal, Portugal. pp.9-33, ⟨10.1007/978-3-030-11030-7_2⟩
Communication dans un congrès hal-02010874v1
Image document

Extending OpenAPI 3.0 to Build Web Services from their Specification

David Sferruzza , Jérôme Rocheteau , Christian Attiogbé , Arnaud Lanoix
International Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain
Communication dans un congrès hal-01868498v1
Image document

Systematic Construction of Critical Embedded Systems Using Event-B

Pascal Andre , Christian Attiogbé , Arnaud Lanoix
New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩
Communication dans un congrès hal-01929259v1
Image document

Using Event-B to Verify the Kmelia Components and Their Assemblies

P. Andre , Gilles Ardourel , Christian Attiogbe , Arnaud Lanoix
ABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩
Communication dans un congrès hal-00483236v1

Contract-based Verification of Kmelia Component Assemblies using Event-B

Pascal André , Gilles Ardourel , Christian Attiogbe , Arnaud Lanoix
FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Communication dans un congrès hal-00483755v1
Image document

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies

Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix
6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Communication dans un congrès hal-00423672v1