Access content directly

Salvador Martínez

Salvador Martínez - Associate Professor, IMT Atlantique
Current affiliations
  • 489780
  • 1067623
  • 481355
Researcher identifiers



Image document

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⟩
Journal articles hal-04308465v1

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⟩
Journal articles hal-03692372v1

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⟩
Journal articles hal-03524313v1

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⟩
Journal articles hal-03316737v1
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⟩
Journal articles hal-03217126v1
Image document

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⟩
Journal articles 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⟩
Journal articles hal-02863646v1
Image document

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/⟩
Journal articles cea-01803832v1
Image document

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⟩
Journal articles hal-01627991v1

Management of stateful firewall misconfiguration

García-Alfaro Joaquin , Cuppens Frédéric , Nora Cuppens-Boulahia , Salvador Martinez Perez , Jordi Cabot
Computers and Security, 2013, 39 (11), pp.64-85
Journal articles 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⟩
Journal articles hal-00734216v1
Image document

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
Conference papers hal-04254748v1
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⟩
Conference papers hal-04240673v1
Image document

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⟩
Conference papers hal-03685799v1
Image document

An analysis of software design understanding & motivation of engineering students

Jean-Christophe Bach , Antoine Beugnard , Jean-Loup Castaigne , Julien Mallet , Salvador Martínez
MODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada
Conference papers 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⟩
Conference papers cea-02572729v1
Image document

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⟩
Conference papers hal-02388808v1
Image document

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⟩
Conference papers hal-02863658v1
Image document

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⟩
Conference papers hal-02864664v1
Image document

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⟩
Conference papers hal-02868060v1
Image document

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⟩
Conference papers hal-01257406v1
Image document

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⟩
Conference papers hal-01152528v1

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
Conference papers hal-00869324v1
Image document

Parallel Execution of ATL Transformation Rules

Massimo Tisi , Salvador Martínez , Hassene Choura
MoDELS, Sep 2013, Miami, United States. pp.656-672
Conference papers hal-00869269v1
Image document

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
Conference papers hal-00869231v1

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⟩
Conference papers hal-01161908v1

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
Conference papers hal-00869319v1

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
Conference papers hal-00734230v1

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
Conference papers inria-00609451v1

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
Conference papers inria-00609024v1

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
Conference papers inria-00609458v1