| 2024 | MEDI | Comparative Analysis of Multivariate Time Series Forecasting Methods for Modeling Plastic Extruder Behavior. | Amira Souilah, Jrme Rocheteau, Benoit Lardeux, J. Christian Attiogb |
| 2022 | MEDI | Architectural Invariants and Correctness of IoT-Based Systems. | J. Christian Attiogb, Jrme Rocheteau |
| 2021 | MEDI | Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. | A. Abdelkader Khouass, J. Christian Attiogb, Mohamed Messabihi |
| 2020 | ICSoft | Toward a Correct Implementation of LwM2M Client with Event-B. | Ins Mouakher, Fatma Dhaou, J. Christian Attiogb |
| 2019 | FORTE | Parametric Statistical Model Checking of UAV Flight Plan. | Ran Bao, J. Christian Attiogb, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2018 | ENASE | Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2018 | MEDI | Systematic Construction of Critical Embedded Systems Using Event-B. | Pascal Andr, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | MODELSWARD | Virtual Extension of Meta-models with Facet Tools. | Jonathan Pepin, Pascal Andr, J. Christian Attiogb, Erwan Breton |
| 2018 | MODELSWARD | Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. | Jonathan Pepin, Pascal Andr, J. Christian Attiogb, Erwan Breton |
| 2018 | MODELSWARD | A Model-Driven Method for Fast Building Consistent Web Services in Practice. | David Sferruzza, Jrme Rocheteau, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | MODELSWARD | A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. | David Sferruzza, Jrme Rocheteau, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | WEBIST | Extending OpenAPI 3.0 to Build Web Services from their Specification. | David Sferruzza, Jrme Rocheteau, J. Christian Attiogb, Arnaud Lanoix |
| 2017 | ENASE | A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2017 | MEDI | Mastering Heterogeneous Behavioural Models. | J. Christian Attiogb |
| 2017 | MODELSWARD | Combining Techniques to Verify Service-based Components. | Pascal Andr, J. Christian Attiogb, Jean-Marie Mottu |
| 2016 | CaiSE | A Facet-based Model Mapping Method for EA Alignment and Evolution. | Jonathan Pepin, Pascal Andr, J. Christian Attiogb, Erwan Breton |
| 2016 | ICSoft | Refinement of UML2.0 Sequence Diagrams for Distributed Systems. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2016 | MODELS | Mapping Component Models on Distributed Architectures: Correctness Checking. | J. Christian Attiogb |
| 2015 | ICSoft | Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2015 | MEDI | Deriving Event-B Models from Mealy Machines: Application to an Auction System. | J. Christian Attiogb |
| 2014 | ISoLA | Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. | J. Christian Attiogb |
| 2009 | SOFSEM | Can Component/Service-Based Systems Be Proved Correct?. | J. Christian Attiogb |
| 2008 | ICST | Mastering Specification Heterogeneity with Multifacet Analysis. | J. Christian Attiogb |
| 2008 | ISoLA | Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. | J. Christian Attiogb |
| 2006 | ICFEM | Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. | J. Christian Attiogb |
| 2003 | FASE | Integration of Formal Datatypes within State Diagrams. | J. Christian Attiogb, Pascal Poizat, Gwen Salan |
| 2003 | ICFEM | Formalising an Integrated Language in PVS. | Gwen Salan, J. Christian Attiogb |
| 2002 | COMPSAC | A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. | Gwen Salan, Michel Allemand, J. Christian Attiogb |
| 2002 | ICFEM | Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. | J. Christian Attiogb |
| 2001 | APSEC | Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. | Gwen Salan, Michel Allemand, J. Christian Attiogb |