J. C. Attiogbé, LS2N (AeLoS Team)
Architectures et logiciels sûrs (Reliable Architectures and Software)

Main publications 

Please, refer also to my DBLP page or CSB or SpringerLink
or HAL(Inria) for online documents
or GoogleScholar
Journal /  Conference / Workshop / Research Report

Sorry, the following list may be out of date

Journals (international, national)

  • A Tool-assisted Method for the Systematic Construction of Critical  Embedded Systems using Event-B,
    in Computer Science and Information Systems.Science and Information Systems, 17(1):315–338, 2020
    http://www.comsis.org/archive.php?show=pprmedi-9450
    P. André, C. Attiogbé, A. Lanoix
    [pdf file]

  • An Improved Model Facet Method to Support EA Alignment
    , , ,
    [pdf file]

  • Kmelia : un modèle abstrait et formel pour la description et la composition de composants et de services RSTI – TSI – Objets, composants et services Vol. 30 Num. 6, 2011, Hermès Lavoisier (copyright Hermès L, .pdf)
    Pascal André, Gilles Ardourel, Christian Attiogbé
  • Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies in ENTCS, Vol.263, 2010 (special Issue after FACS'09)
    Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix
  • Adaptation for Hierarchical Components and Services,
    in ENTCS, 2007, Volume 189 (Proc. of WCAT 2006), pp:5-20,
    Pascal André, Gilles Ardourel and Christian Attiogbé

  • A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes,
    in IEEE Transactions on Software Engineering , 2007    , March 2007, Volume: 33 (3), pp: 157-170
    Christian Attiogbé, Pascal Poizat and Gwen Salaün
  • MIAOw: a Method to Integrate a Process Algebra with Formal Data, 
    Informatica Journal, 2004
    G. Salaun, C. Attiogbé

Talks (invited)

International Conference (articles which appear in proceedings of int. conf., refereed)

  • Please, see my DBLP for the updates

  • Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. MEDI : 41-49
    A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi,
    [pdf file]

  • Toward a Correct Implementation of LwM2M Client with Event-B. ICSOFT : 172-179
     Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
    [pdf file]

  • Parametric Statistical Model Checking of UAV Flight Plan. FORTE : 57-74
    Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime:
    [pdf file]

  • Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. ISSA : 83-98
     Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté:
    [pdf file]

  • Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. ENASE : 275-282
     Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes:
    [pdf file]
  • Building Correct SDN Components from a Global Event-B Formal Model. FACS : 35-53
     J. Christian Attiogbé
    [pdf file]

  • Systematic Construction of Critical Embedded Systems Using Event-B. MEDI Workshops : 200-216
     Pascal André, J. Christian Attiogbé, Arnaud Lanoix:
    [pdf file]

  • A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. MODELSWARD (Revised Selected Papers) : 9-33
     David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix:
    [pdf file]

  • Virtual Extension of Meta-models with Facet Tools. MODELSWARD : 59-70
     Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
    [pdf file]

  • A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. ENASE : 47-56
    , , ,
    [pdf file]

  • Mastering Heterogeneous Behavioural Models. MEDI : 291-299
    J. Christian Attiogbé
    [pdf file]

  • Multilevel Contracts for Trusted Components
    M. Messabihi, P. André, C. Attiogbé
    Int. Workshop on Component and Service Interoperability (WCSI'2010), EPTCS 37, Springer

  • Modelling and Analysing Dynamic Decentralised Systems (.pdf file)
    C. Attiogbé
    Pacific Rim Int. Symposium on Dependable computing (PRDC'2009)

  • Can Component/Service-Based Systems Be Proved Correct ? (copyright springer, .pdf)
    C. Attiogbé, SOFSEM'2009

  • Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network 
    Christian Attiogbé, 3rd International Symposium ISOLA'2008, Springer, (copyright springer, .pdf)
    October 2008, Kassandra, Greece

  • Mastering Specification Heterogeneity with Multifacet Analysis
    Christian Attiogbé, MoVaH'2008, IEEE, April 2008, Lillehammer, ( .pdf file)

  • Composing Components with Shared Services in the Kmelia Model
    Pascal Andre, Gilles Ardourel and Christian Attiogbe
    ETAPS/SC'2008, Budapest, March 2008

  • Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
        P. André, G. Ardourel, C. Attiogbé, ETAPS/SC'2007, Braga, March 2007                     

  • Protocoles d'utilisation de composants : spécification et analyse en Kmelia          P. André, G. Ardourel, C. Attiogbé, LMO'2007, Toulouse, March 2007

  • Combining B Tools for Multi-Process Systems Specification
    Christian Attiogbé, CARI'06, Cotonou, 2006

  • Multi-process Systems Analysis Using Event B: Application to Group Communication Systems
    Christian Attiogbé ICFEM'06, Macao, LNCS4260, pp. 660-677 2006

  • Spécification d'architectures en Kmelia : hiérarchie de connexion et composition
    Christian Attiogbé, Pascal André, Gilles Ardourel, CAL'06, Nantes, Hermès, pp. 101-118, 2006

  • Checking Component Composability
    Christian Attiogbé, Pascal André, Gilles Ardourel, ETAPS/SC'06, Vienna, LNCS 4089, pp. 18-33, 2006

  • Coordination and Adaptation for Hierarchical Components and Services
    Christian Attiogbé, Pascal André, Gilles Ardourel, ECOOP/WCAT'06, Nantes, 2006

  • Tool-assisted Multi-facet Analysis of Formal Specifications (using Atelier-B and ProB)
    Christian Attiogbé, SE'2006, Innsbruck, 2006 

  • Behavioural Verification of Service Composition
    P. André, G. Ardourel, C. Attiogbé, ISOC/WESC05, Amterdam, 2005
    IBM Research Report  RC23821 

  • A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems
    Christian Attiogbé, ZB'2005, LNCS 3455, Guildford UK, 2005 [.pdf file]

  • Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis
    Christian Attiogbé, SOFSEM'05, Slovenia, 2005, ISBN 80-969255-4-7,  [.pdf file]

  • A Mechanically Proved Development Combining B Abstract Systems and Spin
    Christian Attiogbé, QSIC'04, IEEE Computer Society Press, 2004

  • Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using Promela/Spin

Christian Attiogbé, ICTTA'04, Avril 2004,  ISBN  0-7803-8483-0, Damas, Syrie [.pdf file]

  • Formalising an Integrated Language in PVS,

Gwen Salaün, Christian Attiogbé, ICFEM'03, LNCS, Springer-Verlag, November 2003, Singapore.

  • Integration of Formal Datatypes within State Diagrams,

Christian Attiogbé, Pascal Poizat, Gwen Salaün, FASE'03, LNCS 2621, Springer-Verlag, pages 341--355, April 2003, Warsaw, Poland.

  • Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS,

C. Attiogbé, ICFEM'02, IEEE, October 2002, Shangai, China

  • A Method to Combine any Process Algebra with an Algebraic Specification Language: the pi-Calculus Example,

Gwen Salaün, Michel Allemand, Christian Attiogbé, COMPSAC'02, IEEE Computer Society Press, August 2002, Oxford, England. 

  •  Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview, Gwen Salaün, Michel Allemand, Christian Attiogbé, APSEC'01, IEEE Computer Society Press, pages 299--302, December 2001, Macau, China. [Slides]

  • A Practical Combination of a Process Algebra with an Algebraic Specification Language. Gwen Salaün, Michel Allemand, Christian Attiogbé, PDPTA'01, CSREA Press, pages 73--79, June 2001, Las Vegas, USA. ISBN: 1-892512-66-1. [PostScript][Slides]

  • Génération de code Promela pour la simulation et la vérification, C. Attiogbé, ICSSEA'99, Int. Conf. Software and Systems Engineering and their Applications, December 1999, Paris, FR, Paper (.ps) [in french],   Slides [in english]

  • Réutilisation de composantes logicielles par filtrage sémantique, C. Attiogbé, GL'97, 10ème Conf. Int. Génie Logiciel et Applications, Décembre 1997, Paris, FR, ISSN 0295-6332

  • Is Invoicing Specification so Easy ?, C. Attiogbé, NITE'96, pages 157--168, November 1996, Minsk, Bielarussa, ISBN 83-86359-44-7

  • Specifying Graphical Interaction: Techniques, Applications and Correctness Proof, C. Attiogbé, CARI'94, October 1994, INRIA-ORSTOM, Yaounde, Cameroon, 1994

  • Handling Interaction in Software Specification, C. Attiogbé and J-L. Durieux, VCHCI'93, pages, September 1993, Vienna, Austria, LNCS 733,

Book (complete book)

National Conference Article  (Works  which appear in proceedings of national  conf., refereed)
 

International Workshop (in proceedings of int.workshop, refereed)

  • Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams, Christian Attiogbé, Pascal Poizat, Gwen Salaün, FMPPTA'03, IEEE Computer Society Press, April 2003, Nice, France.  

  • An Approach to Combine Heterogeneous Specification of Components, Gwen Salaün, Michel Allemand, Christian Attiogbé, FMCI'02 , Electronic Notes in Theoretical Computer Science Series, July 2002, Malaga, Spain.  

  • Specification of an Access Control System with a Formalism Combining CCS and CASL, Gwen Salaün, Michel Allemand, Christian Attiogbé, FMPPTA'02 , IEEE Computer Society Press, April 2002, Marriott Marina Fort Lauderdale, Florida, USA.  

  • SHE'S Project: a Report of Joint Works on Formal Languages Integration, Michel Allemand, Christian Attiogbé, Pascal Poizat, Jean-Claude Royer, Gwen Salaün, INT'02, pages 29--36, April 2002, Grenoble, France. [PostScript]

  • Formal Combination of the CCS Process Algebra with the CASL Algebraic Specification Language, Gwen Salaün, Michel Allemand, Christian Attiogbé, WADT'01, April 2001, Genova, Italy. [PostScript][Slides]

  • Specifying the Invoicing System as a Protocol with Promela C. Attiogbé, Invoice'98, pages 281--296, Mars 1998, Nantes, France, ISBN 2-906082-29-5

National Workshop or Manifestation (Works presented at national events, refereed)

  • Une approche pour combiner des composants de spécification hétérogènes, Gwen Salaün, Michel Allemand, Christian Attiogbé, Workshop OCM dans l'ingénierie des SI, juin 2002, Nantes, France. ISBN : 2-9518621-0-5.

  • Système de controle d'accès : une spécification à base des machines à configurations, C. Attiogbé, AFADL2000, Janvier 2000, Grenoble, France

Non-refereed Article (research paper or technical  article non-refereed, magazine)

  •  Analyzing  the Readers/Writers System Using the B Theorem Prover
    Christian Attiogbé, GESTS International Transaction on Computer Science and Engineering,
    Vol7, Number1, ISBN 89-953729-5-8, May 2005

Research Report(internal research report, work in progress or full-detailed work, preliminary version of publications, registered in the research institute)

  • A Service-based Component Model: Formalism, Analysis and Mechanization
    P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer
    LINA RR 05.08 [postscript]

  • Semantic Embedding of Petri Nets into B Abstract Systems
    Christian Attiogbé, CoRR cs.SE/0510073

  • A Mechanically Proved Development Combining B Abstract Systems and Spin, C. Attiogbé, RR LINA 04.03, Avril 2004 [postscript]
     

  • Communicating B Abstract Systems: Application to Peterson's Algorithm, C. Attiogbé, RR LINA 04.02, Avril 2004 [postscript]
     

  • Generation of Formal Development Environment: Foundation and Application C. Attiogbé, G. Salaun, RR IRIN 02.09, Décembre 2002 [postscript]
     

  • Communicating B Abstract Systems (CBS), Christian Attiogbé, Research Report IRIN 02.08, December 2002 [postscript]
     

  • Intégration de données formelles dans les diagrammes d'états d'UML , Christian Attiogbé, Pascal Poizat, Gwen Salaün, Research Report IRIN n°02.3, July 2002. [PostScript]

  • Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS, C. Attiogbé, RR01.08, IRIN, Novembre 2001[postscript]
     

  • An Approach to Combine Heterogeneous Specification Modules, Gwen Salaün, Michel Allemand, Christian Attiogbé, research report IRIN n°01.7, November 2001, revised in March 2002. [PostScript]
     

  • A Method to Combine any Process Algebra with an Algebraic Specification Language: the pi-Calculus Example Gwen Salaün, Michel Allemand, Christian Attiogbé, research report IRIN n°01.6, July 2001, revised in May 2002. [PostScript]

  • Systematic  Derivation of a Validation Model from a Rule-oriented Model:  A Case Study using Promela/Spin, C. Attiogbé, research report IRIN, RR 01.04, July 2001 [postscript]

  • Systematic Derivation of a Systematic Derivation of a B Specification from a Logical Model: Application for Refining a  System into Code , C. Attiogbé, research report IRIN, RR 01.03, July 2001, [postscript]

  • Formal Framework for the Combination of Process Algebras with Algebraic Specification Languages , Gwen Salaün, Michel Allemand, Christian Attiogbé, research report IRIN n°01.2, February 2001. [PostScript]

  • A Formalism Combining CCS and CASL, Gwen Salaün, Michel Allemand, Christian Attiogbé, research report IRIN n°00.14, December 2000, revised in October 2001. [PostScript]

  • C. Attiogbé, A Generic Framework for Methods Integration (NatIF Project), research report RR 02.05, IRIN,

  • C. Attiogbé, Formal Methods Integration for Software Development: Some Locks and Outlines, research report IRIN, RR 00.08, [postscript] , July 2000, France

  • C. Attiogbé, Specifying The Dagstuhl Light Control System by Configuration Machines, RR - IRIN, December 1998
     

  • C. Attiogbé, A simple formalism For Specifying Multifaceted Systems, RR 181-IRIN, July 1998

  • C. Attiogbé, Meaning Matching: A Means for Design and Reuse of Abstract Machines, RR 173-IRIN, October 1997
     

  • C. Attiogbé, Implementing a Logical Specification By its refinement within the B method, RR 174-IRIN

Thesis (published research thesis, University)

  • Un atelier de réécriture et de calcul symbolique / A Framework for Rewriting and Symbolic Computation
    C. Attiogbé, PhD thesis, Univeristy of Toulouse,
    September 1992  (in French, Thèse d'Université)
    Supervisor: J-L. Durieux

 Habilitation (French Habilitation à diriger des recherches : HDR) 

  • Contributions aux approches formelles de développement de logiciels
    Intégration de méthodes formelles et analyse multifacette [manuscrit.pdf]
    HDR, 13 septembre 2007, Université de Nantes, Nantes Atlantique Universités
    Rapporteurs : D. Bert, D. Méry, W. Stoddart
    Examinateurs : H. Habrias, C. Jard, O. Roux, V. Viguié Donzeau-Gouge