Publications HAL du labo/EPI Lab-STICC

2023

Conference papers

titre
Monitoring Association Constraints in Model-Oriented Programming
auteur
Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez
article
MODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00068⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04240673/file/MLE_2023_AssociationPatterns.pdf BibTex
titre
A flexible and robust framework for the secure systems engineering of space missions
auteur
Tom Leclerc, Soumya Paul, Jussi Roberts, Fabien Dagnat, Florian Ledoux, Jean-Christophe Bach, Marcus Wallum, Nicky Mezzina, Daniel Fischer, Sylvain Guérin, Ihab Benamer, Pierre Jeanjean
article
17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Accès au bibtex
BibTex

2022

Journal articles

titre
Multi-Level Modeling with Openflexo/FML
auteur
Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez
article
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Accès au bibtex
BibTex

Conference papers

titre
Security Analysis: From model to system analysis
auteur
Drouot Bastien, Valery Monthe, Sylvain Guérin, Joël Champeau
article
CRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Accès au texte intégral et bibtex
https://hal.science/hal-03866297/file/Property_verification_on_embedded_systems-1.pdf BibTex

2021

Journal articles

titre
PAMELA: an annotation-based Java Modeling Framework
auteur
Sylvain Guérin, Guillaume Polet, Caine Silva, Joel Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard
article
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03217126/file/PAMELA_SoftwarePublication-accepted_authors_version.pdf BibTex

2020

Conference papers

titre
Contract-based design patterns: a design by contract approach to specify security patterns
auteur
Caine Silva, Sylvain Guérin, Raul Mazo, Joël Champeau
article
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
Accès au bibtex
BibTex
titre
A Domain-specific Modeling Framework for Attack Surface Modeling
auteur
Tithnara Nicolas Sun, Bastien Drouot, Fahad R Golra, Joël Champeau, Sylvain Guerin, Luka Le Roux, Raul Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L ' Hostis
article
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02502387/file/2020_A%20Domain-specific%20Modeling%20Framework%20for%20Attack%20Surface%20Modeling_ICISSP.pdf BibTex