Keywords

Researcher identifiers

Number of documents

77

HAL References - Christian Attiogbé - LS2N (UMR CNRS 6004)


Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).


Journal articles8 documents

  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. Model-Driven Engineering and Software Development, Springer, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, ⟨https://link.springer.com/book/10.1007/978-3-030-11030-7⟩. ⟨hal-02075980⟩
  • Jonathan Pepin, Pascal Andre, Christian Attiogbé, Erwan Breton. An Improved Model Facet Method to Support EA Alignment. Complex Systems Informatics and Modeling Quarterly, 2016, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩. ⟨hal-01686322⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de services. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, Technique et Science Informatiques, 30 (6), pp.627-658. ⟨http://tsi.revuesonline.com/article.jsp?articleId=16554⟩. ⟨10.3166/tsi.30.627-658 ⟩. ⟨hal-01147205⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. ENTCS, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩. ⟨hal-00505336⟩
  • Christian Attiogbe, Pascal Poizat, Gwen Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩. ⟨hal-00470280⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Adaptation for Hierarchical Components and Services. Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 189, pp.5--20. ⟨10.1016/j.entcs.2007.05.045⟩. ⟨hal-00423697⟩
  • Christian Attiogbé. Analyzing the Readers/Writers System Using the B Theorem Prover. GESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98. ⟨hal-00444072⟩
  • Gwen Salaün, Christian Attiogbé. MIAOw: a Method to Integrate a Process Algebra with Formal Data. Informatica, Slovene Society Informatika, Ljubljana, 2004, 28 (2), pp.207--219. ⟨hal-00444078⟩

