Handling Interaction in Software Specification. - J. Christian Attiogbé; Jean-Louis Durieux (VCHCI, 1993)

Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (APSEC, 2001)

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (COMPSAC, 2002)

Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. - J. Christian Attiogbé (ICFEM, 2002)

Specification of an Access Control System with a Formalism Combining CCS and CASL. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (IPDPS, 2002)

Foundations for a Combination of Heterogeneous Specification Components. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (Formal Methods and Component Interaction @ ICALP, 2002)

Integration of Formal Datatypes within State Diagrams. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (FASE, 2003)

Formalising an Integrated Language in PVS. - Gwen Salaün; J. Christian Attiogbé (ICFEM, 2003)

Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (IPDPS, 2003)

A Mechanically Proved Development Combining B Abstract Systems and Spin. - J. Christian Attiogbé (QSIC, 2004)

MIAOw: a Method to Integrate a Process Algebra with Formal Data. - Gwen Salaün; J. Christian Attiogbé (Informatica (Slovenia), 2004)

A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. - J. Christian Attiogbé (ZB, 2005)

Semantic Embedding of Petri Nets into Event-B - J. Christian Attiogbé (CoRR, 2005)

Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (CAL, 2006)

Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). - J. Christian Attiogbé (IASTED Conf. on Software Engineering, 2006)

Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. - J. Christian Attiogbé (ICFEM, 2006)

Checking Component Composability. - J. Christian Attiogbé; Pascal André; Gilles Ardourel (SC@ETAPS, 2006)

Adaptation for Hierarchical Components and Services. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (WCAT@ECOOP, 2006)

Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette. (Contribution to formal approaches of software engineering: formal method integration and multi-faceted analysis). - J. Christian Attiogbé (2007)

Protocoles d'utilisation de composants : spécification et analyse en Kmelia. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (LMO, 2007)

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (SC@ETAPS, 2007)

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2007)

Mastering Specification Heterogeneity with Multifacet Analysis. - J. Christian Attiogbé (ICST Workshops, 2008)

Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. - J. Christian Attiogbé (ISoLA, 2008)

Composing Components with Shared Services in the KmeliaModel. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (SC@ETAPS, 2008)

Éditorial. - Pascal André; J. Christian Attiogbé (Obj. Logiciel Base données Réseaux, 2008)

Correction d'assemblages de composants impliquant des interfaces paramétrées. - Pascal André; J. Christian Attiogbé; Mohamed Messabihi (CAL, 2009)

Can Component/Service-Based Systems Be Proved Correct?. - J. Christian Attiogbé (SOFSEM, 2009)

Modelling and Analysing Dynamic Decentralised Systems - J. Christian Attiogbé (CoRR, 2009)

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. - Pascal André; Gilles Ardourel; J. Christian Attiogbé; Arnaud Lanoix (FACS@FMWeek, 2009)

Using Event-B to Verify the Kmelia Components and Their Assemblies. - Pascal André; Gilles Ardourel; J. Christian Attiogbé; Arnaud Lanoix (ASM, 2010)

Preuve de cohérence de composants Kmelia à l'aide de la méthode B. - Mohamed Messabihi; Pascal André; J. Christian Attiogbé (CAL, 2010)

Multilevel Contracts for Trusted Components - Mohamed Messabihi; Pascal André; J. Christian Attiogbé (WCSI, 2010)

Dynamic Composition of Evolving Process Types - J. Christian Attiogbé (CoRR, 2011)

Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (Tech. Sci. Informatiques, 2011)

Partial Test Oracle in Model Transformation Testing. - Olivier Finot; Jean-Marie Mottu; Gerson Sunyé; J. Christian Attiogbé (ICMT, 2013)

Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. - J. Christian Attiogbé (ISoLA (2), 2014)

A Method for Business-IT Alignment of Legacy Systems. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (ICEIS (3), 2015)

Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ICSOFT-EA, 2015)

Deriving Event-B Models from Mealy Machines: Application to an Auction System. - J. Christian Attiogbé (MEDI, 2015)

A Facet-based Model Mapping Method for EA Alignment and Evolution. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (CAiSE Forum, 2016)

Refinement of UML2.0 Sequence Diagrams for Distributed Systems. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ICSOFT-EA, 2016)

Mapping Component Models on Distributed Architectures: Correctness Checking. - J. Christian Attiogbé (MoDeVVa@MoDELS, 2016)

An Improved Model Facet Method to Support EA Alignment. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (Complex Syst. Informatics Model. Q., 2016)

A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ENASE, 2017)

