- 31
- 1
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
- christian-attiogbe
- 0000-0002-7815-1752
- IdRef : 073264555
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
- 6
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 15
- 5
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 4
- 5
- 4
- 23
- 9
- 1
|
Service Promotion in a Federation of Security DomainsRevue 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-BComputer 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 AlignmentComplex Systems Informatics and Modeling Quarterly, 2016, 9, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩
Article dans une revue
hal-01686322v1
|
|
|
Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de servicesRevue 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 AssembliesElectronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩
Article dans une revue
hal-00505336v1
|
|
|
Adaptation for Hierarchical Components and ServicesElectronic Notes in Theoretical Computer Science, 2007, 189, pp.5--20. ⟨10.1016/j.entcs.2007.05.045⟩
Article dans une revue
hal-00423697v1
|
|
Service Promotion in a Federation of Security DomainsColloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Oct 2020, Thiès, Senegal
Communication dans un congrès
hal-02909605v2
|
|
Virtual Extension of Meta-models with Facet Tools6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
Communication dans un congrès
hal-01911500v1
|
|
Alignement des points de vue du système d'information Une approche pragmatiqueActes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Communication dans un congrès
hal-02468406v1
|
|
Systematic Construction of Critical Embedded Systems Using Event-BNew 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
|
|
Combining Techniques to Verify Service-based ComponentsMODELSWARD 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 Systems17th 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 ComponentsWorkshop 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-BFESCA @ 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 B4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126
Communication dans un congrès
hal-00487359v1
|
|
|
Correction d'assemblages de composants impliquant des interfaces paramétrées3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Communication dans un congrès
hal-00423658v1
|
|
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Communication dans un congrès
hal-00423672v1
|
|
A Formal Analysis Toolbox for the Kmelia Component ModelProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
Communication dans un congrès
hal-00423690v1
|
|
Defining Component Protocols with Service Composition: Illustration with the Kmelia ModelSoftware 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
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia13e 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 MEC6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506
Communication dans un congrès
hal-00458119v1
|
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Communication dans un congrès
hal-00423665v1
|
|
Checking Component Composability5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩
Communication dans un congrès
hal-00397694v1
|
|
Composing Components with Shared Services in the Kmelia ModelSoftware 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 composantsLMO 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 CompositionICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Communication dans un congrès
hal-00458120v1
|
Composants, services et aspects Techniques et outils pour la vérificationHermès - Lavoisier, pp.130, 2008
Ouvrages
hal-00457209v1
|
|
L'Objet : Composants, services et aspectsLavoisier, Hermes, pp.128, 2008
Ouvrages
hal-00482908v1
|
Definition and Visualization of Virtual Meta-model Extensions with a Facet FrameworkModel-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
|
Vérification de conformité des interactions entre composants2005
Autre publication scientifique
hal-00458115v1
|
|
A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization2005
Autre publication scientifique
hal-00458116v1
|
|
A Service-Based Component Model: Formalism, Analysis and Mechanization2006
Pré-publication, Document de travail
hal-00023153v1
|