Salvador Martínez

Salvador Martínez - Associate Professor, IMT Atlantique
71 %
Libre accès
41
Documents
Affiliations actuelles
  • Département Informatique (IMT Atlantique - INFO)
  • IMT Atlantique (IMT Atlantique)
  • Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)
Contact

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

Génie logiciel [cs.SE]

Publications

27
7
2
1
1
1
1
1
6
4
4
4
3
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
10
7
7
5
5
5
5
5
5
4
4
4
4
4
4
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
1
17
14
16
6
6
2
2
1
1
1
1
1
1

Publications

Deposit thumbnail

Modeling and enforcing access control policies in conversational user interfaces

Elena Planas , Salvador Martínez , Marco Brambilla , Jordi Cabot

Software and Systems Modeling, 2023, ⟨10.1007/s10270-023-01131-3⟩

Article dans une revue hal-04308465v1
Deposit thumbnail

A domain-specific language for the specification of UCON policies

Antonia Reina Quintero , Salvador Martínez , Ángel Jesús Varela-Vaca , María Teresa Gómez López , Jordi Cabot

Journal of information security and applications, 2022, 64, pp.103006. ⟨10.1016/j.jisa.2021.103006⟩

Article dans une revue hal-03524313v1

Multi-Level Modeling with Openflexo/FML

Sylvain Guérin , Joël Champeau , Jean-Christophe Bach , Antoine Beugnard , Fabien Dagnat et al.

Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩

Article dans une revue hal-03692372v1
Deposit thumbnail

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach et al.

Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩

Article dans une revue hal-03217126v1

Efficient model similarity estimation with robust hashing

Salvador Martínez , Sébastien Gérard , Jordi Cabot

Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00915-9⟩

Article dans une revue hal-03316737v1
Deposit thumbnail

Efficient plagiarism detection for software modeling assignments

Salvador Martínez , Manuel Wimmer , Jordi Cabot

Computer Science Education, 2020, 30 (2), pp.187-215. ⟨10.1080/08993408.2020.1711495⟩

Article dans une revue hal-02498433v1

On Watermarking for Collaborative Model-Driven Engineering

Salvador Martínez , Sébastien Gerard , Jordi Cabot

IEEE Access, 2018, 6, pp.29715-29728. ⟨10.1109/ACCESS.2018.2841020⟩

Article dans une revue hal-02863646v1
Deposit thumbnail

Reactive Model Transformation with ATL

Salvador Martínez , Massimo Tisi , Rémi Douence

Science of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩

Article dans une revue hal-01627991v1
Deposit thumbnail

Model-based analysis of Java EE web security misconfigurations

Salvador Martínez , Valerio Cosentino , Jordi Cabot

Computer Languages, Systems and Structures, 2017, 49 (SI), pp.36-61. ⟨10.1016/j.cl.2017.02.001⟩

Article dans une revue cea-01803832v1

Management of stateful firewall misconfiguration

García-Alfaro Joaquin , Cuppens Frédéric , Nora Cuppens-Boulahia , Salvador Martinez Perez , Jordi Cabot

Computers & Security, 2013, 39 (11), pp.64-85. ⟨10.1016/j.cose.2013.01.004⟩

Article dans une revue hal-00869328v1

A Catalogue of Refactorings for Model-to-Model Transformations

Manuel Wimmer , Salvador Martínez , Frédéric Jouault , Jordi Cabot

The Journal of Object Technology, 2012, Journal of Object Technology, 11 (2), pp.21-40. ⟨10.5381/jot.2012.11.2.a2⟩

Article dans une revue hal-00734216v1
Deposit thumbnail

The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution

Ciprian Teodorov , Joeri Exelmans , Salvador Martinez , Sylvain Guérin , Hans Vangheluwe

International Conference on Software Engineering, NIER Track, Apr 2026, Rio de Janeiro (Brazil), France. ⟨10.1145/3786582.3786830⟩

Communication dans un congrès hal-05503862v1
Deposit thumbnail

Towards Automating the Life Cycle Management of Digital Twins

Gwendal Beaumont , Antoine Beugnard , Salvador Martínez , Christelle Urtado , Sylvain Vauttier

ER2025 - 44th International Conference on Conceptual Modeling, Oct 2025, Poitiers, France. pp.412-430, ⟨10.1007/978-3-032-08623-5_22⟩

Communication dans un congrès hal-05225783v1
Deposit thumbnail

Maintaining Security Consistency During System Development with Security-Oriented Model Federation

Chahrazed Boudjemila , Fabien Dagnat , Salvador Martínez

International Conference on Software and Systems Processes (ICSSP ’24), Sep 2024, Munich, Germany. ⟨10.1145/3666015.3666016⟩

Communication dans un congrès hal-04611757v1
Deposit thumbnail

Towards Re-Engineering Digital Twins : Preliminary Experiments on Three Use Cases

Gwendal Beaumont , Antoine Beugnard , Salvador Martínez , Christelle Urtado , Sylvain Vauttier

ACM/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⟩

Communication dans un congrès hal-04679248v1

Security Contracts a Property-Based Approach to Support Security Patterns

Sylvain Guérin , Joël Champeau , Salvador Martínez , Raul Mazo

10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩

Communication dans un congrès hal-04578756v1
Deposit thumbnail

10 years of Model Federation with Openflexo: Challenges and Lessons Learned

Jean-Christophe Bach , Antoine Beugnard , Joël Champeau , Fabien Dagnat , Sylvain Guérin et al.

MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩

Communication dans un congrès hal-04617492v1
Deposit thumbnail

