Volgen
Salvador Martínez
Salvador Martínez
Associate professor - IMT Atlantique (Brest)
Geverifieerd e-mailadres voor imt-atlantique.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20