Conference papers52 documents

  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. 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⟩. ⟨hal-02010874⟩
  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. 17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France. ⟨hal-02009658⟩
  • Pascal Andre, Jonathan Pepin, Christian Attiogbé, Erwan Breton. Virtual Extension of Meta-models with Facet Tools. 6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩. ⟨hal-01911500⟩
  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. MODELSWARD, INSTICC, Jan 2018, Funchal, Portugal. ⟨hal-01654287v3⟩
  • David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix. Extending OpenAPI 3.0 to Build Web Services from their Specification. International Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain. ⟨hal-01868498⟩
  • Pascal Andre, Christian Attiogbé, Arnaud Lanoix. Systematic Construction of Critical Embedded Systems Using Event-B. New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. https://link.springer.com/chapter/10.1007%2F978-3-030-02852-7_18, ⟨10.1007/978-3-030-02852-7_18⟩. ⟨hal-01929259⟩
  • Fatma Dhaou, Inès Mouakher, J. Christian Attiogbe, Khaled Bsaïes. Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. 13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩. ⟨hal-02090259⟩
  • J. Christian Attiogbe. Building Correct SDN Components from a Global Event-B Formal Model. Formal Aspects of Component Software, Oct 2018, Pohang, China. pp.35-53, ⟨10.1007/978-3-030-02146-7_2⟩. ⟨hal-01949913⟩
  • Pascal Andre, Christian Attiogbe, Jean-Marie Mottu. Combining Techniques to Verify Service-based Components. MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩. ⟨hal-01628303⟩
  • Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes. A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩. ⟨hal-01686265⟩
  • Christian Attiogbé. Mastering Heterogeneous Behavioural Models. Model and Data Engineering - 7th International Conference, (MEDI'2017), Oct 2017, Barcelona, Spain. ⟨hal-01686306⟩
  • Christian Attiogbe. Mapping Component Models on Distributed Architectures: Correctness Checking. 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, Oct 2016, Saint-Malo, France. ⟨hal-01686376⟩
  • Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes. Refinement of UML2.0 Sequence Diagrams for Distributed Systems. the 11th International Joint Conference on Software Technologies 2016), Jul 2016, Lisbon, Portugal. ⟨hal-01686331⟩
  • Pascal Andre, Jonathan Pepin, Christian Attiogbé, Erwan Breton. A Method for Business-IT Alignment of Legacy Systems. 17th International Conference on Enterprise Information Systems, Apr 2015, Barcelona, France. ⟨10.5220/0005351502290237⟩. ⟨hal-01911502⟩
  • Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes. Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. 10th International Conference on Software Engineering and Applications, Jul 2015, Colmar, France. ⟨10.5220/0005517703390347⟩. ⟨hal-01686275⟩
  • Christian Attiogbé. Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. 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⟩. ⟨hal-01083188⟩
  • Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbe. Partial Test Oracle in Model Transformation Testing. International Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩. ⟨hal-00823231⟩
  • Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé. Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles. CIEL 2012, 2012, Rennes, France. ⟨hal-00726538⟩
  • Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbe. Filtered Comparison for Oracle in ModelTransformation Testing. ICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590. ⟨hal-00918590⟩
  • Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbe. Poster : Comparaison de modèles filtrée pour le test de transformations de modèles. Journées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5. ⟨hal-00920300⟩
  • P. Andre, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix. Using Event-B to Verify the Kmelia Components and Their Assemblies. ABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩. ⟨hal-00483236⟩
  • Mohamed Messabihi, Pascal André, Christian Attiogbé. Preuve de cohérence de composants Kmelia à l'aide de la méthode B. 4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126. ⟨hal-00487359⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B. FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1. ⟨hal-00483755⟩
  • Mohamed Messabihi, Pascal André, Christian Attiogbé. Multi-levels Use of Contracts for Trusted Components. Workshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩. ⟨hal-00488125⟩
  • Christian Attiogbe. Semantic Embedding of Petri Nets into Event-B. Integration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Mar 2009, Dusseldorf, Germany. ⟨hal-00483237⟩
  • Christian Attiogbe. 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⟩. ⟨hal-00420051⟩
  • Christian Attiogbé. Modelling and Analysing Dynamic Decentralised Systems. International Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩. ⟨hal-00420009⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands. ⟨hal-00423672⟩
  • Pascal André, Christian Attiogbé, Mohamed Messabihi. Correction d'assemblages de composants impliquant des interfaces paramétrées. 3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44. ⟨hal-00423658⟩
  • Christian Attiogbe. Mastering Specification Heterogeneity with Multifacet Analysis. Modeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway. ⟨hal-00482872⟩
  • J. Christian Attiogbe. Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network. ISoLA 2008, Oct 2008, Porto-sani, Greece. pp.769-781, ⟨10.1007/978-3-540-88479-8_55⟩. ⟨hal-00420017⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩. ⟨hal-00397713⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. 13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.19-34. ⟨hal-00423643⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25. ⟨hal-00423690⟩
  • Christian Attiogbe. Combining B Tools for Multi-Process Systems Specification. African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42. ⟨hal-00482855⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Vérification d'assemblage de composants logiciels Expérimentations avec MEC. 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506. ⟨hal-00458119⟩
  • Christian Attiogbe. 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. ⟨hal-00420050⟩
  • J. Christian Attiogbe. Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. ICFEM'2006, Nov 2006, Macao, China. pp.660-677. ⟨hal-00420015⟩
  • Christian Attiogbé, Pascal André, Gilles Ardourel. Checking Component Composability. 5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩. ⟨hal-00397694⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Composing Components with Shared Services in the Kmelia Model. Software Composition, 7th International Symposium, SC 2008, Mar 2006, Budapest, Hungary. pp.125-140, ⟨10.1007/978-3-540-78789-1_9⟩. ⟨hal-00423639⟩
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. 1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118. ⟨hal-00423665⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Behavioural Verification of Service Composition. ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84. ⟨hal-00458120⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. Vérification de conformité des interactions entre composants. LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6. ⟨hal-00458121⟩
  • Christian Attiogbé. Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis. 31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10. ⟨hal-00458165⟩
  • J. Christian Attiogbe. A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. ZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. pp.124-141, ⟨10.1007/b135596⟩. ⟨hal-00421161⟩
  • Christian Attiogbé. Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN. 4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587. ⟨hal-00458200⟩
  • J. Christian Attiogbe. A Mechanically Proved Development Combining B Abstract Systems and Spin. Fourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩. ⟨hal-00421162⟩
  • Christian Attiogbé, Pascal Poizat, Gwen Salaün. Integration of Formal Datatypes within State Diagrams. Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355. ⟨hal-00458163⟩
  • Christian Attiogbé, Pascal Poizat, Gwen Salaün. Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams. 2003, Nice, France, France. pp.240a. ⟨hal-00458164⟩
  • Christian Attiogbé, Pascal Poizat, Gwen Salaün. Intégration de données formelles dans les diagrammes d'états d'UML. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17. ⟨hal-00458199⟩
  • Gwen Salaün, Christian Attiogbé. Formalising an Integrated Language in PVS. 5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205. ⟨hal-00458175⟩
  • J. Christian Attiogbe. Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. 4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩. ⟨hal-00421160⟩