A Survey of Federative Approaches for Model Management in MBSE

Moussa Amrani , Mittal Rakshit , Miguel Goulão , Vasco Amaral , Sylvain Guérin et al.

1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩

Communication dans un congrès hal-04721128v1
Deposit thumbnail

Towards evolving secured multi-model systems with model federation

Chahrazed Boudjemila , Fabien Dagnat , Salvador Martínez

MODELS 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⟩

Communication dans un congrès hal-04254748v1
Deposit thumbnail

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
Deposit thumbnail

Towards Access Control Models for Conversational User Interfaces

Elena Planas , Salvador Martínez , Marco Brambilla , Jordi Cabot

EMMSAD 2022, Jun 2022, Leuven, Belgium. pp.310-317, ⟨10.1007/978-3-031-07475-2_21⟩

Communication dans un congrès hal-03685799v1
Deposit thumbnail

An analysis of software design understanding & motivation of engineering students

Jean-Christophe Bach , Antoine Beugnard , Jean-Loup Castaigne , Julien Mallet , Salvador Martínez et al.

MODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada

Communication dans un congrès hal-03801001v1

On the Need for Intellectual Property Protection in Model-Driven Co-Engineering Processes

Sébastien Gérard , Salvador Martínez , Sébastien Gerard

International 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⟩

Communication dans un congrès cea-02572729v1
Deposit thumbnail

Automatic Generation of Security Compliant (Virtual) Model Views

Salvador Martínez , Alexis Fouche , Sébastien Gerard , Jordi Cabot

International Conference on Conceptual Modeling - ER 2018, Oct 2018, Xi'an, China. pp.109-117, ⟨10.1007/978-3-030-00847-5_10⟩

Communication dans un congrès hal-02863658v1
Deposit thumbnail

Robust Hashing for Models

Salvador Martínez , Sébastien Gérard , Jordi Cabot

21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.312-322, ⟨10.1145/3239372.3239405⟩

Communication dans un congrès hal-02388808v1
Deposit thumbnail

Model-based Analysis of Java EE Web Security Configurations

Salvador Martínez , Valerio Cosentino , Jordi Cabot

2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE), May 2016, Austin, Texas, United States. ⟨10.1145/2896982.2896986⟩

Communication dans un congrès hal-02868060v1
Deposit thumbnail

Runtime support for rule-based access-control evaluation through model-transformation

Salvador Martínez , Jokin Garcia , Jordi Cabot

the 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩

Communication dans un congrès hal-02864664v1
Deposit thumbnail

Enabling the Reuse of Stored Model Transformations Through Annotations

Javier Criado , Salvador Martínez , Luis Iribarne , Jordi Cabot

Theory and Practice of Model Transformations, Jul 2015, L'aquila, Italy. pp.15, ⟨10.1007/978-3-319-21155-8_4⟩

Communication dans un congrès hal-01257406v1
Deposit thumbnail

Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems

Salvador Martínez , Joaquin Garcia-Alfaro , Frédéric Cuppens , Nora Cuppens-Bouhlahia , Jordi Cabot

30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.218-233, ⟨10.1007/978-3-319-18467-8_15⟩

Communication dans un congrès hal-01152528v1
Deposit thumbnail

Parallel Execution of ATL Transformation Rules

Massimo Tisi , Salvador Martínez , Hassene Choura

MoDELS, Sep 2013, Miami, United States. pp.656-672

Communication dans un congrès hal-00869269v1

Towards an Access-Control Metamodel for Web Content Management Systems

Salvador Martinez Perez , García-Alfaro Joaquin , Cuppens Frédéric , Nora Cuppens-Boulahia , Jordi Cabot

ICWE 2013: the International Conference on Web Engineering - MDWE 2013: Model-Driven Web Engineering, Jul 2013, Aalborg, Denmark. pp 148-155

Communication dans un congrès hal-00869324v1

Model-Driven Extraction and Analysis of Network Security Policies

Salvador Martinez Perez , García-Alfaro Joaquin , Cuppens Frédéric , Nora Cuppens-Boulahia , Jordi Cabot

Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. pp.52-68

Communication dans un congrès hal-00869319v1

Reverse Engineering of Database Security Policies

Salvador Martínez , Martinez Cosentino , Jordi Cabot , Frédéric Cuppens

DEXA 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⟩

Communication dans un congrès istex hal-01161908v1
Deposit thumbnail

Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases

Valerio Cosentino , Salvador Martínez

13th International Workshop on OCL, Model Constraint and Query Languages, Sep 2013, Miami, United States

Communication dans un congrès hal-00869231v1

A model-driven approach for the extraction of network access-control policies

Salvador Martínez , García-Alfaro Joaquin , Cuppens Frédéric , Nora Cuppens-Boulahia , Jordi Cabot

Model-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria

Communication dans un congrès hal-00734230v1

Extending ATL for Native UML Profile Support: An Experience Report 49-62

Andrea Randak , Salvador Martínez , Manuel Wimmer

3rd International Workshop on Model Transformation with ATL (MtATL-2011), Jul 2011, Zürich, Switzerland. pp.49-62

Communication dans un congrès inria-00609024v1

Catálogo de refactorizaciones para transformaciones Modelo a Modelo

Salvador Martínez , Manuel Wimmer , Frédéric Jouault , Jordi Cabot

XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Sep 2011, A Coruña, España

Communication dans un congrès inria-00609451v1

Lazy Execution of Model-to-Model Transformations

Massimo Tisi , Salvador Martínez , Frédéric Jouault , Jordi Cabot

Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand

Communication dans un congrès inria-00609458v1