![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
J. Christian Attiogbé
Person information
- affiliation: University of Nantes, LS2N, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j13]Sadok Ben Yahia
, J. Christian Attiogbé:
Preface of the special issue on advances in data-driven engineering. Int. J. Gen. Syst. 52(3): 203-205 (2023) - [j12]Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé:
Validating and verifying LwM2M clients with event-B. Int. J. Internet Protoc. Technol. 16(2): 75-91 (2023) - [j11]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): 1945-1947 (2023) - [j10]J. Christian Attiogbé
, Jérôme Rocheteau:
Correctness of IoT-based systems: From a DSL to a mechanised analysis. J. Comput. Lang. 77: 101239 (2023) - 2022
- [j9]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): 4-28 (2022) - [c53]J. Christian Attiogbé
, Jérôme Rocheteau:
Architectural Invariants and Correctness of IoT-Based Systems. MEDI Workshops 2022: 75-88 - [c52]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 - 2021
- [j8]J. Christian Attiogbé
, Flavio Ferrarotti
, Sofian Maabout:
Advances and Challenges for Model and Data Engineering. J. Univers. Comput. Sci. 27(7): 646-649 (2021) - [c51]A. Abdelkader Khouass
, J. Christian Attiogbé
, Mohamed Messabihi:
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. MEDI 2021: 41-49 - [e2]J. Christian Attiogbé
, Sadok Ben Yahia
:
Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings. Lecture Notes in Computer Science 12732, Springer 2021, ISBN 978-3-030-78427-0 [contents] - [i11]Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi:
Modeling and Analysis of the Landing Gear System with the Generalized Contracts. CoRR abs/2111.10426 (2021) - 2020
- [j7]Abdramane Bah, Pascal André
, J. Christian Attiogbé
, Jacqueline Konaté:
Service Promotion in a Federation of Security Domains. ARIMA J. 34: 5 (2020) - [j6]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): 315-338 (2020) - [c50]Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé:
Toward a Correct Implementation of LwM2M Client with Event-B. ICSOFT 2020: 172-179 - [i10]Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi:
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems. CoRR abs/2012.13671 (2020)
2010 – 2019
- 2019
- [c49]Ran Bao, J. Christian Attiogbé
, Benoît Delahaye
, Paulin Fournier, Didier Lime
:
Parametric Statistical Model Checking of UAV Flight Plan. FORTE 2019: 57-74 - [c48]Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté:
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. ISSA 2019: 83-98 - [e1]J. Christian Attiogbé
, Flavio Ferrarotti, Sofian Maabout:
New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings. Communications in Computer and Information Science 1085, Springer 2019, ISBN 978-3-030-32212-0 [contents] - [i9]J. Christian Attiogbé, Jérôme Rocheteau:
Architectural Invariants and Correctness of IoT-based Systems. CoRR abs/1912.08912 (2019) - 2018
- [c47]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: 275-282 - [c46]J. Christian Attiogbé
:
Building Correct SDN Components from a Global Event-B Formal Model. FACS 2018: 35-53 - [c45]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
Alignement des points de vue du système d'information, une approche pragmatique. INFORSID 2018: 125-140 - [c44]Pascal André, J. Christian Attiogbé
, Arnaud Lanoix:
Systematic Construction of Critical Embedded Systems Using Event-B. MEDI Workshops 2018: 200-216 - [c43]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: 9-33 - [c42]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: 15-24 - [c41]Jonathan Pepin, Pascal André, J. Christian Attiogbé
, Erwan Breton:
Virtual Extension of Meta-models with Facet Tools. MODELSWARD 2018: 59-70 - [c40]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: 106-133 - [c39]David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix:
Extending OpenAPI 3.0 to Build Web Services from their Specification. WEBIST 2018: 412-419 - [i8]Pascal André, J. Christian Attiogbé, Arnaud Lanoix:
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. CoRR abs/1803.05647 (2018) - [i7]J. Christian Attiogbé:
Building Correct SDN-Based Components from a Global Formal Mode. CoRR abs/1806.09476 (2018) - 2017
- [c38]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: 47-56 - [c37]J. Christian Attiogbé:
Mastering Heterogeneous Behavioural Models. MEDI 2017: 291-299 - [c36]Pascal André, J. Christian Attiogbé, Jean-Marie Mottu:
Combining Techniques to Verify Service-based Components. MODELSWARD 2017: 645-656 - [i6]J. Christian Attiogbé:
Mastering Heterogeneous Behavioural Models. CoRR abs/1707.06858 (2017) - 2016
- [j5]Jonathan Pepin, Pascal André, J. Christian Attiogbé
, Erwan Breton:
An Improved Model Facet Method to Support EA Alignment. Complex Syst. Informatics Model. Q. 9: 1-27 (2016) - [c35]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
A Facet-based Model Mapping Method for EA Alignment and Evolution. CAiSE Forum 2016: 153-160 - [c34]Fatma Dhaou, Inès Mouakher
, J. Christian Attiogbé, Khaled Bsaïes:
Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ICSOFT-EA 2016: 310-318 - [c33]J. Christian Attiogbé:
Mapping Component Models on Distributed Architectures: Correctness Checking. MoDeVVa@MoDELS 2016: 1-9 - 2015
- [c32]Jonathan Pepin, Pascal André, J. Christian Attiogbé
, Erwan Breton:
A Method for Business-IT Alignment of Legacy Systems. ICEIS (3) 2015: 229-237 - [c31]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: 339-347 - [c30]J. Christian Attiogbé
:
Deriving Event-B Models from Mealy Machines: Application to an Auction System. MEDI 2015: 77-88 - 2014
- [c29]J. Christian Attiogbé
:
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. ISoLA (2) 2014: 573-587 - 2013
- [c28]Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbé:
Partial Test Oracle in Model Transformation Testing. ICMT 2013: 189-204 - 2011
- [j4]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): 627-658 (2011) - [i5]J. Christian Attiogbé
:
Dynamic Composition of Evolving Process Types. CoRR abs/1112.5774 (2011) - 2010
- [c27]Pascal André, Gilles Ardourel, J. Christian Attiogbé
, Arnaud Lanoix:
Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM 2010: 410 - [c26]Mohamed Messabihi, Pascal André, J. Christian Attiogbé:
Preuve de cohérence de composants Kmelia à l'aide de la méthode B. CAL 2010: 105-117 - [c25]Mohamed Messabihi, Pascal André, J. Christian Attiogbé:
Multilevel Contracts for Trusted Components. WCSI 2010: 71-85
2000 – 2009
- 2009
- [c24]Pascal André, J. Christian Attiogbé, Mohamed Messabihi:
Correction d'assemblages de composants impliquant des interfaces paramétrées. CAL 2009: 33-46 - [c23]J. Christian Attiogbé
:
Can Component/Service-Based Systems Be Proved Correct?. SOFSEM 2009: 3-18 - [c22]Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix:
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. FACS@FMWeek 2009: 5-30 - [i4]J. Christian Attiogbé
:
Modelling and Analysing Dynamic Decentralised Systems. CoRR abs/0909.4896 (2009) - [i3]J. Christian Attiogbé
:
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). CoRR abs/0910.1690 (2009) - [i2]J. Christian Attiogbé
:
Can Component/Service-Based Systems Be Proved Correct? CoRR abs/0910.1901 (2009) - 2008
- [j3]Pascal André, J. Christian Attiogbé:
Éditorial. Obj. Logiciel Base données Réseaux 14(4): 7-10 (2008) - [c21]J. Christian Attiogbé:
Mastering Specification Heterogeneity with Multifacet Analysis. ICST Workshops 2008: 121-130 - [c20]J. Christian Attiogbé
:
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. ISoLA 2008: 769-781 - [c19]Pascal André, Gilles Ardourel, J. Christian Attiogbé
:
Composing Components with Shared Services in the KmeliaModel. SC@ETAPS 2008: 125-140 - 2007
- [b1]J. Christian Attiogbé:
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). University of Nantes, France, 2007 - [j2]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): 157-170 (2007) - [c18]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO 2007: 19-34 - [c17]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. SC@ETAPS 2007: 2-17 - 2006
- [c16]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL 2006: 101-118 - [c15]J. Christian Attiogbé:
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). IASTED Conf. on Software Engineering 2006: 85-90 - [c14]J. Christian Attiogbé:
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. ICFEM 2006: 660-677 - [c13]J. Christian Attiogbé, Pascal André, Gilles Ardourel:
Checking Component Composability. SC@ETAPS 2006: 18-33 - [c12]Pascal André, Gilles Ardourel, J. Christian Attiogbé
:
Adaptation for Hierarchical Components and Services. WCAT@ECOOP 2006: 5-20 - 2005
- [c11]J. Christian Attiogbé:
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. ZB 2005: 124-141 - [i1]J. Christian Attiogbé:
Semantic Embedding of Petri Nets into Event-B. CoRR abs/cs/0510073 (2005) - 2004
- [j1]Gwen Salaün, J. Christian Attiogbé:
MIAOw: a Method to Integrate a Process Algebra with Formal Data. Informatica (Slovenia) 28(2): 207-219 (2004) - [c10]J. Christian Attiogbé
:
A Mechanically Proved Development Combining B Abstract Systems and Spin. QSIC 2004: 42-49 - 2003
- [c9]J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355 - [c8]Gwen Salaün, J. Christian Attiogbé:
Formalising an Integrated Language in PVS. ICFEM 2003: 187-205 - [c7]J. Christian Attiogbé, Pascal Poizat
, Gwen Salaün:
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS 2003: 240 - 2002
- [c6]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: 385-392 - [c5]J. Christian Attiogbé
:
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. ICFEM 2002: 120-131 - [c4]Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002 - [c3]Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
Foundations for a Combination of Heterogeneous Specification Components. Formal Methods and Component Interaction @ ICALP 2002: 114-133 - 2001
- [c2]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: 299-
1990 – 1999
- 1993
- [c1]J. Christian Attiogbé, Jean-Louis Durieux:
Handling Interaction in Software Specification. VCHCI 1993: 155-171
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint