关注
Salvador Martínez
Salvador Martínez
Associate professor - IMT Atlantique (Brest)
在 imt-atlantique.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Parallel execution of ATL transformation rules
M Tisi, S Martínez, H Choura
International Conference on Model Driven Engineering Languages and Systems …, 2013
622013
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
612012
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
382017
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
142018
On Watermarking for Collaborative Model-Driven Engineering
S Martínez, S Gérard, J Cabot
IEEE Access 6, 29715 - 29728, 2018
142018
Efficient plagiarism detection for software modeling assignments
S Martínez, M Wimmer, J Cabot
Computer Science Education 30 (2), 187-215, 2020
112020
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
112016
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
Proceedings of the 8th International Workshop on Modeling in Software …, 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
92013
Efficient model similarity estimation with robust hashing
S Martínez, S Gérard, J Cabot
Software and Systems Modeling 21 (1), 337-361, 2022
82022
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
A domain-specific language for the specification of UCON policies
AMR Quintero, SM Pérez, ÁJ Varela-Vaca, MTG López, J Cabot
Journal of Information Security and Applications 64, 103006, 2022
72022
系统目前无法执行此操作,请稍后再试。
文章 1–20