Salvador Martínez
- Département Informatique (IMT Atlantique - INFO)
- IMT Atlantique (IMT Atlantique)
- Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)
Présentation
Salvador Martínez is an Associate Professor at IMT Atlantique (École nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire), France. Previously he was a postdoctoral Researcher at the CEA-LIST LISE laboratory working on the integration of security concerns on the artefacts of the model-driven environment. Formerly, he worked as assistant professor in the École des Mines de Nantes (France). He obtained his Ph.D on the reverse engineering of security policies in 2014 from the École des Mines de Nantes (France). He has also a research expertise in core Model-Driven Engineering aspects such as model management and model transformation (currently being applyed to the domain of Digital Twins) as well as in Software Evolution with a focus on Security concerns.
Domaines de recherche
Publications
Publications
|
|
The Design Multiverse: A Scientific Model for Design Evolution and Co-evolutionInternational Conference on Software Engineering, NIER Track, Apr 2026, Rio de Janeiro (Brazil), France. ⟨10.1145/3786582.3786830⟩ |
|
|
Towards Automating the Life Cycle Management of Digital TwinsER2025 - 44th International Conference on Conceptual Modeling, Oct 2025, Poitiers, France. pp.412-430, ⟨10.1007/978-3-032-08623-5_22⟩ |
|
|
Maintaining Security Consistency During System Development with Security-Oriented Model FederationInternational Conference on Software and Systems Processes (ICSSP ’24), Sep 2024, Munich, Germany. ⟨10.1145/3666015.3666016⟩ |
|
|
Towards Re-Engineering Digital Twins : Preliminary Experiments on Three Use CasesACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), Sep 2024, Linz, Austria. pp.453-458, ⟨10.1145/3652620.3688259⟩ |
|
|
Security Contracts a Property-Based Approach to Support Security Patterns10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩ |
|
|
10 years of Model Federation with Openflexo: Challenges and Lessons LearnedMODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩ |
|
|
A Survey of Federative Approaches for Model Management in MBSE1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩ |
|
|
Towards evolving secured multi-model systems with model federationMODELS 2023: 26th International Conference on Model-Driven Engineering Languages and Systems - ME 2023: 16th Workshop on Models and Evolution, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00148⟩ |
|
|
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⟩ |
|
|
Towards Access Control Models for Conversational User InterfacesEMMSAD 2022, Jun 2022, Leuven, Belgium. pp.310-317, ⟨10.1007/978-3-031-07475-2_21⟩ |
|
|
An analysis of software design understanding & motivation of engineering studentsMODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada |
On the Need for Intellectual Property Protection in Model-Driven Co-Engineering ProcessesInternational Conference on Evaluation and Modeling Methods for Systems Analysis and Development, Jun 2019, Rome, Italy. pp.169-177, ⟨10.1007/978-3-030-20618-5_12⟩ |
|
|
|
Automatic Generation of Security Compliant (Virtual) Model ViewsInternational Conference on Conceptual Modeling - ER 2018, Oct 2018, Xi'an, China. pp.109-117, ⟨10.1007/978-3-030-00847-5_10⟩ |
|
|
Robust Hashing for Models21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.312-322, ⟨10.1145/3239372.3239405⟩ |
|
|
Model-based Analysis of Java EE Web Security Configurations2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE), May 2016, Austin, Texas, United States. ⟨10.1145/2896982.2896986⟩ |
|
|
Runtime support for rule-based access-control evaluation through model-transformationthe 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩ |
|
|
Enabling the Reuse of Stored Model Transformations Through AnnotationsTheory and Practice of Model Transformations, Jul 2015, L'aquila, Italy. pp.15, ⟨10.1007/978-3-319-21155-8_4⟩ |
|
|
Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.218-233, ⟨10.1007/978-3-319-18467-8_15⟩ |
|
|
Parallel Execution of ATL Transformation RulesMoDELS, Sep 2013, Miami, United States. pp.656-672 |
Towards an Access-Control Metamodel for Web Content Management SystemsICWE 2013: the International Conference on Web Engineering - MDWE 2013: Model-Driven Web Engineering, Jul 2013, Aalborg, Denmark. pp 148-155 |
|
Model-Driven Extraction and Analysis of Network Security PoliciesModel-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. pp.52-68 |
|
Reverse Engineering of Database Security PoliciesDEXA 2013 : 24th International Conference on Database and Expert Systems Applications, Aug 2013, Prague, Czech Republic. pp.442 - 449, ⟨10.1007/978-3-642-40173-2_37⟩ |
|
|
|
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases13th International Workshop on OCL, Model Constraint and Query Languages, Sep 2013, Miami, United States |
A model-driven approach for the extraction of network access-control policiesModel-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria |
|
Extending ATL for Native UML Profile Support: An Experience Report 49-623rd International Workshop on Model Transformation with ATL (MtATL-2011), Jul 2011, Zürich, Switzerland. pp.49-62 |
|
Catálogo de refactorizaciones para transformaciones Modelo a ModeloXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Sep 2011, A Coruña, España |
|
Lazy Execution of Model-to-Model TransformationsModel Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand |
|
|
PORTOLAN: a Model-Driven Cartography Framework[Research Report] RR-7542, INRIA. 2011, pp.27 |
|
|
Refining Models with Rule-based Model Transformations[Research Report] RR-7582, INRIA. 2011, pp.18 |
|
|
Automatic reconstruction and analysis of security policies from deployed security componentsSystems and Control [cs.SY]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0193⟩ |