Salvador Martínez
TitleCited byYear
Parallel execution of atl transformation rules
M Tisi, S Martinez, H Choura
International Conference on Model Driven Engineering Languages and Systems …, 2013
372013
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
372012
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
362011
Management of stateful firewall misconfiguration
J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, S Martinez, J Cabot
Computers & Security 39, 64-85, 2013
252013
Refining models with rule-based model transformations
M Tisi, S Martínez, F Jouault, J Cabot
INRIA, 2011
242011
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
102013
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
92013
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
92013
Reverse Engineering of Database Security Policies
S Martínez, V Cosentino, J Cabot, F Cuppens
Database and Expert Systems Applications, 442-449, 2013
92013
Reactive model transformation with ATL
S Martínez, M Tisi, R Douence
Science of Computer Programming 136, 1-16, 2017
72017
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
72015
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, 5, 2012
72012
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
62016
P ORTOLAN: a Model-Driven Cartography Framework
V Mahe, SM Perez, G Doux, H Brunelière, J Cabot
arXiv preprint arXiv:1102.4684, 2011
62011
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
On Watermarking for Collaborative Model-Driven Engineering
S Martínez, S Gérard, J Cabot
IEEE Access 6, 29715 - 29728, 2018
52018
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
42016
Model-based Analysis of Java EE Web Security Misconfigurations
S Martínez, V Cosentino, J Cabot
Computer Languages, Systems & Structures, 2017
22017
Automatic Generation of Security Compliant (Virtual) Model Views
S Martínez, A Fouche, S Gérard, J Cabot
International Conference on Conceptual Modeling, 109-117, 2018
12018
Model-driven integration and analysis of access-control policies in multi-layer information systems
S Martínez, J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, J Cabot
IFIP International Information Security and Privacy Conference, 218-233, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20