default search action

combined dblp search
author search
venue search
publication search

ask others

Salvador Martínez Perez

Salvador Martínez 0001

> Home > Persons

Person information

affiliation: IMT-Atlantique, Brest, France
affiliation (former): CEA-List LISE lab, Paris-Saclay, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2014
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Martinez14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Martinez14a
Salvador Martínez Perez:
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). École des mines de Nantes, France, 2014

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/PlanasMBC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PlanasMBC23
Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot:
Modeling and enforcing access control policies in conversational user interfaces. Softw. Syst. Model. 22(6): 1925-1944 (2023)
2022
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/emisaij/GuerinCBBDP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/emisaij/GuerinCBBDP22
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)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/QuinteroPVLC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/QuinteroPVLC22
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: 103006 (2022)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MartinezGC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MartinezGC22
Salvador Martínez, Sébastien Gérard, Jordi Cabot:
Efficient model similarity estimation with robust hashing. Softw. Syst. Model. 21(1): 337-361 (2022)
2021
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GuerinPSCBMDB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GuerinPSCBMDB21
Sylvain Guérin, Guillaume Polet, Caine Silva, Joël Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard:
PAMELA: An annotation-based Java modeling framework. Sci. Comput. Program. 210: 102668 (2021)
2020
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/csedu/MartinezWC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csedu/MartinezWC20
Salvador Martínez, Manuel Wimmer, Jordi Cabot:
Efficient plagiarism detection for software modeling assignments. Comput. Sci. Educ. 30(2): 187-215 (2020)
2018
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/MartinezGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/MartinezGC18
Salvador Martínez, Sebastien Gerard, Jordi Cabot:
On Watermarking for Collaborative Model-Driven Engineering. IEEE Access 6: 29715-29728 (2018)
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/PerezCC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PerezCC17
Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot:
Model-based analysis of Java EE web security misconfigurations. Comput. Lang. Syst. Struct. 49: 36-61 (2017)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/PerezTD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PerezTD17
Salvador Martínez Perez, Massimo Tisi, Rémi Douence:
Reactive model transformation with ATL. Sci. Comput. Program. 136: 1-16 (2017)
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/Garcia-AlfaroCCPC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/Garcia-AlfaroCCPC13
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: 64-85 (2013)
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/WimmerPJC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/WimmerPJC12
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): 2: 1-40 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/GuerinC0M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/GuerinC0M24
Sylvain Guérin, Joël Champeau, Salvador Martínez, Raúl Mazo:
Security Contracts a Property-Based Approach to Support Security Patterns. ICISSP 2024: 103-111
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/BoudjemilaDP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/BoudjemilaDP24
Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez:
Maintaining Security Consistency During System Development with Security-Oriented Model Federation. ICSSP 2024
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BachBCDG024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BachBCDG024
Jean-Christophe Bach, Antoine Beugnard, Joël Champeau, Fabien Dagnat, Sylvain Guérin, Salvador Martínez:
10 years of Model Federation with Openflexo: Challenges and Lessons Learned. MODELS 2024: 25-36
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BeaumontBPUV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BeaumontBPUV24
Gwendal G. Beaumont, Antoine Beugnard, Salvador Martínez Perez, Christelle Urtado, Sylvain Vauttier:
Towards Re-Engineering Digital Twins: Preliminary Experiments on Three Use Cases. MoDELS (Companion) 2024: 453-458
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AmraniMG0GMBBH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AmraniMG0GMBBH24
Moussa Amrani, Rakshit Mittal, Miguel Goulão, Vasco Amaral, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak:
A Survey of Federative Approaches for Model Management in MBSE. MoDELS (Companion) 2024: 990-999
2023
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/models/GuerinCBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GuerinCBP23
Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez Perez:
Monitoring Association Constraints in Model-Oriented Programming. MoDELS (Companion) 2023: 375-380
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BoudjemilaDP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BoudjemilaDP23
Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez:
Towards Evolving Secured Multi-Model Systems with Model Federation. MoDELS (Companion) 2023: 939-943
2022
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/bpmds/PlanasP0C22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpmds/PlanasP0C22
Elena Planas, Salvador Martínez Perez, Marco Brambilla, Jordi Cabot:
Towards Access Control Models for Conversational User Interfaces. BPMDS/EMMSAD@CAiSE 2022: 310-317
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BachBCMPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BachBCMPS22
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: 123-130
2019
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/MartinezGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/MartinezGC19
Salvador Martínez, Sebastien Gerard, Jordi Cabot:
On the Need for Intellectual Property Protection in Model-Driven Co-Engineering Processes. BPMDS/EMMSAD@CAiSE 2019: 169-177
2018
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/er/MartinezFGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/MartinezFGC18
Salvador Martínez, Alexis Fouche, Sébastien Gérard, Jordi Cabot:
Automatic Generation of Security Compliant (Virtual) Model Views. ER 2018: 109-117
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/models/MartinezGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MartinezGC18
Salvador Martínez, Sébastien Gérard, Jordi Cabot:
Robust Hashing for Models. MoDELS 2018: 312-322
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PerezCC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PerezCC16
Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot:
Model-based analysis of Java EE web security configurations. MiSE@ICSE 2016: 55-61
[c12]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/sle/PerezGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/PerezGC16
Salvador Martínez Perez, Jokin García, Jordi Cabot:
Runtime support for rule-based access-control evaluation through model-transformation. SLE 2016: 57-69
2015
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/CriadoMIC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/CriadoMIC15
Javier Criado, Salvador Martínez Perez, Luis Iribarne, Jordi Cabot:
Enabling the Reuse of Stored Model Transformations Through Annotations. ICMT 2015: 43-58
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sec/PerezGCCC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/PerezGCCC15
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: 218-233
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/PerezCCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/PerezCCC13
Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot, Frédéric Cuppens:
Reverse Engineering of Database Security Policies. DEXA (2) 2013: 442-449
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icwe/PerezGCCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/PerezGCCC13
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: 148-155
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/CosentinoP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CosentinoP13
Valerio Cosentino, Salvador Martínez Perez:
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. OCL@MoDELS 2013: 43-52
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PerezGCCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PerezGCCC13
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: 52-68
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/models/TisiPC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/TisiPC13
Massimo Tisi, Salvador Martínez Perez, Hassene Choura:
Parallel Execution of ATL Transformation Rules. MoDELS 2013: 656-672
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PerezCGCC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PerezCGCC12
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: 5
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/models/TisiPJC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/TisiPJC11
Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot:
Lazy Execution of Model-to-Model Transformations. MoDELS 2011: 32-46
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tools/RandakPW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/RandakPW11
Andrea Randak, Salvador Martínez Perez, Manuel Wimmer:
Extending ATL for Native UML Profile Support: An Experience Report. MtATL@TOOLS 2011: 49-62
2009
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/RebullAHME09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/RebullAHME09
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: 174-177

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1102-4684
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4684
Vincent Mahé, Salvador Martínez Perez, Guillaume Doux, Hugo Bruneliere, Jordi Cabot:
P ORTOLAN: a Model-Driven Cartography Framework. CoRR abs/1102.4684 (2011)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.