Accéder directement au contenu

Christian Attiogbé

Full Professor, Nantes University - Computer Science Department IUT Nantes - LS2N (UMR CNRS 6004)
69%
Libre accès
32
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

andre-p
Image document

Service Promotion in a Federation of Security Domains

Abdramane Bah , Pascal Andre , Christian Attiogbé , Jacqueline Konaté
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2021, Volume 34 - 2020 - Special Issue CARI 2020, ⟨10.46298/arima.6757⟩
Article dans une revue hal-02928753v4

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

An Improved Model Facet Method to Support EA Alignment

Jonathan Pepin , Pascal Andre , Christian Attiogbé , Erwan Breton
Complex Systems Informatics and Modeling Quarterly, 2016, 9, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩
Article dans une revue hal-01686322v1
Image document

Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de services

Pascal Andre , Gilles Ardourel , Christian Attiogbé
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, Technique et Science Informatiques, 30 (6), pp.627-658. ⟨10.3166/tsi.30.627-658⟩
Article dans une revue hal-01147205v1

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
Image document

Adaptation for Hierarchical Components and Services

Pascal Andre , Gilles Ardourel , Christian Attiogbé
Electronic Notes in Theoretical Computer Science, 2007, 189, pp.5--20. ⟨10.1016/j.entcs.2007.05.045⟩
Article dans une revue hal-00423697v1
Image document

Service Promotion in a Federation of Security Domains

Abdramane Bah , Pascal André , Christian Attiogbé , Jacqueline Konate
Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Oct 2020, Thiès, Senegal
Communication dans un congrès hal-02909605v2
Image document

Virtual Extension of Meta-models with Facet Tools

Pascal Andre , Jonathan Pepin , Christian Attiogbé , Erwan Breton
6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
Communication dans un congrès hal-01911500v1
Image document

Alignement des points de vue du système d'information Une approche pragmatique

Jonathan Pepin , Pascal Andre , Christian Attiogbé , Erwann Breton
Actes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Communication dans un congrès hal-02468406v1
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

Combining Techniques to Verify Service-based Components

Pascal Andre , Christian Attiogbe , Jean-Marie Mottu
MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩
Communication dans un congrès hal-01628303v1

A Method for Business-IT Alignment of Legacy Systems

Pascal Andre , Jonathan Pepin , Christian Attiogbé , Erwan Breton
17th International Conference on Enterprise Information Systems, Apr 2015, Barcelona, France. ⟨10.5220/0005351502290237⟩
Communication dans un congrès hal-01911502v1

Multi-levels Use of Contracts for Trusted Components

Mohamed Messabihi , Pascal André , Christian Attiogbé
Workshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩
Communication dans un congrès hal-00488125v1

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

Preuve de cohérence de composants Kmelia à l'aide de la méthode B

Mohamed Messabihi , Pascal André , Christian Attiogbé
4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126
Communication dans un congrès hal-00487359v1
Image document

Correction d'assemblages de composants impliquant des interfaces paramétrées

Pascal André , Christian Attiogbé , Mohamed Messabihi
3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Communication dans un congrès hal-00423658v1
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
Image document

A Formal Analysis Toolbox for the Kmelia Component Model

Pascal Andre , Gilles Ardourel , Christian Attiogbé
ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
Communication dans un congrès hal-00423690v1
Image document

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model

Pascal Andre , Gilles Ardourel , Christian Attiogbé
Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
Communication dans un congrès hal-00397713v1
Image document

Protocoles d'utilisation de composants : spécification et analyse en Kmelia

Pascal André , Gilles Ardourel , Christian Attiogbé
13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.19-34
Communication dans un congrès hal-00423643v1

Vérification d'assemblage de composants logiciels Expérimentations avec MEC

Pascal André , Gilles Ardourel , Christian Attiogbé
6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506
Communication dans un congrès hal-00458119v1
Image document

Protocoles d'utilisation de composants : spécification et analyse en Kmelia

Pascal Andre , Gilles Ardourel , Christian Attiogbé
1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Communication dans un congrès hal-00423665v1
Image document

Checking Component Composability

Christian Attiogbé , Pascal André , Gilles Ardourel
5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩
Communication dans un congrès hal-00397694v1
Image document

Composing Components with Shared Services in the Kmelia Model

Pascal Andre , Gilles Ardourel , Christian Attiogbé
Software Composition, 7th International Symposium, SC 2008, Mar 2006, Budapest, Hungary. pp.125-140, ⟨10.1007/978-3-540-78789-1_9⟩
Communication dans un congrès hal-00423639v1

Vérification de conformité des interactions entre composants

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer
LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Communication dans un congrès hal-00458121v1

Behavioural Verification of Service Composition

Pascal André , Gilles Ardourel , Christian Attiogbé
ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Communication dans un congrès hal-00458120v1

Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework

Pascal Andre , Jonathan Pepin , Christian Attiogbé , Erwan Breton
Model-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, 991, Springer, pp.106-133, 2019, Communications in Computer and Information Science book series (CCIS, volume 991), ⟨10.1007/978-3-030-11030-7_6⟩
Chapitre d'ouvrage hal-02090263v1