Seguir
Salvador Martínez
Salvador Martínez
Associate professor - IMT Atlantique (Brest)
Dirección de correo verificada de imt-atlantique.fr - Página principal
Título
Citado por
Citado por
Año
Parallel execution of ATL transformation rules
M Tisi, S Martínez, H Choura
International Conference on Model Driven Engineering Languages and Systems …, 2013
602013
A Catalogue of Refactorings for Model-to-Model Transformations.
M Wimmer, SM Perez, F Jouault, J Cabot
Journal of Object Technology 11 (2), 2:1-40, 2012
592012
Lazy execution of model-to-model transformations
M Tisi, S Martínez, F Jouault, J Cabot
International Conference on Model Driven Engineering Languages and Systems …, 2011
492011
Management of stateful firewall misconfiguration
J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, S Martinez, J Cabot
Computers & Security 39, 64-85, 2013
432013
Reactive model transformation with ATL
S Martínez, M Tisi, R Douence
Science of Computer Programming 136, 1-16, 2017
362017
Refining models with rule-based model transformations
M Tisi, S Martínez, F Jouault, J Cabot
INRIA, 2011
272011
Towards an access-control metamodel for web content management systems
S Martínez, J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, J Cabot
Current Trends in Web Engineering: ICWE 2013 International Workshops …, 2013
202013
A model-driven approach for the extraction of network access-control policies
S Martínez, J Cabot, J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia
Proceedings of the Workshop on Model-Driven Security, 1-6, 2012
192012
Model-based analysis of Java EE web security misconfigurations
S Martínez, V Cosentino, J Cabot
Computer Languages, Systems & Structures 49, 36-61, 2017
162017
Model-Driven Extraction and Analysis of Network Security Policies
S Martínez, J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, J Cabot
Model-Driven Engineering Languages and Systems, 52-68, 2013
162013
Robust Hashing for Models
S Martínez, S Gérard, J Cabot
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
132018
On Watermarking for Collaborative Model-Driven Engineering
S Martínez, S Gérard, J Cabot
IEEE Access 6, 29715 - 29728, 2018
122018
Extracting UML/OCL integrity constraints and derived types from relational databases
V Cosentino, S Martinez
13th international workshop on OCL, model constraint and query languages, 2013
112013
Efficient plagiarism detection for software modeling assignments
S Martínez, M Wimmer, J Cabot
Computer Science Education 30 (2), 187-215, 2020
102020
Runtime support for rule-based access-control evaluation through model-transformation
S Martínez, J García, J Cabot
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
102016
Model-based analysis of Java EE web security configurations
S Martínez, V Cosentino, J Cabot
Proceedings of the 8th International Workshop on Modeling in Software …, 2016
102016
Enabling the reuse of stored model transformations through annotations
J Criado, S Martínez, L Iribarne, J Cabot
Theory and Practice of Model Transformations: 8th International Conference …, 2015
82015
Reverse Engineering of Database Security Policies
S Martínez, V Cosentino, J Cabot, F Cuppens
Database and Expert Systems Applications, 442-449, 2013
82013
P ORTOLAN: a Model-Driven Cartography Framework
V Mahe, SM Perez, G Doux, H Brunelière, J Cabot
arXiv preprint arXiv:1102.4684, 2011
72011
Extending ATL for native UML profile support: an experience report
A Randak, S Martınez, M Wimmer
Proceedings of the 3rd International Workshop on Model Transformation with …, 2011
72011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20