Fiche membre Retour à l'annuaire
Jérémie Christian ATTIOGBE
ENSEIGNANT-CHERCHEUR
HDR
Publications référencées sur HAL
Revues internationales avec comité de lecture (ART_INT)
- [1] C. Attiogbé, J. Rocheteau. Correctness of IoT-based systems: From a DSL to a mechanised analysis. In Journal of Computer Languages ; éd. Elsevier, 2023, vol. 77.https://hal.science/hal-04240187v1
- [2] A. Bah, P. Andre, C. Attiogbé, J. Konaté. Service Promotion in a Federation of Security Domains. In Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; éd. African Society in Digital Science, 2021, vol. Volume 34 - 2020 - Special Issue CARI 2020.https://hal.science/hal-02928753v4
- [3] A. Bah, P. André, C. Attiogbé, J. Konate. Service Promotion in a Federation of Security Domains. In Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; éd. African Society in Digital Science, 2020, vol. 34, num. Spécial CARI 2020-2021.https://hal.science/hal-02909605v2
- [4] P. Andre, C. Attiogbé, A. Lanoix. A tool-assisted method for the systematic construction of critical embedded systems using Event-B. In Computer Science and Information Systems ; éd. ComSIS Consortium, 2019, vol. 17, num. 1.https://hal.science/hal-02468473v1
- [5] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. In Model-Driven Engineering and Software Development ; éd. Springer, 2019.https://hal.science/hal-02075980v1
- [6] J. Pepin, P. Andre, C. Attiogbé, E. Breton. An Improved Model Facet Method to Support EA Alignment. In Complex Systems Informatics and Modeling Quarterly ; éd. Royal Institute of Technology, 2016, num. 9.https://hal.science/hal-01686322v1
- [7] P. Andre, G. Ardourel, C. Attiogbé, A. Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In Electronic Notes in Theoretical Computer Science ; éd. Elsevier, 2010, vol. 263.https://hal.science/hal-00505336v1
- [8] C. Attiogbe, P. Poizat, G. Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2007, vol. 33, num. 3.https://hal.science/hal-00470280v1
- [9] P. Andre, G. Ardourel, C. Attiogbé. Adaptation for Hierarchical Components and Services. In Electronic Notes in Theoretical Computer Science ; éd. Elsevier, 2007, vol. 189.https://hal.science/hal-00423697v1
- [10] P. Andre, G. Ardourel, C. Attiogbé. Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de services. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; éd. Lavoisier, 2011, vol. 30, num. 6.https://hal.science/hal-01147205v1
- [11] C. Attiogbé. Analyzing the Readers/Writers System Using the B Theorem Prover. In GESTS International Transaction on Computer Science and Engineering, vol. 7, num. 1. 2005https://hal.science/hal-00444072v1
- [12] G. Salaün, C. Attiogbé. MIAOw: a Method to Integrate a Process Algebra with Formal Data. In Informatica ; éd. Slovene Society Informatika, Ljubljana, 2004, vol. 28, num. 2.https://hal.science/hal-00444078v1
- [13] C. Attiogbé, J. Rocheteau. Architectural Invariants and Correctness of IoT-Based Systems. In Model and Data Engineering (MEDI'2022), novembre 2022, Cairo, égypte.https://hal.science/hal-04093777v1
- [14] A. Khouass, J. Attiogbé, M. Messabihi. Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. In Model and Data Engineering (MEDI'2021), juin 2021, Tallinn, Estonie.https://hal.science/hal-04093796v1
- [15] A. Bah, P. André, C. Attiogbé, J. Konaté. Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. In 18th International Information Security for South Africa Conference, août 2019, Johanesbourg, Afrique du Sud.https://hal.science/hal-02468264v1
- [16] R. Bao, C. Attiogbe, P. Fournier, D. Lime. Model checking paramétrique statistique du plan de vol de drone civil. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.https://hal.science/hal-02432687v1
- [17] D. Sferruzza, J. Rocheteau, C. Attiogbe, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. In Model-Driven Engineering and Software Development - 6th International Conference, (MODELSWARD) 2018 - revised selected papers, janvier 2018, Funchal, Portugal.https://hal.science/hal-02010874v1
- [18] D. Sferruzza, J. Rocheteau, C. Attiogbe, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. In MODELSWARD, janvier 2018, Funchal, Portugal.https://hal.science/hal-01654287v3
- [19] P. Andre, J. Pepin, C. Attiogbé, E. Breton. Virtual Extension of Meta-models with Facet Tools. In 6th International Conference on Model-Driven Engineering and Software Development, janvier 2018, Funchal, Portugal.https://hal.science/hal-01911500v1
- [20] F. Dhaou, I. Mouakher, J. Attiogbe, K. Bsaïes. Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. In 13th International Conference on Evaluation of Novel Approaches to Software Engineering, mars 2018, Funchal, Portugal.https://hal.science/hal-02090259v1
- [21] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. In 17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2018, Grenoble, France.https://hal.science/hal-02009658v1
- [22] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. Extending OpenAPI 3.0 to Build Web Services from their Specification. In International Conference on Web Information Systems and Technologies, septembre 2018, Seville, Espagne.https://hal.science/hal-01868498v1
- [23] C. Attiogbé. Building Correct SDN Components from a Global Event-B Formal Model. In Formal Aspects of Component Software, octobre 2018, Pohang, Corée du Sud.https://hal.science/hal-01949913v1
- [24] P. Andre, C. Attiogbé, A. Lanoix. Systematic Construction of Critical Embedded Systems Using Event-B. In New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, octobre 2018, Marrakesh, Maroc.https://hal.science/hal-01929259v1
- [25] P. Andre, C. Attiogbe, J. Mottu. Combining Techniques to Verify Service-based Components. In MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, février 2017, Porto, Portugal.https://hal.science/hal-01628303v1
- [26] F. Dhaou, I. Mouakher, C. Attiogbé, K. Bsaïes. A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. In 12th International Conference on Evaluation of Novel Approaches to Software Engineering, avril 2017, Porto, France.https://hal.science/hal-01686265v1
- [27] C. Attiogbé. Mastering Heterogeneous Behavioural Models. In Model and Data Engineering - 7th International Conference, (MEDI'2017), octobre 2017, Barcelona, Espagne.https://hal.science/hal-01686306v1
- [28] F. Dhaou, I. Mouakher, C. Attiogbé, K. Bsaïes. Refinement of UML2.0 Sequence Diagrams for Distributed Systems. In the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), juillet 2016, Lisbon, Portugal.https://hal.science/hal-01686331v1
- [29] C. Attiogbe. Mapping Component Models on Distributed Architectures: Correctness Checking. In 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, octobre 2016, Saint-Malo, France.https://hal.science/hal-01686376v1
- [30] P. Andre, J. Pepin, C. Attiogbé, E. Breton. A Method for Business-IT Alignment of Legacy Systems. In 17th International Conference on Enterprise Information Systems, avril 2015, Barcelona, France.https://hal.science/hal-01911502v1
- [31] F. Dhaou, I. Mouakher, C. Attiogbé, K. Bsaïes. Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. In 10th International Conference on Software Engineering and Applications, juillet 2015, Colmar, France.https://hal.science/hal-01686275v1
- [32] C. Attiogbé. Deriving Event-B Models from Mealy Machines: Application to an Auction System. In Model and Data Engineering - 5th International Conference, (MEDI'2015), septembre 2015, Rhodes, Grèce.https://hal.science/hal-02500377v1
- [33] C. Attiogbé. Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. In ISoLA'2014 - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, octobre 2014, Corfu, Grèce.https://hal.science/hal-01083188v1
- [34] O. Finot, J. Mottu, G. Sunyé, J. Attiogbe. Partial Test Oracle in Model Transformation Testing. In International Conference on Model Transformation (ICMT), juin 2013, Budapest, Hongrie.https://hal.science/hal-00823231v1
- [35] O. Finot, J. Mottu, G. Sunyé, J. Attiogbe. Poster : Comparaison de modèles filtrée pour le test de transformations de modèles. In Journées du GDR GPL, juin 2012, Rennes, France.https://hal.science/hal-00920300v1
- [36] O. Finot, J. Mottu, G. Sunyé, J. Attiogbe. Filtered Comparison for Oracle in ModelTransformation Testing. In ICTSS 2012 Ph.D. Workshop, novembre 2012, Aalborg, Danemark.https://hal.science/hal-00918590v1
- [37] P. André, G. Ardourel, C. Attiogbe, A. Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B. In FESCA @ Etaps2010, mars 2010, Paphos, Grèce.https://hal.science/hal-00483755v1
- [38] P. Andre, G. Ardourel, C. Attiogbe, A. Lanoix. Using Event-B to Verify the Kmelia Components and Their Assemblies. In ABZ'2010, février 2010, Oreford, Canada.In Springer (éds.), . Springer, 2010.https://hal.science/hal-00483236v1
- [39] M. Messabihi, P. André, C. Attiogbé. Multi-levels Use of Contracts for Trusted Components. In Workshop on Component and Service Interoperability, juin 2010, Malaga, Espagne.In EPTCS, vol. 37. 29-06-2010https://hal.science/hal-00488125v1
- [40] P. Andre, G. Ardourel, C. Attiogbé, A. Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), octobre 2009, Eindhoven, Pays-Bas.https://hal.science/hal-00423672v1
- [41] C. Attiogbe. Can Component/Service-Based Systems Be Proved Correct?. In Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, janvier 2009, Spindleruv Mlýn,, République tchèque.In Springer (éds.), SOFSEM 2009: Theory and Practice of Computer Science. Springer, 2009.https://hal.science/hal-00420051v1
- [42] C. Attiogbé. Modelling and Analysing Dynamic Decentralised Systems. In International Symposium on Dependable Computing (PRDC 2009), novembre 2009, Shanghai, Chine.In IEEE Computer Society (éds.), 15th IEEE Pacific Rim International Symposium on Dependable Computing. , 2009.https://hal.science/hal-00420009v1
- [43] J. Attiogbe. Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network. In ISoLA 2008, octobre 2008, Porto-sani, Grèce.In Springer (éds.), Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008. Springer, 2008.https://hal.science/hal-00420017v1
- [44] P. Andre, G. Ardourel, C. Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. In Software Composition, 6th International Symposium, SC 2007, mars 2007, Braga, Portugal.In Markus Lumpe and Wim Vanderperren (éds.), Software Composition. Springer Berlin / Heidelberg, 2007.https://hal.science/hal-00397713v1
- [45] P. Andre, G. Ardourel, C. Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. In ProVeCS 2007 - Satellite Event of TOOLS Europe, juin 2007, Zürich, Suisse.In Christian Attiogbé et Daniel Kröning (éds.), ProVeCS 2007 - Satellite Event of TOOLS Europe. , 2007.https://hal.science/hal-00423690v1
- [46] P. André, G. Ardourel, C. Attiogbé. Vérification d'assemblage de composants logiciels Expérimentations avec MEC. In 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc.https://hal.science/hal-00458119v1
- [47] C. Attiogbé, P. André, G. Ardourel. Checking Component Composability. In 5th International Symposium on Software Composition, mars 2006, Vienne, Autriche.https://hal.science/hal-00397694v1
- [48] C. Attiogbe. Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).. In IASTED Conf. on Software Engineering (SE'2006), février 2006, Innsbruck, Autriche.In Acta Press (éds.), IASTED Conf. on Software Engineering 2006. IASTED, 2006.https://hal.science/hal-00420050v1
- [49] P. Andre, G. Ardourel, C. Attiogbé. Composing Components with Shared Services in the Kmelia Model. In Software Composition, 7th International Symposium, SC 2008, mars 2006, Budapest, Hongrie.In Cesare Pautasso and Eric Tanter (éds.), 7th International Symposium on Software Composition, SC'08. Springer, 2006.https://hal.science/hal-00423639v1
- [50] J. Attiogbe. Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. In ICFEM'2006, novembre 2006, Macao, Chine.In Springer (éds.), Formal Methods and Software Engineering. Springer, 2006.https://hal.science/hal-00420015v1
- [51] C. Attiogbe. Combining B Tools for Multi-Process Systems Specification. In African Conference on Research in Computer Science (CARI'2006), novembre 2006, Cotonou, Bénin.In E. Badouel, Y. Slimani, M. Assogba (éds.), Proceedings of the 8th African Conference on Research in Computer Science. , 2006.https://hal.science/hal-00482855v1
- [52] C. Attiogbé. Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis. In 31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovaquie.https://hal.science/hal-00458165v1
- [53] P. André, G. Ardourel, C. Attiogbé. Behavioural Verification of Service Composition. In ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Pays-Bas.https://hal.science/hal-00458120v1
- [54] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. Vérification de conformité des interactions entre composants. In LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse.In Collet, Philippe and Lahire, Philippe (éds.), Actes du Workshop (Objets, Composants et Modèles), OCM'05. , 2005.https://hal.science/hal-00458121v1
- [55] J. Attiogbe. A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. In ZB 2005: Formal Specification and Development in Z and B, avril 2005, Guildford, Royaume-Uni.In Springer (éds.), ZB 2005: Formal Specification and Development in Z and B. Springer, 2005.https://hal.science/hal-00421161v1
- [56] C. Attiogbé. Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN. In 4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syrie.https://hal.science/hal-00458200v1
- [57] J. Attiogbe. A Mechanically Proved Development Combining B Abstract Systems and Spin. In Fourth International Conference on Quality Software QSIC'2004, septembre 2004, Braunschweig, Allemagne.In IEEE Computer Society (éds.), Quality Software, 2004. QSIC 2004. Proceedings.. IEEE Computer Society, 2004.https://hal.science/hal-00421162v1
- [58] C. Attiogbé, P. Poizat, G. Salaün. Integration of Formal Datatypes within State Diagrams. In Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italie.https://hal.science/hal-00458163v1
- [59] C. Attiogbé, P. Poizat, G. Salaün. Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams. In {8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France.https://hal.science/hal-00458164v1
- [60] G. Salaün, C. Attiogbé. Formalising an Integrated Language in PVS. In 5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapour.https://hal.science/hal-00458175v1
- [61] J. Attiogbe. Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. In 4th International Conference on Formal Engineering Methods, ICFEM'2002, octobre 2002, Shanghai, Chine.In Springer (éds.), Formal Methods and Software Engineering. Springer, 2002.https://hal.science/hal-00421160v1
- [62] J. Pepin, P. Andre, C. Attiogbé, E. Breton. Alignement des points de vue du système d'information Une approche pragmatique. In Actes du XXXVIème Congrès INFORSID, mai 2018, Nantes, France.https://hal.science/hal-02468406v1
- [63] O. Finot, J. Mottu, G. Sunyé, C. Attiogbé. Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles. In CIEL 2012, 2012, Rennes, France.https://inria.hal.science/hal-00726538v1
- [64] M. Messabihi, P. André, C. Attiogbé. Preuve de cohérence de composants Kmelia à l'aide de la méthode B. In 4e Conférence Francophone sur les Architectures Logicielles, mars 2010, Pau, France.https://hal.science/hal-00487359v1
- [65] P. André, C. Attiogbé, M. Messabihi. Correction d'assemblages de composants impliquant des interfaces paramétrées. In 3e Conférence Francophone sur les Architectures Logicielles, mars 2009, Nancy, France.https://hal.science/hal-00423658v1
- [66] C. Attiogbe. Semantic Embedding of Petri Nets into Event-B. In Integration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), mars 2009, Dusseldorf, Allemagne.https://hal.science/hal-00483237v1
- [67] C. Attiogbe. Mastering Specification Heterogeneity with Multifacet Analysis. In Modeling, Validation, and Heterogeneity (MoVaH @ ICST'08), avril 2008, Lillehammer, Norvège.https://hal.science/hal-00482872v1
- [68] P. André, G. Ardourel, C. Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. In 13e Conférence Francophone sur les Langages et Modèles à Objets, mars 2007, Toulouse, France.In Isabelle Borne, Xavier Crégut, Sophie Ebersold et Frédéric Migeon (éds.), Actes des journées Langages et Modèles à Objets. Hermès - Lavoisier, 2007.https://hal.science/hal-00423643v1
- [69] P. Andre, G. Ardourel, C. Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. In 1ère Conférence Francophone sur les Architectures Logicielles, septembre 2006, Nantes, France.In Mourad Chabane Oussalah, Flavio Oquendo, Dalila Tamzalit etTahar Khammaci (éds.), Actes de la 1ère Conférence Francophone sur les Architectures Logicielles. Hermès - Lavoisier, 2006.https://hal.science/hal-00423665v1
- [70] C. Attiogbé, P. Poizat, G. Salaün. Intégration de données formelles dans les diagrammes d'états d'UML. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France.In J.-M. Jézéquel (éds.), Actes d'AFADL'2003. , 2003.https://hal.science/hal-00458199v1
- [71] P. Andre, J. Pepin, C. Attiogbé, E. Breton. Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. In Model-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers. 01-02-2019 https://hal.science/hal-02090263v1
- [72] F. Dhaou, I. Mouakher, K. Bsaïes, C. Attiogbé. An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems. In Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers. 01-07-2018 https://hal.science/hal-02091932v1
- [73] C. Attiogbe, P. Andre. L'Objet : Composants, services et aspects. 2008 https://hal.science/hal-00482908v1
- [74] P. André, C. Attiogbé. Composants, services et aspects Techniques et outils pour la vérification. 2008 https://hal.science/hal-00457209v1
- [75] C. Attiogbe, H. Habrias. From Research to Teaching Formal Methods: The B Method - TFM-B'2009. 08-06-2008 https://hal.science/hal-00481604v1
- [76] C. Attiogbe, H. Habrias. From Research to Teaching Formal Methods: The B Method (TFM-B'2008). 16-06-2008 https://hal.science/hal-00483735v1
- [77] C. Attiogbe, D. Kroening. First International Workshop on Property Verification for Software Components and Services. 24-06-2007 https://hal.science/hal-00481603v1
- [78] C. Attiogbé. Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette. https://theses.hal.science/tel-00481602v1
- [79] J. Attiogbé, F. Zaïdi. Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022. Rapport technique, 2022 ; LS2N-Nantes Université, LMF-Univesité Paris Saclay, .https://hal.science/hal-04556748v1
- [80] A. Bah, P. André, C. Attiogbé, J. Konaté. Federated Access Control in Service Oriented Architecture. Rapport technique, 2019 ; LS2N, Université de Nantes.https://hal.science/hal-02103825v1
- [81] L. Ait Oubelli, J. Mottu, C. Attiogbé. Test Cases Evolution of Mobile Applications. Rapport technique, 2015 ; Université de Nantes.https://hal.science/hal-01271467v1
- [82] C. Attiogbé. Dynamic Composition of Evolving Process Types. Rapport technique, 2011 ; LINA-University of Nantes.https://inria.hal.science/hal-00655017v1
- [83] C. Attiogbé. Semantic Embedding of Petri Nets into Event-B. https://hal.science/hal-00458166v1
- [84] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization. https://hal.science/hal-00458116v1
- [85] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. Vérification de conformité des interactions entre composants. https://hal.science/hal-00458115v1
- [86] C. Attiogbé. Towards a Generic Analysis and Design Framework: the KEPU Information System (NatIF Project). https://hal.science/hal-00458168v1