Book sections2 documents

  • Pascal Andre, Jonathan Pepin, Pascal André, Christian Attiogbé, Erwan Breton. Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. Model-Driven Engineering and Software Development - 6th International Conference, 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, pp.106-133, 2019, ⟨10.1007/978-3-030-11030-7_6⟩. ⟨hal-02090263⟩
  • Fatma Dhaou, Inès Mouakher, J. Christian Attiogbe, Khaled Bsaïes. An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems. Evaluation 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⟩. ⟨hal-02091932⟩

Directions of work or proceedings5 documents

  • Pascal André, Christian Attiogbé. Composants, services et aspects Techniques et outils pour la vérification. Hermès - Lavoisier, pp.130, 2008. ⟨hal-00457209⟩
  • Christian Attiogbe, Pascal Andre. L'Objet : Composants, services et aspects. Lavoisier, Hermes, pp.128, 2008. ⟨hal-00482908⟩
  • Christian Attiogbe, Henri Habrias. From Research to Teaching Formal Methods: The B Method - TFM-B'2009. Université de Nantes, pp.134, 2008. ⟨hal-00481604⟩
  • Christian Attiogbe, Henri Habrias. From Research to Teaching Formal Methods: The B Method (TFM-B'2008). Université de Nantes, pp.147, 2008. ⟨hal-00483735⟩
  • Christian Attiogbe, Daniel Kroening. First International Workshop on Property Verification for Software Components and Services. ETH Zurich, pp.72, 2007. ⟨hal-00481603⟩

Other publications4 documents

  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. Vérification de conformité des interactions entre composants. 2005. ⟨hal-00458115⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization. 2005. ⟨hal-00458116⟩
  • Christian Attiogbé. Semantic Embedding of Petri Nets into Event-B. 2005. ⟨hal-00458166⟩
  • Christian Attiogbé. Towards a Generic Analysis and Design Framework: the KEPU Information System (NatIF Project). 2004. ⟨hal-00458168⟩

Preprints, Working Papers, ...2 documents

  • Christian Attiogbé. Combining B Tools for Multi-Process Systems Specification. 2006. ⟨hal-00023152⟩
  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. A Service-Based Component Model: Formalism, Analysis and Mechanization. 2006. ⟨hal-00023153⟩

Reports3 documents

  • Abdramane Bah, Pascal André, Christian Attiogbé, Jacqueline Konaté. Federated Access Control in Service Oriented Architecture. [Research Report] LS2N, Université de Nantes. 2019. ⟨hal-02103825⟩
  • Lynda Ait Oubelli, Jean-Marie Mottu, Christian Attiogbé. Test Cases Evolution of Mobile Applications: Model Driven Approach. [Research Report] Université de Nantes. 2015. ⟨hal-01271467⟩
  • Christian Attiogbé. Dynamic Composition of Evolving Process Types. [Research Report] LINA-University of Nantes. 2011, pp.24. 〈hal-00655017〉

Habilitation à diriger des recherches1 document

  • Christian Attiogbé. Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette. Génie logiciel [cs.SE]. Université de Nantes, 2007. ⟨tel-00481602⟩