Christian Attiogbé
- Vérification pour l'Environnement et le LOgiciel (LS2N - équipe VELO)
- Laboratoire des Sciences du Numérique de Nantes (LS2N)
- Nantes Université (Nantes Univ)
Présentation
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Domaines de recherche
Compétences
Publications
Publications
|
|
Navigating the trace of executable domain specific languages through a trace domain query language.The Journal of Object Technology, 2025, The 21st European Conference on Modelling Foundations and Applications (ECMFA 2025), 24 (2), pp.1-15. ⟨10.5381/jot.2025.24.2.a8⟩ |
|
|
Modeling and analysis of heterogeneous systems with generalized contractsInternational Journal of Computers and Applications, 2025, 47 (8), pp.681-701. ⟨10.1080/1206212X.2025.2522771⟩ |
|
|
Correctness of IoT-based systems: From a DSL to a mechanised analysisJournal of Computer Languages, 2023, 77, pp.101239. ⟨10.1016/j.cola.2023.101239⟩ |
|
|
Service Promotion in a Federation of Security DomainsRevue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2021, Volume 34 - 2020 - Special Issue CARI 2020, ⟨10.46298/arima.6757⟩ |
|
|
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible ModelsModel-Driven Engineering and Software Development, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, ⟨10.1007/978-3-030-11030-7_2⟩ |
|
|
A tool-assisted method for the systematic construction of critical embedded systems using Event-BComputer Science and Information Systems, 2019, 17 (1), pp.315-338. ⟨10.2298/CSIS190501042A⟩ |
|
|
An Improved Model Facet Method to Support EA AlignmentComplex Systems Informatics and Modeling Quarterly, 2016, 9, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩ |
|
|
Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de servicesRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, Technique et Science Informatiques, 30 (6), pp.627-658. ⟨10.3166/tsi.30.627-658⟩ |
|
|
Using Assertions to Enhance the Correctness of Kmelia Components and their AssembliesElectronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩ |
|
|
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal DatatypesIEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩ |
|
|
Adaptation for Hierarchical Components and ServicesElectronic Notes in Theoretical Computer Science, 2007, 189, pp.5--20. ⟨10.1016/j.entcs.2007.05.045⟩ |
Analyzing the Readers/Writers System Using the B Theorem ProverGESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98 |
|
MIAOw: a Method to Integrate a Process Algebra with Formal DataInformatica, 2004, 28 (2), pp.207--219 |
|
|
Modeling and Analysis of the Landing Gear System with the Generalized ContractsFirst International Conference, ICMSCT 2024,, Noureddine Seddari, Mohammed Redjimi, Nov 2024, Skikda, Algeria. pp.332-347, ⟨10.1007/978-3-032-01922-6_28⟩ |
|
|
Architectural Invariants and Correctness of IoT-Based SystemsModel and Data Engineering (MEDI'2022), Nov 2022, Cairo, Egypt. pp.75-88, ⟨10.1007/978-3-031-23119-3_6⟩ |
|
|
Multi-facets Contract for Modeling and Verifying Heterogeneous SystemsModel and Data Engineering (MEDI'2021), Jun 2021, Tallinn, Estonia. pp.41-49, ⟨10.1007/978-3-030-78428-7_4⟩ |
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models18th International Information Security for South Africa Conference, Aug 2019, Johanesbourg, South Africa. ⟨10.1007/978-3-030-43276-8_7⟩ |
|
|
|
Model checking paramétrique statistique du plan de vol de drone civilMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France |
|
|
Virtual Extension of Meta-models with Facet Tools6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩ |
|
|
A Model-Driven Method for Fast Building Consistent Web Services in PracticeMODELSWARD, INSTICC, Jan 2018, Funchal, Portugal. ⟨10.5220/0006531900150024⟩ |
|
|
Alignement des points de vue du système d'information Une approche pragmatiqueActes du XXXVIème Congrès INFORSID, May 2018, Nantes, France |
|
|
Systematic Construction of Critical Embedded Systems Using Event-BNew 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⟩ |
|
|
Building Correct SDN Components from a Global Event-B Formal ModelFormal Aspects of Component Software, Oct 2018, Pohang, South Korea. pp.35-53, ⟨10.1007/978-3-030-02146-7_2⟩ |
|
|
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩ |
|
|
Extending OpenAPI 3.0 to Build Web Services from their SpecificationInternational Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain. ⟨10.5220/0006923604120419⟩ |
|
|
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible ModelsModel-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⟩ |
Mastering Heterogeneous Behavioural ModelsModel and Data Engineering - 7th International Conference, (MEDI'2017), Oct 2017, Barcelona, Spain. ⟨10.1007/978-3-319-66854-3_22⟩ |
|
|
|
Combining Techniques to Verify Service-based ComponentsMODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩ |
|
|
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩ |
|
|
Refinement of UML2.0 Sequence Diagrams for Distributed Systemsthe 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), Jul 2016, Lisbon, Portugal |
Mapping Component Models on Distributed Architectures: Correctness Checking13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, Oct 2016, Saint-Malo, France |
|
|
|
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems10th International Conference on Software Engineering and Applications, Jul 2015, Colmar, France. ⟨10.5220/0005517703390347⟩ |
Deriving Event-B Models from Mealy Machines: Application to an Auction SystemModel and Data Engineering - 5th International Conference, (MEDI'2015), Sep 2015, Rhodes, Greece. pp.77-88, ⟨10.1007/978-3-319-23781-7_7⟩ |
|
|
|
A Method for Business-IT Alignment of Legacy Systems17th International Conference on Enterprise Information Systems, Apr 2015, Barcelona, France. ⟨10.5220/0005351502290237⟩ |
|
|
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based ApproachISoLA'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⟩ |
|
|
Partial Test Oracle in Model Transformation TestingInternational Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩ |
Poster : Comparaison de modèles filtrée pour le test de transformations de modèlesJournées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5 |
|
Comparaison de Modèles Filtrée pour le Test de Transformations de ModèlesCIEL 2012, 2012, Rennes, France |
|
|
|
Filtered Comparison for Oracle in ModelTransformation TestingICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590 |
|
|
Using Event-B to Verify the Kmelia Components and Their AssembliesABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩ |
|
|
Multi-levels Use of Contracts for Trusted ComponentsWorkshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩ |
Contract-based Verification of Kmelia Component Assemblies using Event-BFESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1 |
|
Preuve de cohérence de composants Kmelia à l'aide de la méthode B4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126 |
|
|
|
Correction d'assemblages de composants impliquant des interfaces paramétrées3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44 |
|
|
Can Component/Service-Based Systems Be Proved Correct?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⟩ |
|
|
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands |
Semantic Embedding of Petri Nets into Event-BIntegration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Mar 2009, Dusseldorf, Germany |
|
|
|
Modelling and Analysing Dynamic Decentralised SystemsInternational Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩ |
|
|
Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc NetworkISoLA 2008, Oct 2008, Porto-sani, Greece. pp.769-781, ⟨10.1007/978-3-540-88479-8_55⟩ |
|
|
Composing Components with Shared Services in the Kmelia ModelSoftware Composition, 7th International Symposium, SC 2008, Mar 2006, Budapest, Hungary. pp.125-140, ⟨10.1007/978-3-540-78789-1_9⟩ |
|
|
Mastering Specification Heterogeneity with Multifacet AnalysisModeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway |
|
|
Defining Component Protocols with Service Composition: Illustration with the Kmelia ModelSoftware Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩ |
|
|
A Formal Analysis Toolbox for the Kmelia Component ModelProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25 |
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.19-34 |
|
|
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90 |
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118 |
Combining B Tools for Multi-Process Systems SpecificationAfrican Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42 |
|
Vérification d'assemblage de composants logiciels Expérimentations avec MEC6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506 |
|
Multi-process Systems Analysis Using Event B: Application to Group Communication SystemsICFEM'2006, Nov 2006, Macao, China. pp.660-677 |
|
|
|
Checking Component Composability5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩ |
Vérification de conformité des interactions entre composantsLMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6 |
|
Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10 |
|
Behavioural Verification of Service CompositionICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84 |
|
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract SystemsZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. pp.124-141, ⟨10.1007/b135596⟩ |
|
Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587 |
|
A Mechanically Proved Development Combining B Abstract Systems and SpinFourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩ |
|
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a |
|
Integration of Formal Datatypes within State DiagramsFundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355 |
|
Intégration de données formelles dans les diagrammes d'états d'UMLApproches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17 |
|
Formalising an Integrated Language in PVS5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205 |
|
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩ |
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008 |
|
Composants, services et aspects Techniques et outils pour la vérificationHermès - Lavoisier, pp.130, 2008 |
|
L'Objet : Composants, services et aspectsLavoisier, Hermes, pp.128, 2008 |
|
First International Workshop on Property Verification for Software Components and ServicesETH Zurich, pp.72, 2007 |
Definition and Visualization of Virtual Meta-model Extensions with a Facet FrameworkModel-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, 991, Springer, pp.106-133, 2019, Communications in Computer and Information Science book series (CCIS, volume 991), ⟨10.1007/978-3-030-11030-7_6⟩ |
|
|
|
An Operational Semantics of UML2.X Sequence Diagrams for Distributed SystemsEvaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩ |
A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization2005 |
|
Semantic Embedding of Petri Nets into Event-B2005 |
|
Vérification de conformité des interactions entre composants2005 |
|
Towards a Generic Analysis and Design Framework: the KEPU Information System (NatIF Project)2004 |
|
|
A Service-Based Component Model: Formalism, Analysis and Mechanization2006 |
|
|
Combining B Tools for Multi-Process Systems Specification2006 |
|
|
Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022LS2N-Nantes Université; LMF-Univesité Paris Saclay. 2022 |
|
|
Federated Access Control in Service Oriented Architecture[Research Report] LS2N, Université de Nantes. 2019 |
|
|
Test Cases Evolution of Mobile Applications[Research Report] Université de Nantes. 2015 |
|
|
Dynamic Composition of Evolving Process Types[Research Report] LINA-University of Nantes. 2011, pp.24 |
|
|
Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacetteGénie logiciel [cs.SE]. Université de Nantes, 2007 |
|
|
Advances and Challenges for Model and Data Engineering9th International Conference on Model and Data Engineering (MEDI 2019), Oct 2019, Toulouse, France. Journal of Universal Computer Science, 27 (7), pp.646-649, 2021, ⟨10.3897/jucs.70972⟩ |
|
|
Model and Data Engineering12732, Springer International Publishing, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-78428-7⟩ |
|
|
New Trends in Model and Data Engineering (MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT)Communications in Computer and Information Science, 1085, Springer International Publishing, 2019, Communications in Computer and Information Science, 978-3-030-32212-0. ⟨10.1007/978-3-030-32213-7⟩ |
|
|
From Research to Teaching Formal Methods: The B Method - TFM-B'2009Journées Scientifiques de l'Université de Nantes, Université de Nantes, pp.134, 2009, 2-9512461-0-2 |
|
|
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)The B Method: from Research to Teaching, Jun 2008, Nantes (France), France. Université de Nantes, pp.163, 2008, 978-2-9512461-2-9 |