Christian Attiogbé Full Professor,Nantes University - Computer Science Department IUT Nantes - LS2N (UMR CNRS 6004)

Identifiants chercheurs

IdHAL :

christian-attiogbe

ORCID :

0000-0002-7815-1752

IdRef :

073264555

Présentation

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

Publications

Article dans une revue (13)

Modeling and analysis of heterogeneous systems with generalized contracts Abdelkader Khouass,Christian Attiogbé,Mohamed Messabihi,Abdelkrim Benamar International Journal of Computers and Applications, 2025, 47 (8), pp.681-701. ⟨10.1080/1206212X.2025.2522771⟩ Article dans une revue hal-05156631v1
Navigating the trace of executable domain specific languages through a trace domain query language. Hiba Ajabri,Jean-Marie Mottu,Christian Attiogbé,Pascal Berruet The Journal of Object Technology, 2025, The 21st European Conference on Modelling Foundations and Applications (ECMFA 2025), 24 (2), pp.1-15. ⟨10.5381/jot.2025.24.2.a8⟩ Article dans une revue hal-05116946v1
Correctness of IoT-based systems: From a DSL to a mechanised analysis Christian Attiogbé,Jérôme Rocheteau Journal of Computer Languages, 2023, 77, pp.101239. ⟨10.1016/j.cola.2023.101239⟩ Article dans une revue hal-04240187v1
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 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, ⟨10.1007/978-3-030-11030-7_2⟩ Article dans une revue hal-02075980v1
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, 17 (1), pp.315-338. ⟨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
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
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes Christian Attiogbe,Pascal Poizat,Gwen Salaün IEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩ Article dans une revue hal-00470280v1
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
Analyzing the Readers/Writers System Using the B Theorem Prover Christian Attiogbé GESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98 Article dans une revue hal-00444072v1
MIAOw: a Method to Integrate a Process Algebra with Formal Data Gwen Salaün,Christian Attiogbé Informatica, 2004, 28 (2), pp.207--219 Article dans une revue hal-00444078v1

Communication dans un congrès (58)

