default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSalvador Martínez Perez
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
2020 – today
- 2024
[c25]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]Chahrazed Boudjemila
, Fabien Dagnat, Salvador Martínez Perez:
Maintaining Security Consistency During System Development with Security-Oriented Model Federation. ICSSP 2024 - [c23]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]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]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
- [j11]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) - [c20]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]Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez:
Towards Evolving Secured Multi-Model Systems with Model Federation. MoDELS (Companion) 2023: 939-943 - 2022
- [j10]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]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]Salvador Martínez, Sébastien Gérard, Jordi Cabot:
Efficient model similarity estimation with robust hashing. Softw. Syst. Model. 21(1): 337-361 (2022) - [c18]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]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 - 2021
- [j7]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]Salvador Martínez, Manuel Wimmer, Jordi Cabot:
Efficient plagiarism detection for software modeling assignments. Comput. Sci. Educ. 30(2): 187-215 (2020)
2010 – 2019
- 2019
- [c16]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
- [j5]Salvador Martínez, Sebastien Gerard, Jordi Cabot:
On Watermarking for Collaborative Model-Driven Engineering. IEEE Access 6: 29715-29728 (2018) - [c15]Salvador Martínez, Alexis Fouche, Sébastien Gérard, Jordi Cabot:
Automatic Generation of Security Compliant (Virtual) Model Views. ER 2018: 109-117 - [c14]Salvador Martínez, Sébastien Gérard, Jordi Cabot:
Robust Hashing for Models. MoDELS 2018: 312-322 - 2017
- [j4]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]Salvador Martínez Perez, Massimo Tisi, Rémi Douence:
Reactive model transformation with ATL. Sci. Comput. Program. 136: 1-16 (2017) - 2016
- [c13]Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot:
Model-based analysis of Java EE web security configurations. MiSE@ICSE 2016: 55-61 - [c12]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]Javier Criado, Salvador Martínez Perez, Luis Iribarne, Jordi Cabot:
Enabling the Reuse of Stored Model Transformations Through Annotations. ICMT 2015: 43-58 - [c10]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 - 2014
- [b1]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 - 2013
- [j2]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) - [c9]Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot, Frédéric Cuppens:
Reverse Engineering of Database Security Policies. DEXA (2) 2013: 442-449 - [c8]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]Valerio Cosentino, Salvador Martínez Perez:
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. OCL@MoDELS 2013: 43-52 - [c6]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]Massimo Tisi, Salvador Martínez Perez, Hassene Choura:
Parallel Execution of ATL Transformation Rules. MoDELS 2013: 656-672 - 2012
- [j1]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) - [c4]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]Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot:
Lazy Execution of Model-to-Model Transformations. MoDELS 2011: 32-46 - [c2]Andrea Randak, Salvador Martínez Perez, Manuel Wimmer:
Extending ATL for Native UML Profile Support: An Experience Report. MtATL@TOOLS 2011: 49-62 - [i1]Vincent Mahé, Salvador Martínez Perez, Guillaume Doux, Hugo Bruneliere, Jordi Cabot:
P ORTOLAN: a Model-Driven Cartography Framework. CoRR abs/1102.4684 (2011)
2000 – 2009
- 2009
- [c1]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
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