Mastering Heterogeneous Behavioural Models. - J. Christian Attiogbé (MEDI, 2017)

Combining Techniques to Verify Service-based Components. - Pascal André; J. Christian Attiogbé; Jean-Marie Mottu (MODELSWARD, 2017)

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ENASE, 2018)

Building Correct SDN Components from a Global Event-B Formal Model. - J. Christian Attiogbé (FACS, 2018)

Alignement des points de vue du système d'information, une approche pragmatique. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (INFORSID, 2018)

Systematic Construction of Critical Embedded Systems Using Event-B. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (MEDI Workshops, 2018)

Virtual Extension of Meta-models with Facet Tools. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (MODELSWARD, 2018)

Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (MODELSWARD (Revised Selected Papers), 2018)

A Model-Driven Method for Fast Building Consistent Web Services in Practice. - David Sferruzza; Jérôme Rocheteau; J. Christian Attiogbé; Arnaud Lanoix (MODELSWARD, 2018)

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. - David Sferruzza; Jérôme Rocheteau; J. Christian Attiogbé; Arnaud Lanoix (MODELSWARD (Revised Selected Papers), 2018)

Extending OpenAPI 3.0 to Build Web Services from their Specification. - David Sferruzza; Jérôme Rocheteau; J. Christian Attiogbé; Arnaud Lanoix (WEBIST, 2018)

Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (CoRR, 2018)

Building Correct SDN-Based Components from a Global Formal Mode. - J. Christian Attiogbé (CoRR, 2018)

Parametric Statistical Model Checking of UAV Flight Plan. - Ran Bao; J. Christian Attiogbé; Benoît Delahaye; Paulin Fournier; Didier Lime (FORTE, 2019)

Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. - Abdramane Bah; Pascal André; J. Christian Attiogbé; Jacqueline Konaté (ISSA, 2019)

Toward a Correct Implementation of LwM2M Client with Event-B. - Inès Mouakher; Fatma Dhaou; J. Christian Attiogbé (ICSOFT, 2020)

Service Promotion in a Federation of Security Domains. - Abdramane Bah; Pascal André; J. Christian Attiogbé; Jacqueline Konaté (ARIMA J., 2020)

A tool-assisted method for the systematic construction of critical embedded systems using Event-B. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (Comput. Sci. Inf. Syst., 2020)

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. - A. Abdelkader Khouass; J. Christian Attiogbé; Mohamed Messabihi (MEDI, 2021)

Modeling and Analysis of the Landing Gear System with the Generalized Contracts. - Abdelkader Khouass; J. Christian Attiogbé; Mohamed Messabihi (CoRR, 2021)

Advances and Challenges for Model and Data Engineering. - J. Christian Attiogbé; Flavio Ferrarotti; Sofian Maabout (J. Univers. Comput. Sci., 2021)

Architectural Invariants and Correctness of IoT-Based Systems. - J. Christian Attiogbé; Jérôme Rocheteau (MEDI Workshops, 2022)

Model-Driven Development of Digital Twins for Supervision and Simulation of Sensor-and-Actuator Networks (Extended Abstract). - Gaël Pichot; Jérôme Rocheteau; J. Christian Attiogbé (STAF Workshops, 2022)

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification. - Inès Mouakher; Fatma Dhaou; J. Christian Attiogbé (J. Comput. Sci. Technol., 2022)

Validating and verifying LwM2M clients with event-B. - Inès Mouakher; Fatma Dhaou; J. Christian Attiogbé (Int. J. Internet Protoc. Technol., 2023)

Preface of the special issue on advances in data-driven engineering. - Sadok Ben Yahia; J. Christian Attiogbé (Int. J. Gen. Syst., 2023)

Correctness of IoT-based systems: From a DSL to a mechanised analysis. - J. Christian Attiogbé; Jérôme Rocheteau (J. Comput. Lang., 2023)

A theme section on the central role of modeling in designing and explaining data-driven systems and software. - J. Christian Attiogbé; Sadok Ben Yahia; Ladjel Bellatreche (Softw. Syst. Model., 2023)

Comparative Analysis of Multivariate Time Series Forecasting Methods for Modeling Plastic Extruder Behavior. - Amira Souilah; Jérôme Rocheteau; Benoit Lardeux; J. Christian Attiogbé (MEDI, 2024)

Navigating the trace of executable domain specific languages through a trace domain query language. - Hiba Ajabri; Jean-Marie Mottu; Christian Attiogbé; Pascal Berruet (J. Object Technol., 2025)