Accéder directement au contenu

Sylvain Guérin

16
Documents

Publications

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

Tom Leclerc , Soumya Paul , Jussi Roberts , Fabien Dagnat , Florian Ledoux
17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Communication dans un congrès hal-04045293v1
Image document

Monitoring Association Constraints in Model-Oriented Programming

Sylvain Guérin , Joël Champeau , Antoine Beugnard , Salvador Martínez
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⟩
Communication dans un congrès hal-04240673v1
Image document

Security Analysis: From model to system analysis

Drouot Bastien , Valery Monthe , Sylvain Guérin , Joël Champeau
CRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Communication dans un congrès hal-03866297v1
Image document

A Domain-specific Modeling Framework for Attack Surface Modeling

Tithnara Nicolas Sun , Bastien Drouot , Fahad R Golra , Joël Champeau , Sylvain Guerin
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Communication dans un congrès hal-02502387v1

Contract-based design patterns: a design by contract approach to specify security patterns

Caine Silva , Sylvain Guérin , Raul Mazo , Joël Champeau
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⟩
Communication dans un congrès hal-02958111v1
Image document

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

Fahad Rafique Golra , Fabien Dagnat , Jeanine Souquières , Imen Sayar , Sylvain Guerin
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⟩
Communication dans un congrès hal-01853610v1
Image document

Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation

Fahad Rafique Golra , Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
MODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩
Communication dans un congrès hal-01298547v1
Image document

Continuous Requirements Engineering Using Model Federation

Fahad Rafique Golra , Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
RE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩
Communication dans un congrès hal-01487055v1
Image document

Using free modeling as an Agile method for developing domain specific modeling languages

Fahad Rafique Golra , Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
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⟩
Communication dans un congrès hal-01393781v1

Des situations de modélisation pour évaluer les outils de modélisation

Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
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
Communication dans un congrès hal-01015893v1

Conceptual interoperability through Models Federation

Christophe Guychard , Sylvain Guerin , Ali Koudri , Antoine Beugnard , Fabien Dagnat
Semantic Information Federation Community Workshop, Oct 2013, Miami, United States
Communication dans un congrès hal-00905036v1

Compiler and system techniques for SOC distributed reconfigurable accelerators

Joël Cambonie , Sylvain Guérin , Ronan Keryell , Loïc Lagadec , Bernard Pottier
2004, pp.293-302
Communication dans un congrès hal-00083035v1

Multi-Level Modeling with Openflexo/FML

Sylvain Guérin , Joël Champeau , Jean-Christophe Bach , Antoine Beugnard , Fabien Dagnat
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue hal-03692372v1
Image document

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue hal-03217126v1
Image document

Des situations de modélisation pour décrire un processus de modélisation

Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
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⟩
Article dans une revue hal-01164480v1

De la nécessité de fédérer des modèles dans une chaîne d'outils

Ali Koudri , Christophe Guychard , Sylvain Guerin , Fabien Dagnat , Antoine Beugnard
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23
Article dans une revue hal-00904995v1