Publications
Journal Publications
- Efficient plagiarism detection for software modeling
assignments. Martínez, S., Wimmer M., Cabot J. Computer
Science Education (2020): 1-29.
- On Watermarking for Collaborative Model-Driven Engineering.
Martínez, S., Gérard S., Cabot J. IEEE Access 2018, Volume 6, pages
29715-29728 paper.
- Model-based Analysis of Java EE Web Security
Misconfigurations. Martínez, S., Cosentino V., Cabot J.
Computer Languages, Systems and Structures 2017 (in Press) paper.
- Reactive Model Transformations with ATL.
Martínez, S., Tisi M, Douence, R. Science of Computer Programming.
Volume 136, 1 March 2017, Pages 1- 16 paper.
- Management of stateful firewall misconfiguration.
Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., Martínez, S.,
and Cabot, J. Computers & Security, 39 :64-85. 16 paper.
- A catalogue of refactorings for model-to-model
transformations. Wimmer, M., Martínez, S., Jouault, F., and
Cabot, J. Journal of Object Technology, 11(2) :2-1. paper.
Book Chapters
- Model-Driven Reverse Engineering of Database Security
Policies.. Martínez, S., Cosentino V., Cuppens, F, Cabot J.
Ingénierie et management des systèmes d’information. Mélanges en
l’honneur de Jacky Akoka, 2016, Cepadues.
International Conferences
-
On the Need for Intellectual Property Protection in
Model-Driven Co-Engineering Processes. Martínez, S., Gérard
S, Cabot, J. Enterprise, Business-Process and
Information Systems Modeling. Springer, Cham, 2019. 169-177.
- Robust Hashing for Models. Martínez, S., Gérard S,
Cabot, J. Model-Driven Engineering Languages and Systems (MODELS’18).
paper
- Automatic Generation of Security Compliant (Virtual) Model
Views. Martínez, S., Fouché, A, Gérard S, Cabot J.
International Conference on Conceptual Modeling - ER 2018. paper
- Runtime Support for Rule-Based Access-Control Evaluation
Through Model-Transformation. Martínez, S., García J, Cabot
J. Software Language Engineering Conference SLE 2016, pages 57-69. Publisher site.
- Enabling the Reuse of Stored Model Transformations Through
Annotations. Criado, J., Martínez, S., Iribarne, L., and
Cabot, J. Theory and Practice of Model Transformations - 8th
International Conference, ICMT 2015, pages 43-58. Publisher
site
- Model-Driven Integration and Analysis of Access-control
Policies in Multi-layer Information Systems. Martínez, S.,
Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., and Cabot, J.
ICT Systems Security and Privacy Protection - 30th IFIP TC 11
International Conference, SEC 2015 (SEC’15), pages 218-233. Publisher
site
- Model-driven extraction and analysis of network security
policies. Martínez, S., Garcia-Alfaro, J., Cuppens, F.,
Cuppens-Boulahia, N., and Cabot, J. In Model-Driven Engineering
Languages and Systems (MODELS’13), pages 52-68. Publisher
site
- Reverse engineering of database security policies.
Martínez, S., Cosentino, V., Cabot, J., and Cuppens, F. In Database
and Expert Systems Applications DEXA, pages 442-449. Publisher
site
- Parallel execution of ATL transformation rules..
Tisi, M., Martínez, S., and Choura, H. In Model-Driven Engineering
Languages and Systems (MODELS’13), pages 656-672. Publisher
site
- Lazy execution of model-to-model transformations..
Tisi, M., Martínez, S., Jouault, F., and Cabot, J. In Model-Driven
Engineering Languages and Systems (MODELS’11), pages 32-46. Publisher
site
International Workshops
- Model-based Analysis of Java EE Web Security
Configurations. Martínez, S., Cosentino, V., and Cabot, J.
In Models In Software Engineering (MISE’16). Publisher
site
- Towards an access-control metamodel for web content
management systems. Martínez, S., Garcia-Alfaro, J.,
Cuppens, F., Cuppens-Boulahia, N., and Cabot, J. In Current Trends in
Web Engineering, pages 148-155. Publisher
site
- A model-driven approach for the extraction of network
access-control policies. Martínez, S., Cabot, J.,
Garcia-Alfaro, J., Cuppens, F., and Cuppens-Boulahia, N. In
Proceedings of the Workshop on Model-Driven Security MDSEC'12, page 5.
ACM. Publisher
site
- Extracting UML/OCL integrity constraints and derived types
from relational databases. Cosentino, V., Martínez, S. In
13th International Workshop on OCL, Model Constraint and Query
Languages. Publisher
site
- Extending ATL for native UML profile support : an
experience report.. Randak, A., Martínez, S., and Wimmer,
M. Proceedings of the 3rd International Workshop on Model Trans-
formation with ATL (MtATL11), pages 49-62.
National Conferences
- Advanced execution modes for model transformation
languages. Martínez, S. and Cabot, J. Jornadas de
Ingeniería del Software y Bases de Datos, JISBD), 2011.
- Catálogo de refactorizaciones para transformaciones modelo
a modelo.. Martínez, S. and Cabot, J. Jornadas de
Ingeniería del Software y Bases de Datos, JISBD), 2011.
Technical Reports and Project Communications
- Refining models with rule-based model transformations.
Tisi, M., Martínez, S., Jouault, F., Cabot, J. Publisher
site
- Portolan : a model- driven cartography framework.
Mahe, V., Martínez, S., Doux, G., Brunelière, H., and Cabot, J. arXiv
preprint arXiv :1102.4684 Publisher
site
- Polarsys industry working group : Model Driven and
Organizational Interoperability in the Eclipse Ecosystem..
Blondelle, G., Combemale, B., Dolques, X., Martinez, S., Phung-Khac,
A., and Tisi, M.