Publications HAL

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

2018

Conference papers

titre
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
auteur
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin
article
16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01853610/file/Article.pdf BibTex

2016

Conference papers

titre
Using free modeling as an Agile method for developing domain specific modeling languages
auteur
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01393781/file/models2016.pdf BibTex
titre
Continuous Requirements Engineering Using Model Federation
auteur
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
RE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01487055/file/article.pdf BibTex
titre
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
auteur
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
MODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01298547/file/Momo-16.pdf BibTex

2015

Journal articles

titre
Des situations de modélisation pour décrire un processus de modélisation
auteur
Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (2), pp.41 - 66. ⟨10.3166/ISI.20.2.41-66⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01164480/file/main.pdf BibTex

2014

Conference papers

titre
Des situations de modélisation pour évaluer les outils de modélisation
auteur
Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
INFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France. pp.181-196
Accès au bibtex
BibTex

2013

Journal articles

titre
De la nécessité de fédérer des modèles dans une chaîne d'outils
auteur
Ali Koudri, Christophe Guychard, Sylvain Guerin, Fabien Dagnat, Antoine Beugnard, Joël Champeau
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23
Accès au bibtex
BibTex

Conference papers

titre
Conceptual interoperability through Models Federation
auteur
Christophe Guychard, Sylvain Guerin, Ali Koudri, Antoine Beugnard, Fabien Dagnat
article
Semantic Information Federation Community Workshop, Oct 2013, Miami, United States
Accès au bibtex
BibTex

2004

Conference papers

titre
Compiler and system techniques for SOC distributed reconfigurable accelerators
auteur
Joël Cambonie, Sylvain Guérin, Ronan Keryell, Loïc Lagadec, Bernard Pottier, Olivier Sentieys, Bernt Weber, Samar Yazdani
article
2004, pp.293-302
Accès au bibtex
BibTex