J. Christian Attiogbé

According to our database, J. Christian Attiogbé authored at least 73 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., December, 2023

Correctness of IoT-based systems: From a DSL to a mechanised analysis.

J. Christian Attiogbé, Jérôme Rocheteau

J. Comput. Lang., November, 2023

Preface of the special issue on advances in data-driven engineering.

Sadok Ben Yahia, J. Christian Attiogbé

Int. J. Gen. Syst., April, 2023

Validating and verifying LwM2M clients with event-B.

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé

Int. J. Internet Protoc. Technol., 2023

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

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é

Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022

Architectural Invariants and Correctness of IoT-Based Systems.

J. Christian Attiogbé, Jérôme Rocheteau

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

2021

Advances and Challenges for Model and Data Engineering.

J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout

J. Univers. Comput. Sci., 2021

Modeling and Analysis of the Landing Gear System with the Generalized Contracts.

Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi

CoRR, 2021

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems.

A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

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

Service Promotion in a Federation of Security Domains.

Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté

ARIMA J., 2020

Toward a Correct Implementation of LwM2M Client with Event-B.

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé

Proceedings of the 15th International Conference on Software Technologies, 2020

2019

Federation of Services from Autonomous Domains with Heterogeneous Access Control Models.

Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté

Proceedings of the Information and Cyber Security - 18th International Conference, 2019

Parametric Statistical Model Checking of UAV Flight Plan.

Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

Building Correct SDN-Based Components from a Global Formal Mode.

J. Christian Attiogbé

CoRR, 2018

Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin.

Pascal André, J. Christian Attiogbé, Arnaud Lanoix

CoRR, 2018

Extending OpenAPI 3.0 to Build Web Services from their Specification.

David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the 14th International Conference on Web Information Systems and Technologies, 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

Proceedings of the Model-Driven Engineering and Software Development, 2018

A Model-Driven Method for Fast Building Consistent Web Services in Practice.

David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework.

Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton

Proceedings of the Model-Driven Engineering and Software Development, 2018

Virtual Extension of Meta-models with Facet Tools.

Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Systematic Construction of Critical Embedded Systems Using Event-B.

Pascal André, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the New Trends in Model and Data Engineering, 2018

Alignement des points de vue du système d'information, une approche pragmatique.

Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton

Proceedings of the Actes du XXXVIème Congrès INFORSID, Nantes, France, May 28-31, 2018., 2018

Building Correct SDN Components from a Global Event-B Formal Model.

J. Christian Attiogbé

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

Combining Techniques to Verify Service-based Components.

Pascal André, J. Christian Attiogbé, Jean-Marie Mottu

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Mastering Heterogeneous Behavioural Models.

J. Christian Attiogbé

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the ENASE 2017, 2017

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

Mapping Component Models on Distributed Architectures: Correctness Checking.

J. Christian Attiogbé

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Refinement of UML2.0 Sequence Diagrams for Distributed Systems.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

A Facet-based Model Mapping Method for EA Alignment and Evolution.

Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton

Proceedings of the CAiSE'16 Forum, 2016

2015

Deriving Event-B Models from Mealy Machines: Application to an Auction System.

J. Christian Attiogbé

Proceedings of the Model and Data Engineering - 5th International Conference, 2015

Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the ICSOFT-EA 2015, 2015

A Method for Business-IT Alignment of Legacy Systems.

Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton

Proceedings of the ICEIS 2015, 2015

2014

Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach.

J. Christian Attiogbé

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Partial Test Oracle in Model Transformation Testing.

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbé

Proceedings of the Theory and Practice of Model Transformations, 2013

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

Dynamic Composition of Evolving Process Types

J. Christian Attiogbé

CoRR, 2011

2010

Multilevel Contracts for Trusted Components

Mohamed Messabihi, Pascal André, J. Christian Attiogbé

Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Preuve de cohérence de composants Kmelia à l'aide de la méthode B.

Mohamed Messabihi, Pascal André, J. Christian Attiogbé

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

Using Event-B to Verify the Kmelia Components and Their Assemblies.

Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the Abstract State Machines, 2010

2009

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.

Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Modelling and Analysing Dynamic Decentralised Systems

J. Christian Attiogbé

CoRR, 2009

Can Component/Service-Based Systems Be Proved Correct?.

J. Christian Attiogbé

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Correction d'assemblages de composants impliquant des interfaces paramétrées.

Pascal André, J. Christian Attiogbé, Mohamed Messabihi

Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

2008

Éditorial.

Pascal André, J. Christian Attiogbé

Obj. Logiciel Base données Réseaux, 2008

Composing Components with Shared Services in the KmeliaModel.

Pascal André, Gilles Ardourel, J. Christian Attiogbé

Proceedings of the Software Composition - 7th International Symposium, 2008

Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network.

J. Christian Attiogbé

Proceedings of the Leveraging Applications of Formal Methods, 2008

Mastering Specification Heterogeneity with Multifacet Analysis.

J. Christian Attiogbé

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

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

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.

Pascal André, Gilles Ardourel, J. Christian Attiogbé

Proceedings of the Software Composition - 6th International Symposium, 2007

Protocoles d'utilisation de composants : spécification et analyse en Kmelia.

Pascal André, Gilles Ardourel, J. Christian Attiogbé

Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

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

2006

Adaptation for Hierarchical Components and Services.

Pascal André, Gilles Ardourel, J. Christian Attiogbé

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Checking Component Composability.

J. Christian Attiogbé, Pascal André, Gilles Ardourel

Proceedings of the Software Composition - 5th International Symposium, 2006

Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.

J. Christian Attiogbé

Proceedings of the Formal Methods and Software Engineering, 2006

Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).

J. Christian Attiogbé

Proceedings of the IASTED International Conference on Software Engineering, 2006

Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.

Pascal André, Gilles Ardourel, J. Christian Attiogbé

Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005

Semantic Embedding of Petri Nets into Event-B

J. Christian Attiogbé

CoRR, 2005

A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.

J. Christian Attiogbé

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

MIAOw: a Method to Integrate a Process Algebra with Formal Data.

Gwen Salaün, J. Christian Attiogbé

Informatica (Slovenia), 2004

A Mechanically Proved Development Combining B Abstract Systems and Spin.

J. Christian Attiogbé

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003

Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.

J. Christian Attiogbé, Pascal Poizat, Gwen Salaün

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Formalising an Integrated Language in PVS.

Gwen Salaün, J. Christian Attiogbé

Proceedings of the Formal Methods and Software Engineering, 2003

Integration of Formal Datatypes within State Diagrams.

J. Christian Attiogbé, Pascal Poizat, Gwen Salaün

Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002

Foundations for a Combination of Heterogeneous Specification Components.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Specification of an Access Control System with a Formalism Combining CCS and CASL.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS.

J. Christian Attiogbé

Proceedings of the Formal Methods and Software Engineering, 2002

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1993

Handling Interaction in Software Specification.

J. Christian Attiogbé, Jean-Louis Durieux

Proceedings of the Human Computer Interaction, Vienna Conference, 1993