J. Christian Attiogbé

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 36

Top Topics

Formal Verification

Distributed Systems

Top Venues

Publications

J. Christian Attiogbé, Jérôme Rocheteau
Correctness of IoT-based systems: From a DSL to a mechanised analysis. J. Comput. Lang. 77 (2023)
J. Christian Attiogbé, Sadok Ben Yahia, Ladjel Bellatreche
A theme section on the central role of modeling in designing and explaining data-driven systems and software. Softw. Syst. Model. 22 (6) (2023)
Sadok Ben Yahia, J. Christian Attiogbé
Preface of the special issue on advances in data-driven engineering. Int. J. Gen. Syst. 52 (3) (2023)
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
Validating and verifying LwM2M clients with event-B. Int. J. Internet Protoc. Technol. 16 (2) (2023)
Gaël Pichot, Jérôme Rocheteau, J. Christian Attiogbé
Model-Driven Development of Digital Twins for Supervision and Simulation of Sensor-and-Actuator Networks (Extended Abstract). STAF Workshops (2022)
J. Christian Attiogbé, Jérôme Rocheteau
Architectural Invariants and Correctness of IoT-Based Systems. MEDI Workshops (2022)
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification. J. Comput. Sci. Technol. 37 (1) (2022)
J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout
Advances and Challenges for Model and Data Engineering. J. Univers. Comput. Sci. 27 (7) (2021)
Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Modeling and Analysis of the Landing Gear System with the Generalized Contracts. CoRR (2021)
A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. MEDI (2021)
Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté
Service Promotion in a Federation of Security Domains. ARIMA J. 34 (2020)
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
Toward a Correct Implementation of LwM2M Client with Event-B. ICSOFT (2020)
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
A tool-assisted method for the systematic construction of critical embedded systems using Event-B. Comput. Sci. Inf. Syst. 17 (1) (2020)
Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems. CoRR (2020)
J. Christian Attiogbé, Jérôme Rocheteau
Architectural Invariants and Correctness of IoT-based Systems. CoRR (2019)
Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. ISSA (2019)
Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Statistical Model Checking of UAV Flight Plan. FORTE (2019)
David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix
Extending OpenAPI 3.0 to Build Web Services from their Specification. WEBIST (2018)
J. Christian Attiogbé
Building Correct SDN-Based Components from a Global Formal Mode. CoRR (2018)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
Alignement des points de vue du système d'information, une approche pragmatique. INFORSID (2018)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. ENASE (2018)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
Virtual Extension of Meta-models with Facet Tools. MODELSWARD (2018)
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
Systematic Construction of Critical Embedded Systems Using Event-B. MEDI Workshops (2018)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. MODELSWARD (Revised Selected Papers) (2018)
David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. MODELSWARD (Revised Selected Papers) (2018)
David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix
A Model-Driven Method for Fast Building Consistent Web Services in Practice. MODELSWARD (2018)
J. Christian Attiogbé
Building Correct SDN Components from a Global Event-B Formal Model. FACS (2018)
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. CoRR (2018)
Pascal André, J. Christian Attiogbé, Jean-Marie Mottu
Combining Techniques to Verify Service-based Components. MODELSWARD (2017)
J. Christian Attiogbé
Mastering Heterogeneous Behavioural Models. MEDI (2017)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. ENASE (2017)
J. Christian Attiogbé
Mastering Heterogeneous Behavioural Models. CoRR (2017)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
A Facet-based Model Mapping Method for EA Alignment and Evolution. CAiSE Forum (2016)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
An Improved Model Facet Method to Support EA Alignment. Complex Syst. Informatics Model. Q. 9 (2016)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ICSOFT-EA (2016)
J. Christian Attiogbé
Mapping Component Models on Distributed Architectures: Correctness Checking. MoDeVVa@MoDELS (2016)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ICSOFT-EA (2015)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
A Method for Business-IT Alignment of Legacy Systems. ICEIS (3) (2015)
J. Christian Attiogbé
Deriving Event-B Models from Mealy Machines: Application to an Auction System. MEDI (2015)
J. Christian Attiogbé
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. ISoLA (2) (2014)
Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbé
Partial Test Oracle in Model Transformation Testing. ICMT (2013)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. Tech. Sci. Informatiques 30 (6) (2011)
J. Christian Attiogbé
Dynamic Composition of Evolving Process Types CoRR (2011)
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. Electron. Notes Theor. Comput. Sci. 263 (2010)
Mohamed Messabihi, Pascal André, J. Christian Attiogbé
Preuve de cohérence de composants Kmelia à l'aide de la méthode B. CAL (2010)
Mohamed Messabihi, Pascal André, J. Christian Attiogbé
Multilevel Contracts for Trusted Components WCSI (2010)
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM (2010)
J. Christian Attiogbé
Can Component/Service-Based Systems Be Proved Correct? CoRR (2009)
J. Christian Attiogbé
Modelling and Analysing Dynamic Decentralised Systems CoRR (2009)
Pascal André, J. Christian Attiogbé, Mohamed Messabihi
Correction d'assemblages de composants impliquant des interfaces paramétrées. CAL (2009)
J. Christian Attiogbé
Can Component/Service-Based Systems Be Proved Correct?. SOFSEM (2009)
J. Christian Attiogbé
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB) CoRR (2009)
J. Christian Attiogbé
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. ISoLA (2008)
Pascal André, J. Christian Attiogbé
Éditorial. Obj. Logiciel Base données Réseaux 14 (4) (2008)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Composing Components with Shared Services in the KmeliaModel. SC@ETAPS (2008)
J. Christian Attiogbé
Mastering Specification Heterogeneity with Multifacet Analysis. ICST Workshops (2008)
J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. 33 (3) (2007)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO (2007)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. SC@ETAPS (2007)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Adaptation for Hierarchical Components and Services. Electron. Notes Theor. Comput. Sci. 189 (2007)
J. Christian Attiogbé
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). IASTED Conf. on Software Engineering (2006)
J. Christian Attiogbé, Pascal André, Gilles Ardourel
Checking Component Composability. SC@ETAPS (2006)
J. Christian Attiogbé
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. ICFEM (2006)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL (2006)
J. Christian Attiogbé
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. ZB (2005)
J. Christian Attiogbé
Semantic Embedding of Petri Nets into Event-B CoRR (2005)
Gwen Salaün, J. Christian Attiogbé
MIAOw: a Method to Integrate a Process Algebra with Formal Data. Informatica (Slovenia) 28 (2) (2004)
J. Christian Attiogbé
A Mechanically Proved Development Combining B Abstract Systems and Spin. QSIC (2004)
J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS (2003)
J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
Integration of Formal Datatypes within State Diagrams. FASE (2003)
Gwen Salaün, J. Christian Attiogbé
Formalising an Integrated Language in PVS. ICFEM (2003)
Gwen Salaün, Michel Allemand, J. Christian Attiogbé
Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS (2002)
Gwen Salaün, Michel Allemand, J. Christian Attiogbé
Foundations for a Combination of Heterogeneous Specification Components. Electron. Notes Theor. Comput. Sci. 66 (4) (2002)
Gwen Salaün, Michel Allemand, J. Christian Attiogbé
A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. COMPSAC (2002)
J. Christian Attiogbé
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. ICFEM (2002)
Gwen Salaün, Michel Allemand, J. Christian Attiogbé
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. APSEC (2001)
J. Christian Attiogbé, Jean-Louis Durieux
Handling Interaction in Software Specification. VCHCI (1993)