Mots-clés

Identifiants chercheur

  • IdHAL : christian-attiogbe
Nombre de documents

58

HAL References - Christian Attiogbé - LINA (UMR 6241)


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


Article dans une revue6 documents

  • 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〉

Communication dans un congrès38 documents

  • 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. Volume 1: MODELSWARD, pp.645 - 656, 2017, 〈10.5220/0006212106450656〉. 〈hal-01628303〉
  • 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, Oct 2014, Corfu, Greece. LNCS (8803), pp.573 - 587, 2014, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. 〈http://www.cs.uni-potsdam.de/isola/isola2014/〉. 〈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. 7909, pp.978-3-642-38882-8, 2013, 〈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. 2012. 〈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, 2012. 〈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, 2012. 〈hal-00920300〉
  • 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, 2010. 〈hal-00483755〉
  • P. Andre, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix. Using Event-B to Verify the Kmelia Components and Their Assemblies. Springer. ABZ'2010, Feb 2010, Oreford, Canada. Springer, LNCS 5977, pp.410, 2010, LNCS. 〈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. Cépaduès-Editions, RNTI (L-4), pp.113-126, 2010, Revue des Nouvelles Technologies de L'Information. 〈hal-00487359〉
  • Mohamed Messabihi, Pascal André, Christian Attiogbé. Multi-levels Use of Contracts for Trusted Components. Workshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. 37, pp.71-85, 2010, 〈10.4204/EPTCS.37〉. 〈hal-00488125〉
  • 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. Springer, to appear, 2009, Lecture Notes in Computer Science. 〈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. Cépaduès-Editions, RNTI-L-4 (ISBN 978-2-85428-887-2), pp.34--44, 2009, Revue des Nouvelles Technologies de l'Information. 〈hal-00423658〉
  • 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?. Springer. Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Jan 2009, Spindleruv Mlýn,, Czech Republic. Springer, 5404/2009, pp.3-18, 2009, LNCS. 〈10.1007/978-3-540-95891-8_2〉. 〈hal-00420051〉
  • Christian Attiogbé. Modelling and Analysing Dynamic Decentralised Systems. IEEE Computer Society. International Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, 2009, IEEE Computer Society. 〈10.1109/PRDC.2009.9〉. 〈hal-00420009〉
  • 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. Springer. ISoLA 2008, Oct 2008, Porto-sani, Greece. Springer, 17, pp.769-781, 2008, CCIS (Communications in Computer and Information Science). 〈10.1007/978-3-540-88479-8_55〉. 〈hal-00420017〉
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. Christian Attiogbé et Daniel Kröning. ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25, 2007. 〈hal-00423690〉
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. Isabelle Borne, Xavier Crégut, Sophie Ebersold et Frédéric Migeon. 13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. Hermès - Lavoisier, pp.19-34, 2007. 〈hal-00423643〉
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. Markus Lumpe and Wim Vanderperren. Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. Springer Berlin / Heidelberg, 4829, pp.2-17, 2007, LNCS. 〈10.1007/978-3-540-77351-1〉. 〈hal-00397713〉
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. Mourad Chabane Oussalah, Flavio Oquendo, Dalila Tamzalit etTahar Khammaci. 1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. Hermès - Lavoisier, pp.101--118, 2006, Science. 〈hal-00423665〉
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Composing Components with Shared Services in the Kmelia Model. Cesare Pautasso and Eric Tanter. Software Composition, 7th International Symposium, SC 2008, Mar 2006, Budapest, Hungary. Springer, 4954, pp.125-140, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-78789-1_9〉. 〈hal-00423639〉
  • Christian Attiogbé, Pascal André, Gilles Ardourel. Checking Component Composability. 5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. Springer Berlin / Heidelberg, 4089, pp.18-33, 2006, LNCS. 〈10.1007/11821946〉. 〈hal-00397694〉
  • Christian Attiogbe. Combining B Tools for Multi-Process Systems Specification. E. Badouel, Y. Slimani, M. Assogba. African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42, 2006, inria. 〈hal-00482855〉
  • J. Christian Attiogbe. Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. Springer. ICFEM'2006, Nov 2006, Macao, China. Springer, 4260/2006, pp.660-677, 2006, LNCS. 〈hal-00420015〉
  • Christian Attiogbe. Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).. Acta Press. IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. IASTED, IASTED Conf. on Software Engineering 2006 (ISSN 0-88986-574-4), pp.85-90, 2006. 〈hal-00420050〉
  • 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. Lavoisier, pp.497--506, 2006. 〈hal-00458119〉
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Behavioural Verification of Service Composition. ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. IBM Research Report RC23821, pp.77--84, 2005. 〈hal-00458120〉
  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. Vérification de conformité des interactions entre composants. Collet, Philippe and Lahire, Philippe. LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6, 2005. 〈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. Slovak Society for Computer Science, pp.1--10, 2005. 〈hal-00458165〉
  • J. Christian Attiogbe. A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. Springer. ZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. Springer, Volume 3455/2005 (3455), pp.124-141, 2005, LNCS. 〈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. IEEE, pp.581 -- 587, 2004. 〈hal-00458200〉
  • J. Christian Attiogbe. A Mechanically Proved Development Combining B Abstract Systems and Spin. IEEE Computer Society. Fourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. IEEE Computer Society, pp.42 - 49, 2004, 〈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. SV, 2621, pp.341--355, 2003, LNCS. 〈hal-00458163〉
  • Gwen Salaün, Christian Attiogbé. Formalising an Integrated Language in PVS. 5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. SV, 2885, pp.187--205, 2003, LNCS. 〈hal-00458175〉
  • Christian Attiogbé, Pascal Poizat, Gwen Salaün. Intégration de données formelles dans les diagrammes d'états d'UML. J.-M. Jézéquel. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17, 2003. 〈hal-00458199〉
  • 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. IEEE Computer Society Press, pp.240a, 2003. 〈hal-00458164〉
  • J. Christian Attiogbe. Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. Springer. 4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. Springer, 2495/2002 (2495), pp.120-131, 2002, LNCS. 〈10.1007/3-540-36103-0_15〉. 〈hal-00421160〉

Direction d'ouvrage, Proceedings, Dossier5 documents

  • 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〉
  • 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, 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〉

Autre publication4 documents

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

Pré-publication, Document de travail2 documents

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

Rapport2 documents

  • 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〉

HDR1 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〉