Sylvain Guérin
16
Documents
Publications
A flexible and robust framework for the secure systems engineering of space missions17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Communication dans un congrès
hal-04045293v1
|
|
|
Monitoring Association Constraints in Model-Oriented ProgrammingMODELS-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
|
|
Security Analysis: From model to system analysisCRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Communication dans un congrès
hal-03866297v1
|
|
A Domain-specific Modeling Framework for Attack Surface ModelingICISSP 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 patterns15th 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
|
|
|
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation16th 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
|
|
Addressing Modularity for Heterogeneous Multi-model Systems using Model FederationMODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩
Communication dans un congrès
hal-01298547v1
|
|
Continuous Requirements Engineering Using Model FederationRE 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
|
|
Using free modeling as an Agile method for developing domain specific modeling languagesMODELS 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élisationINFORSID 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 FederationSemantic Information Federation Community Workshop, Oct 2013, Miami, United States
Communication dans un congrès
hal-00905036v1
|
|
Compiler and system techniques for SOC distributed reconfigurable accelerators2004, pp.293-302
Communication dans un congrès
hal-00083035v1
|
Multi-Level Modeling with Openflexo/FMLEnterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue
hal-03692372v1
|
|
|
PAMELA: an annotation-based Java Modeling FrameworkScience of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue
hal-03217126v1
|
|
Des situations de modélisation pour décrire un processus de modélisationRevue 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'outilsGé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
|