J. Christian Attiogbé

81 papers A 5B 5C 16Journal 24Unranked 29

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