Salvador Martínez Perez

According to our database, Salvador Martínez Perez authored at least 34 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Security Contracts a Property-Based Approach to Support Security Patterns.

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

Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024

2023

Modeling and enforcing access control policies in conversational user interfaces.

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

Softw. Syst. Model., December, 2023

Monitoring Association Constraints in Model-Oriented Programming.

Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez Perez

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Towards Evolving Secured Multi-Model Systems with Model Federation.

Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Efficient model similarity estimation with robust hashing.

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

Softw. Syst. Model., 2022

A domain-specific language for the specification of UCON policies.

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

J. Inf. Secur. Appl., 2022

Multi-Level Modeling with Openflexo/FML A Contribution to the Multi-Level Process Challenge.

Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez Perez

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022

An analysis of software design understanding & motivation of engineering students.

Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, Maria-Teresa Segarra

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Towards Access Control Models for Conversational User Interfaces.

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

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

2021

PAMELA: An annotation-based Java modeling framework.

Sylvain Guérin, Guillaume Polet, Caine Silva, Joël Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard

Sci. Comput. Program., 2021

2020

Efficient plagiarism detection for software modeling assignments.

Salvador Martínez, Manuel Wimmer, Jordi Cabot

Comput. Sci. Educ., 2020

2019

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

Salvador Martínez, Sebastien Gerard, Jordi Cabot

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019

2018

On Watermarking for Collaborative Model-Driven Engineering.

Salvador Martínez, Sebastien Gerard, Jordi Cabot

IEEE Access, 2018

Robust Hashing for Models.

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

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Automatic Generation of Security Compliant (Virtual) Model Views.

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

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

2017

Reactive model transformation with ATL.

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

Sci. Comput. Program., 2017

Model-based analysis of Java EE web security misconfigurations.

Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot

Comput. Lang. Syst. Struct., 2017

2016

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

Salvador Martínez Perez, Jokin García, Jordi Cabot

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Model-based analysis of Java EE web security configurations.

Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

2015

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

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

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Enabling the Reuse of Stored Model Transformations Through Annotations.

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

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Automatic reconstruction and analysis of security policies from deployed security components. (Analyse et reconstruction automatique de politiques de sécurité de composants de sécurité déployés).

Salvador Martínez Perez

PhD thesis, 2014

2013

Management of stateful firewall misconfiguration.

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

Comput. Secur., 2013

Parallel Execution of ATL Transformation Rules.

Massimo Tisi, Salvador Martínez Perez, Hassene Choura

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Model-Driven Extraction and Analysis of Network Security Policies.

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

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

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

Valerio Cosentino, Salvador Martínez Perez

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Towards an Access-Control Metamodel for Web Content Management Systems.

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

Proceedings of the Current Trends in Web Engineering, 2013

Reverse Engineering of Database Security Policies.

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

Proceedings of the Database and Expert Systems Applications, 2013

2012

A Catalogue of Refactorings for Model-to-Model Transformations.

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

J. Object Technol., 2012

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

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

Proceedings of the Model-Driven Security Workshop, 2012

2011

P ORTOLAN: a Model-Driven Cartography Framework

Vincent Mahé, Salvador Martínez Perez, Guillaume Doux, Hugo Bruneliere, Jordi Cabot

CoRR, 2011

Extending ATL for Native UML Profile Support: An Experience Report.

Andrea Randak, Salvador Martínez Perez, Manuel Wimmer

Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011

Lazy Execution of Model-to-Model Transformations.

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

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2009

ModelSET Component Framework: Refinando el Ciclo de Vida de MDA.

E. Victor Sánchez Rebull, Orlando Avila-García, Pablo J. Hernández, Salvador Martínez Perez, Antonio Estévez

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009