|
|
Modeling and Analysis of the Landing Gear System with the Generalized Contracts
A. Abdelkader Khouass
,
J. Christian Attiogbé
,
Mohamed Messabihi
,
Abdelkrim Benamar
First International Conference, ICMSCT 2024,, Noureddine Seddari, Mohammed Redjimi, Nov 2024, Skikda, Algeria. pp.332-347, ⟨10.1007/978-3-032-01922-6_28⟩
Communication dans un congrès
hal-05348332
v1
|
|
|
Architectural Invariants and Correctness of IoT-Based Systems
Christian Attiogbé
,
Jérôme Rocheteau
Communication dans un congrès
hal-04093777
v1
|
|
|
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems
A. Abdelkader Khouass
,
J. Christian Attiogbé
,
Mohamed Messabihi
Communication dans un congrès
hal-04093796
v1
|
|
|
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models
Abdramane Bah
,
Pascal Andre
,
Christian Attiogbé
,
Jacqueline Konaté
Communication dans un congrès
hal-02468264
v1
|
|
|
Model checking paramétrique statistique du plan de vol de drone civil
Ran Bao
,
Christian Attiogbe
,
Paulin Fournier
,
Didier Lime
MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Communication dans un congrès
hal-02432687
v1
|
|
|
A Model-Driven Method for Fast Building Consistent Web Services in Practice
David Sferruzza
,
Jérôme Rocheteau
,
Christian Attiogbé
,
Arnaud Lanoix
17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France. ⟨10.5220/0006531900150024⟩
Communication dans un congrès
hal-02009658
v1
|
|
|
Building Correct SDN Components from a Global Event-B Formal Model
Christian Attiogbé
Communication dans un congrès
hal-01949913
v1
|
|
|
Systematic Construction of Critical Embedded Systems Using Event-B
Pascal Andre
,
Christian Attiogbé
,
Arnaud Lanoix
New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩
Communication dans un congrès
hal-01929259
v1
|
|
|
Alignement des points de vue du système d'information Une approche pragmatique
Jonathan Pepin
,
Pascal Andre
,
Christian Attiogbé
,
Erwann Breton
Actes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Communication dans un congrès
hal-02468406
v1
|
|
|
A Model-Driven Method for Fast Building Consistent Web Services in Practice
David Sferruzza
,
Jérôme Rocheteau
,
Christian Attiogbe
,
Arnaud Lanoix
Communication dans un congrès
hal-01654287
v3
|
|
|
Virtual Extension of Meta-models with Facet Tools
Pascal Andre
,
Jonathan Pepin
,
Christian Attiogbé
,
Erwan Breton
6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
Communication dans un congrès
hal-01911500
v1
|
|
|
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
Fatma Dhaou
,
Inès Mouakher
,
J. Christian Attiogbe
,
Khaled Bsaïes
13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩
Communication dans un congrès
hal-02090259
v1
|
|
|
Extending OpenAPI 3.0 to Build Web Services from their Specification
David Sferruzza
,
Jérôme Rocheteau
,
Christian Attiogbé
,
Arnaud Lanoix
International Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain. ⟨10.5220/0006923604120419⟩
Communication dans un congrès
hal-01868498
v1
|
|
|
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models
David Sferruzza
,
Jérôme Rocheteau
,
Christian Attiogbe
,
Arnaud Lanoix
Model-Driven Engineering and Software Development - 6th International Conference, (MODELSWARD) 2018 - revised selected papers, Jan 2018, Funchal, Portugal. pp.9-33, ⟨10.1007/978-3-030-11030-7_2⟩
Communication dans un congrès
hal-02010874
v1
|
|
|
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
Fatma Dhaou
,
Inès Mouakher
,
Christian Attiogbé
,
Khaled Bsaïes
12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩
Communication dans un congrès
hal-01686265
v1
|
|
|
Mastering Heterogeneous Behavioural Models
Christian Attiogbé
Communication dans un congrès
hal-01686306
v1
|
|
|
Combining Techniques to Verify Service-based Components
Pascal Andre
,
Christian Attiogbe
,
Jean-Marie Mottu
MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩
Communication dans un congrès
hal-01628303
v1
|
|
|
Refinement of UML2.0 Sequence Diagrams for Distributed Systems
Fatma Dhaou
,
Inès Mouakher
,
Christian Attiogbé
,
Khaled Bsaïes
the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), Jul 2016, Lisbon, Portugal
Communication dans un congrès
hal-01686331
v1
|
|
|
Mapping Component Models on Distributed Architectures: Correctness Checking
Christian Attiogbe
13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, Oct 2016, Saint-Malo, France
Communication dans un congrès
hal-01686376
v1
|
|
|
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
Fatma Dhaou
,
Inès Mouakher
,
Christian Attiogbé
,
Khaled Bsaïes
Communication dans un congrès
hal-01686275
v1
|
|
|
Deriving Event-B Models from Mealy Machines: Application to an Auction System
Christian Attiogbé
Communication dans un congrès
hal-02500377
v1
|
|
|
A Method for Business-IT Alignment of Legacy Systems
Pascal Andre
,
Jonathan Pepin
,
Christian Attiogbé
,
Erwan Breton
Communication dans un congrès
hal-01911502
v1
|
|
|
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach
Christian Attiogbé
ISoLA'2014 - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, B. Steffen & T. Margaria, Oct 2014, Corfu, Greece. pp.573 - 587, ⟨10.1007/978-3-662-45231-8_48⟩
Communication dans un congrès
hal-01083188
v1
|
|
|
Partial Test Oracle in Model Transformation Testing
Olivier Finot
,
Jean-Marie Mottu
,
Gerson Sunyé
,
J. Christian Attiogbe
International Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩
Communication dans un congrès
hal-00823231
v1
|
|
|
Filtered Comparison for Oracle in ModelTransformation Testing
Olivier Finot
,
Jean-Marie Mottu
,
Gerson Sunyé
,
J. Christian Attiogbe
ICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590
Communication dans un congrès
hal-00918590
v1
|
|
|
Poster : Comparaison de modèles filtrée pour le test de transformations de modèles
Olivier Finot
,
Jean-Marie Mottu
,
Gerson Sunyé
,
J. Christian Attiogbe
Journées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5
Communication dans un congrès
hal-00920300
v1
|
|
|
Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles
Olivier Finot
,
Jean-Marie Mottu
,
Gerson Sunyé
,
Christian Attiogbé
CIEL 2012, 2012, Rennes, France
Communication dans un congrès
hal-00726538
v1
|
|
|
Using Event-B to Verify the Kmelia Components and Their Assemblies
P. Andre
,
Gilles Ardourel
,
Christian Attiogbe
,
Arnaud Lanoix
Communication dans un congrès
hal-00483236
v1
|
|
|
Multi-levels Use of Contracts for Trusted Components
Mohamed Messabihi
,
Pascal André
,
Christian Attiogbé
Workshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩
Communication dans un congrès
hal-00488125
v1
|
|
|
Preuve de cohérence de composants Kmelia à l'aide de la méthode B
Mohamed Messabihi
,
Pascal André
,
Christian Attiogbé
4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126
Communication dans un congrès
hal-00487359
v1
|
|
|
Contract-based Verification of Kmelia Component Assemblies using Event-B
Pascal André
,
Gilles Ardourel
,
Christian Attiogbe
,
Arnaud Lanoix
FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Communication dans un congrès
hal-00483755
v1
|
|
|
Modelling and Analysing Dynamic Decentralised Systems
Christian Attiogbé
International Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩
Communication dans un congrès
hal-00420009
v1
|
|
|
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Pascal Andre
,
Gilles Ardourel
,
Christian Attiogbé
,
Arnaud Lanoix
6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Communication dans un congrès
hal-00423672
v1
|
|
|
Can Component/Service-Based Systems Be Proved Correct?
Christian Attiogbe
Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Jan 2009, Spindleruv Mlýn,, Czech Republic. pp.3-18, ⟨10.1007/978-3-540-95891-8_2⟩
Communication dans un congrès
hal-00420051
v1
|
|
|
Correction d'assemblages de composants impliquant des interfaces paramétrées
Pascal André
,
Christian Attiogbé
,
Mohamed Messabihi
3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Communication dans un congrès
hal-00423658
v1
|
|
|
Semantic Embedding of Petri Nets into Event-B
Christian Attiogbe
Integration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Mar 2009, Dusseldorf, Germany
Communication dans un congrès
hal-00483237
v1
|
|
|
Mastering Specification Heterogeneity with Multifacet Analysis
Christian Attiogbe
Modeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway
Communication dans un congrès
hal-00482872
v1
|
|
|
Composing Components with Shared Services in the Kmelia Model
Pascal Andre
,
Gilles Ardourel
,
Christian Attiogbé
Communication dans un congrès
hal-00423639
v1
|
|
|
Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network
J. Christian Attiogbe
Communication dans un congrès
hal-00420017
v1
|
|
|
A Formal Analysis Toolbox for the Kmelia Component Model
Pascal Andre
,
Gilles Ardourel
,
Christian Attiogbé
ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
Communication dans un congrès
hal-00423690
v1
|
|
|
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
Pascal Andre
,
Gilles Ardourel
,
Christian Attiogbé
Communication dans un congrès
hal-00397713
v1
|
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia
Pascal André
,
Gilles Ardourel
,
Christian Attiogbé
13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.19-34
Communication dans un congrès
hal-00423643
v1
|
|
|
Vérification d'assemblage de composants logiciels Expérimentations avec MEC
Pascal André
,
Gilles Ardourel
,
Christian Attiogbé
6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506
Communication dans un congrès
hal-00458119
v1
|
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia
Pascal Andre
,
Gilles Ardourel
,
Christian Attiogbé
1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Communication dans un congrès
hal-00423665
v1
|
|
|
Combining B Tools for Multi-Process Systems Specification
Christian Attiogbe
African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
Communication dans un congrès
hal-00482855
v1
|
|
|
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).
Christian Attiogbe
IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
Communication dans un congrès
hal-00420050
v1
|
|
|
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems
J. Christian Attiogbe
ICFEM'2006, Nov 2006, Macao, China. pp.660-677
Communication dans un congrès
hal-00420015
v1
|
|
|
Checking Component Composability
Christian Attiogbé
,
Pascal André
,
Gilles Ardourel
5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩
Communication dans un congrès
hal-00397694
v1
|
|
|
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems
J. Christian Attiogbe
ZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. pp.124-141, ⟨10.1007/b135596⟩
Communication dans un congrès
hal-00421161
v1
|
|
|
Behavioural Verification of Service Composition
Pascal André
,
Gilles Ardourel
,
Christian Attiogbé
ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Communication dans un congrès
hal-00458120
v1
|
|
|
Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis
Christian Attiogbé
31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10
Communication dans un congrès
hal-00458165
v1
|
|
|
Vérification de conformité des interactions entre composants
Pascal André
,
Gilles Ardourel
,
Christian Attiogbé
,
Henri Habrias
,
Cédric Stoquer
LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Communication dans un congrès
hal-00458121
v1
|
|
|
A Mechanically Proved Development Combining B Abstract Systems and Spin
J. Christian Attiogbe
Fourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩
Communication dans un congrès
hal-00421162
v1
|
|
|
Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN
Christian Attiogbé
4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587
Communication dans un congrès
hal-00458200
v1
|
|
|
Integration of Formal Datatypes within State Diagrams
Christian Attiogbé
,
Pascal Poizat
,
Gwen Salaün
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
Communication dans un congrès
hal-00458163
v1
|
|
|
Intégration de données formelles dans les diagrammes d'états d'UML
Christian Attiogbé
,
Pascal Poizat
,
Gwen Salaün
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17
Communication dans un congrès
hal-00458199
v1
|
|
|
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams
Christian Attiogbé
,
Pascal Poizat
,
Gwen Salaün
{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
Communication dans un congrès
hal-00458164
v1
|
|
|
Formalising an Integrated Language in PVS
Gwen Salaün
,
Christian Attiogbé
5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205
Communication dans un congrès
hal-00458175
v1
|
|
|
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS
J. Christian Attiogbe
4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩
Communication dans un congrès
istex
hal-00421160
v1
|