Follow
Salvador Martínez
Salvador Martínez
IMT Atlantique (Brest)
Verified email at imt-atlantique.fr - Homepage
Title
Cited by
Cited by
Year
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
532012
Parallel execution of ATL transformation rules
M Tisi, S Martínez, H Choura
International Conference on Model Driven Engineering Languages and Systems …, 2013
512013
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
472011
Management of stateful firewall misconfiguration
J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, S Martinez, J Cabot
Computers & Security 39, 64-85, 2013
362013
Reactive model transformation with ATL
S Martínez, M Tisi, R Douence
Science of Computer Programming 136, 1-16, 2017
302017
Refining models with rule-based model transformations
M Tisi, S Martínez, F Jouault, J Cabot
INRIA, 2011
252011
Towards an access-control metamodel for web content management systems
S Martínez, J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, J Cabot
International Conference on Web Engineering, 148-155, 2013
212013
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
152013
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
132012
On Watermarking for Collaborative Model-Driven Engineering
S Martínez, S Gérard, J Cabot
IEEE Access 6, 29715 - 29728, 2018
112018
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
Model-based analysis of Java EE web security configurations
S Martínez, V Cosentino, J Cabot
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering …, 2016
102016
Reverse Engineering of Database Security Policies
S Martínez, V Cosentino, J Cabot, F Cuppens
Database and Expert Systems Applications, 442-449, 2013
102013
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
92016
Enabling the reuse of stored model transformations through annotations
J Criado, S Martínez, L Iribarne, J Cabot
International Conference on Theory and Practice of Model Transformations, 43-58, 2015
92015
Model-based analysis of Java EE web security misconfigurations
S Martínez, V Cosentino, J Cabot
Computer Languages, Systems & Structures 49, 36-61, 2017
72017
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
Robust Hashing for Models
S Martínez, S Gérard, J Cabot
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
62018
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
62011
Efficient plagiarism detection for software modeling assignments
S Martínez, M Wimmer, J Cabot
Computer Science Education 30 (2), 187-215, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20