Modeling and Analysis of the Landing Gear System with the Generalized Contracts A. Abdelkader Khouass,J. Christian Attiogbé,Mohamed Messabihi,Abdelkrim Benamar First International Conference, ICMSCT 2024,, Noureddine Seddari, Mohammed Redjimi, Nov 2024, Skikda, Algeria. pp.332-347, ⟨10.1007/978-3-032-01922-6_28⟩ Communication dans un congrès hal-05348332v1
Architectural Invariants and Correctness of IoT-Based Systems Christian Attiogbé,Jérôme Rocheteau Model and Data Engineering (MEDI'2022), Nov 2022, Cairo, Egypt. pp.75-88, ⟨10.1007/978-3-031-23119-3_6⟩ Communication dans un congrès hal-04093777v1
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems A. Abdelkader Khouass,J. Christian Attiogbé,Mohamed Messabihi Model and Data Engineering (MEDI'2021), Jun 2021, Tallinn, Estonia. pp.41-49, ⟨10.1007/978-3-030-78428-7_4⟩ Communication dans un congrès hal-04093796v1
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models Abdramane Bah,Pascal Andre,Christian Attiogbé,Jacqueline Konaté 18th International Information Security for South Africa Conference, Aug 2019, Johanesbourg, South Africa. ⟨10.1007/978-3-030-43276-8_7⟩ Communication dans un congrès hal-02468264v1
Model checking paramétrique statistique du plan de vol de drone civil Ran Bao,Christian Attiogbe,Paulin Fournier,Didier Lime MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France Communication dans un congrès hal-02432687v1
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
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
Building Correct SDN Components from a Global Event-B Formal Model Christian Attiogbé Formal Aspects of Component Software, Oct 2018, Pohang, South Korea. pp.35-53, ⟨10.1007/978-3-030-02146-7_2⟩ Communication dans un congrès hal-01949913v1
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
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. ⟨10.5220/0006531900150024⟩ Communication dans un congrès hal-01654287v3
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams Fatma Dhaou,Inès Mouakher,J. Christian Attiogbe,Khaled Bsaïes 13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩ Communication dans un congrès hal-02090259v1
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. ⟨10.5220/0006923604120419⟩ Communication dans un congrès hal-01868498v1
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
Mastering Heterogeneous Behavioural Models Christian Attiogbé Model and Data Engineering - 7th International Conference, (MEDI'2017), Oct 2017, Barcelona, Spain. ⟨10.1007/978-3-319-66854-3_22⟩ Communication dans un congrès hal-01686306v1
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 Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments Fatma Dhaou,Inès Mouakher,Christian Attiogbé,Khaled Bsaïes 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩ Communication dans un congrès hal-01686265v1
Refinement of UML2.0 Sequence Diagrams for Distributed Systems Fatma Dhaou,Inès Mouakher,Christian Attiogbé,Khaled Bsaïes the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), Jul 2016, Lisbon, Portugal Communication dans un congrès hal-01686331v1
Mapping Component Models on Distributed Architectures: Correctness Checking Christian Attiogbe 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, Oct 2016, Saint-Malo, France Communication dans un congrès hal-01686376v1
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems Fatma Dhaou,Inès Mouakher,Christian Attiogbé,Khaled Bsaïes 10th International Conference on Software Engineering and Applications, Jul 2015, Colmar, France. ⟨10.5220/0005517703390347⟩ Communication dans un congrès hal-01686275v1
Deriving Event-B Models from Mealy Machines: Application to an Auction System Christian Attiogbé Model and Data Engineering - 5th International Conference, (MEDI'2015), Sep 2015, Rhodes, Greece. pp.77-88, ⟨10.1007/978-3-319-23781-7_7⟩ Communication dans un congrès hal-02500377v1
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
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach Christian Attiogbé ISoLA'2014 - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, B. Steffen & T. Margaria, Oct 2014, Corfu, Greece. pp.573 - 587, ⟨10.1007/978-3-662-45231-8_48⟩ Communication dans un congrès hal-01083188v1
Partial Test Oracle in Model Transformation Testing Olivier Finot,Jean-Marie Mottu,Gerson Sunyé,J. Christian Attiogbe International Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩ Communication dans un congrès hal-00823231v1
Filtered Comparison for Oracle in ModelTransformation Testing Olivier Finot,Jean-Marie Mottu,Gerson Sunyé,J. Christian Attiogbe ICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590 Communication dans un congrès hal-00918590v1
Poster : Comparaison de modèles filtrée pour le test de transformations de modèles Olivier Finot,Jean-Marie Mottu,Gerson Sunyé,J. Christian Attiogbe Journées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5 Communication dans un congrès hal-00920300v1
Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles Olivier Finot,Jean-Marie Mottu,Gerson Sunyé,Christian Attiogbé CIEL 2012, 2012, Rennes, France Communication dans un congrès hal-00726538v1
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
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
Can Component/Service-Based Systems Be Proved Correct? Christian Attiogbe Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Jan 2009, Spindleruv Mlýn,, Czech Republic. pp.3-18, ⟨10.1007/978-3-540-95891-8_2⟩ Communication dans un congrès hal-00420051v1
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
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
Semantic Embedding of Petri Nets into Event-B Christian Attiogbe Integration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Mar 2009, Dusseldorf, Germany Communication dans un congrès hal-00483237v1
Modelling and Analysing Dynamic Decentralised Systems Christian Attiogbé International Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩ Communication dans un congrès hal-00420009v1
Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network J. Christian Attiogbe ISoLA 2008, Oct 2008, Porto-sani, Greece. pp.769-781, ⟨10.1007/978-3-540-88479-8_55⟩ Communication dans un congrès hal-00420017v1
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
Mastering Specification Heterogeneity with Multifacet Analysis Christian Attiogbe Modeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway Communication dans un congrès hal-00482872v1
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
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
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
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
Combining B Tools for Multi-Process Systems Specification Christian Attiogbe African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42 Communication dans un congrès hal-00482855v1
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
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). Christian Attiogbe IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90 Communication dans un congrès hal-00420050v1
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems J. Christian Attiogbe ICFEM'2006, Nov 2006, Macao, China. pp.660-677 Communication dans un congrès hal-00420015v1
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
Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis Christian Attiogbé 31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10 Communication dans un congrès hal-00458165v1
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
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
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems J. Christian Attiogbe ZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. pp.124-141, ⟨10.1007/b135596⟩ Communication dans un congrès hal-00421161v1
Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN Christian Attiogbé 4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587 Communication dans un congrès hal-00458200v1
A Mechanically Proved Development Combining B Abstract Systems and Spin J. Christian Attiogbe Fourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩ Communication dans un congrès hal-00421162v1
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams Christian Attiogbé,Pascal Poizat,Gwen Salaün {8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a Communication dans un congrès hal-00458164v1
Intégration de données formelles dans les diagrammes d'états d'UML Christian Attiogbé,Pascal Poizat,Gwen Salaün Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17 Communication dans un congrès hal-00458199v1
Integration of Formal Datatypes within State Diagrams Christian Attiogbé,Pascal Poizat,Gwen Salaün Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355 Communication dans un congrès hal-00458163v1
Formalising an Integrated Language in PVS Gwen Salaün,Christian Attiogbé 5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205 Communication dans un congrès hal-00458175v1
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS J. Christian Attiogbe 4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩ Communication dans un congrès istex hal-00421160v1

Ouvrages (4)

From Research to Teaching Formal Methods: The B Method (TFM-B'2008) Christian Attiogbe,Henri Habrias Université de Nantes, pp.147, 2008 Ouvrages hal-00483735v1
Composants, services et aspects Techniques et outils pour la vérification Pascal André,Christian Attiogbé Hermès - Lavoisier, pp.130, 2008 Ouvrages hal-00457209v1
L'Objet : Composants, services et aspects Christian Attiogbe,Pascal Andre Lavoisier, Hermes, pp.128, 2008 Ouvrages hal-00482908v1
First International Workshop on Property Verification for Software Components and Services Christian Attiogbe,Daniel Kroening ETH Zurich, pp.72, 2007 Ouvrages hal-00481603v1

Chapitre d'ouvrage (2)

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
An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems Fatma Dhaou,Inès Mouakher,Khaled Bsaïes,Christian Attiogbé Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩ Chapitre d'ouvrage hal-02091932v1

Autre publication scientifique (4)

A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization Pascal André,Gilles Ardourel,Christian Attiogbé,Henri Habrias,Cédric Stoquer 2005 Autre publication scientifique hal-00458116v1
Semantic Embedding of Petri Nets into Event-B Christian Attiogbé 2005 Autre publication scientifique hal-00458166v1
Vérification de conformité des interactions entre composants Pascal André,Gilles Ardourel,Christian Attiogbé,Henri Habrias,Cédric Stoquer 2005 Autre publication scientifique hal-00458115v1
Towards a Generic Analysis and Design Framework: the KEPU Information System (NatIF Project) Christian Attiogbé 2004 Autre publication scientifique hal-00458168v1

Pré-publication, Document de travail (2)

A Service-Based Component Model: Formalism, Analysis and Mechanization Pascal André,Gilles Ardourel,Christian Attiogbé,Henri Habrias,Cédric Stoquer 2006 Pré-publication, Document de travail hal-00023153v1
Combining B Tools for Multi-Process Systems Specification Christian Attiogbé 2006 Pré-publication, Document de travail hal-00023152v1

Rapport (4)

Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)&quot;, Vannes, 2022 J. Christian Attiogbé,Fatiha Zaïdi LS2N-Nantes Université; LMF-Univesité Paris Saclay. 2022 Rapport hal-04556748v1
Federated Access Control in Service Oriented Architecture Abdramane Bah,Pascal André,Christian Attiogbé,Jacqueline Konaté [Research Report] LS2N, Université de Nantes. 2019 Rapport (rapport de recherche) hal-02103825v1
Test Cases Evolution of Mobile Applications Lynda Ait Oubelli,Jean-Marie Mottu,Christian Attiogbé [Research Report] Université de Nantes. 2015 Rapport (rapport de recherche) hal-01271467v1
Dynamic Composition of Evolving Process Types Christian Attiogbé [Research Report] LINA-University of Nantes. 2011, pp.24 Rapport (rapport de recherche) hal-00655017v1

HDR (1)

Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette Christian Attiogbé Génie logiciel [cs.SE]. Université de Nantes, 2007 HDR tel-00481602v1

Proceedings/Recueil des communications (5)

Advances and Challenges for Model and Data Engineering Christian Attiogbé,Flavio Ferrarotti,Sofian Maabout 9th International Conference on Model and Data Engineering (MEDI 2019), Oct 2019, Toulouse, France. Journal of Universal Computer Science, 27 (7), pp.646-649, 2021, ⟨10.3897/jucs.70972⟩ Proceedings/Recueil des communications hal-04093790v1
Model and Data Engineering Christian Attiogbé,Sadok Ben Yahia 12732, Springer International Publishing, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-78428-7⟩ Proceedings/Recueil des communications hal-04093812v1
New Trends in Model and Data Engineering (MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT) Christian Attiogbé,Flavio Ferrarotti,Sofian Maabout Communications in Computer and Information Science, 1085, Springer International Publishing, 2019, Communications in Computer and Information Science, 978-3-030-32212-0. ⟨10.1007/978-3-030-32213-7⟩ Proceedings/Recueil des communications hal-02468186v1
From Research to Teaching Formal Methods: The B Method - TFM-B'2009 Christian Attiogbe,Henri Habrias Journées Scientifiques de l'Université de Nantes, Université de Nantes, pp.134, 2009, 2-9512461-0-2 Proceedings/Recueil des communications hal-04914102v1
From Research to Teaching Formal Methods: The B Method (TFM-B'2008) Christian Attiogbe,Henri Habrias,Frédéric Dadeau,Jacques Julliand,Regis Tissotet al. The B Method: from Research to Teaching, Jun 2008, Nantes (France), France. Université de Nantes, pp.163, 2008, 978-2-9512461-2-9 Proceedings/Recueil des communications hal-04975370v1