Skip to main content

Publications

The publications of the team, most recent first, from HAL. The contributions page groups them by theme, and how to cite says which one to cite.

2026

  • First page of Towards continuous verification of security patterns

    Towards continuous verification of security patterns

    Authors : Allouch, Yanis and Martínez, Salvador and Bach, Jean-Christophe and Dagnat, Fabien
    In 23rd Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'26), Málaga, Spain .oct, 2026.[PDF] [BibTeX]

    Keywords: Model Federation ; Formal software verification ; Software security engineering ; Verification ; Security Pattern

    hal-05715009 v1

2026

  • First page of The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution

    The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution

    Authors : Teodorov, Ciprian and Exelmans, Joeri and Martinez, Salvador and Guérin, Sylvain and Vangheluwe, Hans
    In International Conference on Software Engineering, NIER Track, Rio de Janeiro (Brazil), France .apr, 2026.[PDF] [DOI] [BibTeX]

    Keywords: co-evolution ; design multiverse ; scientific model ; Software and its engineering → Designing software design evolution ; CCS Concepts ; CCS Concepts Software and its engineering → Designing software design evolution scientific model design multiverse co-evolution

    hal-05503862 v1

2024

  • A Survey of Federative Approaches for Model Management in MBSE

    Authors : Amrani, Moussa and Rakshit, Mittal and Goulão, Miguel and Amaral, Vasco and Guérin, Sylvain and Martínez, Salvador and Blouin, Dominique and Bhobe, Anish and Hallak, Yara
    In 1st International Workshop on Model Management (MoM) at MODELS 2024, Linz (AUSTRIA), Austria .sep, 2024.[PDF] [DOI] [BibTeX]

    Keywords: Model Federation ; Model-Based Systems Engineering ; Feature Model ; Literature Review ; Model Management

    ACM

    hal-04721128 v1

2024

  • First page of 10 years of Model Federation with Openflexo: Challenges and Lessons Learned

    10 years of Model Federation with Openflexo: Challenges and Lessons Learned

    Authors : Bach, Jean-Christophe and Beugnard, Antoine and Champeau, Joël and Dagnat, Fabien and Guérin, Sylvain and Martínez, Salvador
    In MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz, Austria pp. 12 .sep, 2024.Best Paper Award, Practice Track. [PDF] [DOI] [BibTeX]

    Keywords: Abstraction ; modeling and modularity ; Interoperability ; Model management ; Experience report ; Model federation ; Model-driven software engineering ; Software and its engineering

    ACM

    hal-04617492 v1

2024

  • Security Contracts a Property-Based Approach to Support Security Patterns

    Authors : Guérin, Sylvain and Champeau, Joël and Martínez, Salvador and Mazo, Raul
    In 10th International Conference on Information Systems Security and Privacy, Rome, France pp. 103-111 .feb, 2024. [DOI] [BibTeX]

    Keywords: Design by contract ; Security patterns ; Security contracts ; Runtime monitoring

    SCITEPRESS - Science and Technology Publications

    hal-04578756 v1

2023

2023

  • First page of Towards evolving secured multi-model systems with model federation

    Towards evolving secured multi-model systems with model federation

    Authors : Boudjemila, Chahrazed and Dagnat, Fabien and Martínez, Salvador
    In MODELS 2023: 26th International Conference on Model-Driven Engineering Languages and Systems - ME 2023: 16th Workshop on Models and Evolution, Vasteras, Sweden .oct, 2023.[PDF] [DOI] [BibTeX]

    Keywords: model evolution ; Model-based system engineering security model federation model evolution ; Model-based system engineering ; security ; model federation

    hal-04254748 v1

2023

2023

  • First page of A flexible and robust framework for the secure systems engineering of space missions

    A flexible and robust framework for the secure systems engineering of space missions

    Authors : Leclerc, Tom and Paul, Soumya and Roberts, Jussi and Dagnat, Fabien and Ledoux, Florian and Bach, Jean-Christophe and Wallum, Marcus and Mezzina, Nicky and Fischer, Daniel and Guérin, Sylvain and Benamer, Ihab and Jeanjean, Pierre
    In 17th International Conference on Space Operations 2023, Dubai, United Arab Emirates .mar, 2023. [BibTeX]

    Keywords: secure process ; secure space missions ; model federation ; model based system engineering ; secure systems engineering

    hal-04045293 v1

