Parallel execution of ATL transformation rules M Tisi, S Martínez, H Choura International Conference on Model Driven Engineering Languages and Systems …, 2013 | 62 | 2013 |
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 | 61 | 2012 |
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 | 49 | 2011 |
Management of stateful firewall misconfiguration J Garcia-Alfaro, F Cuppens, N Cuppens-Boulahia, S Martinez, J Cabot Computers & Security 39, 64-85, 2013 | 43 | 2013 |
Reactive model transformation with ATL S Martínez, M Tisi, R Douence Science of Computer Programming 136, 1-16, 2017 | 38 | 2017 |
Refining models with rule-based model transformations M Tisi, S Martínez, F Jouault, J Cabot INRIA, 2011 | 27 | 2011 |
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 | 20 | 2013 |
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 | 19 | 2012 |
Model-based analysis of Java EE web security misconfigurations S Martínez, V Cosentino, J Cabot Computer Languages, Systems & Structures 49, 36-61, 2017 | 16 | 2017 |
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 | 16 | 2013 |
Robust Hashing for Models S Martínez, S Gérard, J Cabot Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018 | 14 | 2018 |
On Watermarking for Collaborative Model-Driven Engineering S Martínez, S Gérard, J Cabot IEEE Access 6, 29715 - 29728, 2018 | 14 | 2018 |
Efficient plagiarism detection for software modeling assignments S Martínez, M Wimmer, J Cabot Computer Science Education 30 (2), 187-215, 2020 | 11 | 2020 |
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 | 11 | 2016 |
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 | 11 | 2013 |
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 | 10 | 2016 |
Reverse Engineering of Database Security Policies S Martínez, V Cosentino, J Cabot, F Cuppens Database and Expert Systems Applications, 442-449, 2013 | 9 | 2013 |
Efficient model similarity estimation with robust hashing S Martínez, S Gérard, J Cabot Software and Systems Modeling 21 (1), 337-361, 2022 | 8 | 2022 |
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 | 8 | 2015 |
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 | 7 | 2022 |