Salvador Martínez Perez

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 11

Top Venues

MoDELS (Companion)

MiSE@ICSE

Comput. Lang. Syst. Struct.

BPMDS/EMMSAD@CAiSE

École des mines de Nantes, France (PHD)

Education History

École des mines de Nantes, France

PHD

Publications

Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez
Maintaining Security Consistency During System Development with Security-Oriented Model Federation. ICSSP (2024)
Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez
Towards Evolving Secured Multi-Model Systems with Model Federation. MoDELS (Companion) (2023)
Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez Perez
Monitoring Association Constraints in Model-Oriented Programming. MoDELS (Companion) (2023)
Antonia M. Reina Quintero, Salvador Martínez Perez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Jordi Cabot
A domain-specific language for the specification of UCON policies. J. Inf. Secur. Appl. 64 (2022)
Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, Maria-Teresa Segarra
An analysis of software design understanding & motivation of engineering students. MoDELS (Companion) (2022)
Elena Planas, Salvador Martínez Perez, Marco Brambilla, Jordi Cabot
Towards Access Control Models for Conversational User Interfaces. BPMDS/EMMSAD@CAiSE (2022)
Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez Perez
Multi-Level Modeling with Openflexo/FML A Contribution to the Multi-Level Process Challenge. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022)
Salvador Martínez Perez, Massimo Tisi, Rémi Douence
Reactive model transformation with ATL. Sci. Comput. Program. 136 (2017)
Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot
Model-based analysis of Java EE web security misconfigurations. Comput. Lang. Syst. Struct. 49 (2017)
Salvador Martínez Perez, Jokin García, Jordi Cabot
Runtime support for rule-based access-control evaluation through model-transformation. SLE (2016)
Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot
Model-based analysis of Java EE web security configurations. MiSE@ICSE (2016)
Javier Criado, Salvador Martínez Perez, Luis Iribarne, Jordi Cabot
Enabling the Reuse of Stored Model Transformations Through Annotations. ICMT (2015)
Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems. SEC (2015)
Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot, Frédéric Cuppens
Reverse Engineering of Database Security Policies. DEXA (2) (2013)
Massimo Tisi, Salvador Martínez Perez, Hassene Choura
Parallel Execution of ATL Transformation Rules. MoDELS (2013)
Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
Towards an Access-Control Metamodel for Web Content Management Systems. ICWE Workshops (2013)
Valerio Cosentino, Salvador Martínez Perez
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. OCL@MoDELS (2013)
Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
Model-Driven Extraction and Analysis of Network Security Policies. MoDELS (2013)
Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Salvador Martínez Perez, Jordi Cabot
Management of stateful firewall misconfiguration. Comput. Secur. 39 (2013)
Manuel Wimmer, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot
A Catalogue of Refactorings for Model-to-Model Transformations. J. Object Technol. 11 (2) (2012)
Salvador Martínez Perez, Jordi Cabot, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia
A model-driven approach for the extraction of network access-control policies. MDsec@MoDELS (2012)
Vincent Mahé, Salvador Martínez Perez, Guillaume Doux, Hugo Brunelière, Jordi Cabot
P ORTOLAN: a Model-Driven Cartography Framework CoRR (2011)
Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot
Lazy Execution of Model-to-Model Transformations. MoDELS (2011)
Andrea Randak, Salvador Martínez Perez, Manuel Wimmer
Extending ATL for Native UML Profile Support: An Experience Report. MtATL@TOOLS (2011)
E. Victor Sánchez Rebull, Orlando Avila-García, Pablo J. Hernández, Salvador Martínez Perez, Antonio Estévez
ModelSET Component Framework: Refinando el Ciclo de Vida de MDA. JISBD (2009)

Salvador Martínez Perez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Salvador Martínez Perez