2022

  • Security Analysis: From model to system analysis

    Authors : Bastien, Drouot and Monthe, Valery and Guérin, Sylvain and Champeau, Joël
    In Lecture Notes in Computer Science, Sousse, Tunisia pp. 133-152 .dec, 2022.[PDF] [DOI] [BibTeX]

    Keywords: Cyber-Security ; Modeling ; Formal Methods ; Model-Checking ; Property Specification ; Case Study ; Embedded systems ; Formal specification ; Interface states ; Semantics

    Springer Nature Switzerland

    hal-03866297 v1

2022

  • First page of Multi-Level Modeling with Openflexo/FML

    Multi-Level Modeling with Openflexo/FML

    Authors : Guérin, Sylvain and Champeau, Joël and Bach, Jean-Christophe and Beugnard, Antoine and Dagnat, Fabien and Martínez, Salvador
    In Enterprise Modelling and Information Systems Architectures, . 2022. [DOI] [BibTeX]

    Keywords: Abstraction ; Reusability ; modeling and modularity ; System modeling languages ; Multi-Level Modeling ; Model federation

    German Informatics Society

    hal-03692372 v1

2021

  • First page of PAMELA: an annotation-based Java Modeling Framework

    PAMELA: an annotation-based Java Modeling Framework

    Authors : Guérin, Sylvain and Polet, Guillaume and Silva, Caine and Champeau, Joel and Bach, Jean-Christophe and Martínez, Salvador and Dagnat, Fabien and Beugnard, Antoine
    In Science of Computer Programming, pp. 102668 .oct, 2021.[PDF] [DOI] [BibTeX]

    Keywords: Model Driven Engineering ; Object Oriented Programming ; Metaprogramming

    Elsevier

    hal-03217126 v1

2020

2020

  • A Domain-specific Modeling Framework for Attack Surface Modeling

    Authors : Sun, Tithnara Nicolas and Drouot, Bastien and Golra, Fahad R and Champeau, Joël and Guerin, Sylvain and Le Roux, Luka and Mazo, Raul and Teodorov, Ciprian and Aertryck, Lionel Van and Hostis, Bernard L '
    In Proceedings of the 6th International Conference on Information Systems Security and Privacy, Valetta, Malta978-989-758-399-5 pp. 341 - 348 .feb, 2020.[PDF] [DOI] [BibTeX]

    Keywords: Attack Surface Modeling ; DSL ; Modeling ; Model Federation ; Cyber Security

    hal-02502387 v1

2018

2016

  • First page of Continuous Requirements Engineering Using Model Federation

    Continuous Requirements Engineering Using Model Federation

    Authors : Golra, Fahad Rafique and Beugnard, Antoine and Dagnat, Fabien and Guerin, Sylvain and Guychard, Christophe
    In Proceedings RE 2016 : 24th IEEE International Requirements Engineering Conference, Beijing, China pp. 347 - 352 .sep, 2016.[PDF] [DOI] [BibTeX]

    Keywords: Requirements Modeling ; Traceability ; Continuous Requirements Engineering ; Model Federation ; Requirements Engineering

    hal-01487055 v1

2016

2016

2015

2014

2013

  • First page of Free The Modeling!

    Free The Modeling!

    Authors : Guychard, Christophe and Guérin, Sylvain and Koudri, Ali and Beugnard, Antoine and Dagnat, Fabien
    In 5th International Workshop on Modeling in Software Engineering (MiSE 2013), San Francisco, United States .may, 2013.Poster.

2013

  • First page of Conceptual interoperability through Models Federation

    Conceptual interoperability through Models Federation

    Authors : Guychard, Christophe and Guerin, Sylvain and Koudri, Ali and Beugnard, Antoine and Dagnat, Fabien
    In Semantic Information Federation Community Workshop, Miami, United States .oct, 2013. [BibTeX]

    Keywords: Modélisation ; Viewpoint ; Complex systems

    hal-00905036 v1

2013