- 81
- 2
- 1
Christian Attiogbé
84
Documents
Researcher identifiers
christian-attiogbe
-
0000-0002-7815-1752
- IdRef : 073264555
Presentation
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Publications
- 7
- 7
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 16
- 11
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 10
- 3
- 3
- 4
- 1
- 1
- 3
- 2
- 5
- 5
- 6
- 7
- 9
- 8
- 4
- 4
- 1
- 57
- 25
- 5
- 1
|
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⟩
Journal articles
hal-02928753v4
|
|
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
Journal articles
hal-02075980v1
|
A tool-assisted method for the systematic construction of critical embedded systems using Event-BComputer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩
Journal articles
hal-02468473v1
|
|
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⟩
Journal articles
hal-01686322v1
|
|
|
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⟩
Journal articles
hal-01147205v1
|
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⟩
Journal articles
hal-00505336v1
|
|
|
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⟩
Journal articles
hal-00470280v1
|
|
Adaptation for Hierarchical Components and ServicesElectronic Notes in Theoretical Computer Science, 2007, 189, pp.5--20. ⟨10.1016/j.entcs.2007.05.045⟩
Journal articles
hal-00423697v1
|
Analyzing the Readers/Writers System Using the B Theorem ProverGESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98
Journal articles
hal-00444072v1
|
|
MIAOw: a Method to Integrate a Process Algebra with Formal DataInformatica, 2004, 28 (2), pp.207--219
Journal articles
hal-00444078v1
|
|
Service Promotion in a Federation of Security DomainsColloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Oct 2020, Thiès, Senegal
Conference papers
hal-02909605v2
|
|
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
Conference papers
hal-02432687v1
|
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models18th International Information Security for South Africa Conference, Aug 2019, Johanesbourg, South Africa
Conference papers
hal-02468264v1
|
|
|
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⟩
Conference papers
hal-01929259v1
|
|
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⟩
Conference papers
hal-02090259v1
|
|
Alignement des points de vue du système d'information Une approche pragmatiqueActes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Conference papers
hal-02468406v1
|
|
Extending OpenAPI 3.0 to Build Web Services from their SpecificationInternational Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain
Conference papers
hal-01868498v1
|
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⟩
Conference papers
hal-02010874v1
|
|
|
Virtual Extension of Meta-models with Facet Tools6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
Conference papers
hal-01911500v1
|
|
A Model-Driven Method for Fast Building Consistent Web Services in PracticeMODELSWARD, INSTICC, Jan 2018, Funchal, Portugal
Conference papers
hal-01654287v3
|
A Model-Driven Method for Fast Building Consistent Web Services in Practice17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
Conference papers
hal-02009658v1
|
|
|
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⟩
Conference papers
hal-01949913v1
|
|
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⟩
Conference papers
hal-01628303v1
|
|
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⟩
Conference papers
hal-01686265v1
|
Mastering Heterogeneous Behavioural ModelsModel and Data Engineering - 7th International Conference, (MEDI'2017), Oct 2017, Barcelona, Spain
Conference papers
hal-01686306v1
|
|
|
Refinement of UML2.0 Sequence Diagrams for Distributed Systemsthe 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), Jul 2016, Lisbon, Portugal
Conference papers
hal-01686331v1
|
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
Conference papers
hal-01686376v1
|
|
|
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⟩
Conference papers
hal-01686275v1
|
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⟩
Conference papers
hal-02500377v1
|
|
A Method for Business-IT Alignment of Legacy Systems17th International Conference on Enterprise Information Systems, Apr 2015, Barcelona, France. ⟨10.5220/0005351502290237⟩
Conference papers
hal-01911502v1
|
|
|
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⟩
Conference papers
hal-01083188v1
|
|
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⟩
Conference papers
hal-00823231v1
|
|
Filtered Comparison for Oracle in ModelTransformation TestingICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590
Conference papers
hal-00918590v1
|
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
Conference papers
hal-00920300v1
|
|
Comparaison de Modèles Filtrée pour le Test de Transformations de ModèlesCIEL 2012, 2012, Rennes, France
Conference papers
hal-00726538v1
|
|
|
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⟩
Conference papers
hal-00483236v1
|
Contract-based Verification of Kmelia Component Assemblies using Event-BFESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Conference papers
hal-00483755v1
|
|
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
Conference papers
hal-00487359v1
|
|
Multi-levels Use of Contracts for Trusted ComponentsWorkshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩
Conference papers
hal-00488125v1
|
|
|
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
Conference papers
hal-00423672v1
|
|
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⟩
Conference papers
hal-00420051v1
|
Modelling and Analysing Dynamic Decentralised SystemsInternational Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩
Conference papers
hal-00420009v1
|
|
Semantic Embedding of Petri Nets into Event-BIntegration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Mar 2009, Dusseldorf, Germany
Conference papers
hal-00483237v1
|
|
|
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
Conference papers
hal-00423658v1
|
|
Mastering Specification Heterogeneity with Multifacet AnalysisModeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway
Conference papers
hal-00482872v1
|
|
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⟩
Conference papers
hal-00420017v1
|
|
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
Conference papers
hal-00423643v1
|
|
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⟩
Conference papers
hal-00397713v1
|
|
A Formal Analysis Toolbox for the Kmelia Component ModelProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
Conference papers
hal-00423690v1
|
|
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
Conference papers
hal-00423665v1
|
Combining B Tools for Multi-Process Systems SpecificationAfrican Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
Conference papers
hal-00482855v1
|
|
|
Checking Component Composability5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩
Conference papers
hal-00397694v1
|
|
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⟩
Conference papers
hal-00423639v1
|
|
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
Conference papers
hal-00420050v1
|
Multi-process Systems Analysis Using Event B: Application to Group Communication SystemsICFEM'2006, Nov 2006, Macao, China. pp.660-677
Conference papers
hal-00420015v1
|
|
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
Conference papers
hal-00458119v1
|
|
Behavioural Verification of Service CompositionICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Conference papers
hal-00458120v1
|
|
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
Conference papers
hal-00458165v1
|
|
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⟩
Conference papers
hal-00421161v1
|
|
Vérification de conformité des interactions entre composantsLMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Conference papers
hal-00458121v1
|
|
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
Conference papers
hal-00458200v1
|
|
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⟩
Conference papers
hal-00421162v1
|
|
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
Conference papers
hal-00458164v1
|
|
Formalising an Integrated Language in PVS5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205
Conference papers
hal-00458175v1
|
|
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
Conference papers
hal-00458199v1
|
|
Integration of Formal Datatypes within State DiagramsFundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
Conference papers
hal-00458163v1
|
|
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⟩
Conference papers
hal-00421160v1
|
From Research to Teaching Formal Methods: The B Method - TFM-B'2009Université de Nantes, pp.134, 2008
Books
hal-00481604v1
|
|
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008
Books
hal-00483735v1
|
|
L'Objet : Composants, services et aspectsLavoisier, Hermes, pp.128, 2008
Books
hal-00482908v1
|
|
Composants, services et aspects Techniques et outils pour la vérificationHermès - Lavoisier, pp.130, 2008
Books
hal-00457209v1
|
|
First International Workshop on Property Verification for Software Components and ServicesETH Zurich, pp.72, 2007
Books
hal-00481603v1
|
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⟩
Book sections
hal-02090263v1
|
|
|
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⟩
Book sections
hal-02091932v1
|
Vérification de conformité des interactions entre composants2005
Other publications
hal-00458115v1
|
|
Semantic Embedding of Petri Nets into Event-B2005
Other publications
hal-00458166v1
|
|
A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization2005
Other publications
hal-00458116v1
|
|
Towards a Generic Analysis and Design Framework: the KEPU Information System (NatIF Project)2004
Other publications
hal-00458168v1
|
|
Combining B Tools for Multi-Process Systems Specification2006
Preprints, Working Papers, ...
hal-00023152v1
|
|
A Service-Based Component Model: Formalism, Analysis and Mechanization2006
Preprints, Working Papers, ...
hal-00023153v1
|
|
Federated Access Control in Service Oriented Architecture[Research Report] LS2N, Université de Nantes. 2019
Reports
hal-02103825v1
|
|
Test Cases Evolution of Mobile Applications[Research Report] Université de Nantes. 2015
Reports
hal-01271467v1
|
|
Dynamic Composition of Evolving Process Types[Research Report] LINA-University of Nantes. 2011, pp.24
Reports
hal-00655017v1
|
|
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
Habilitation à diriger des recherches
tel-00481602v1
|