Publications

Journal Publications

  1. On Watermarking for Collaborative Model-Driven Engineering. Martínez, S., Gérard S., Cabot J. IEEE Access 2018, Volume 6, pages 29715-29728 paper.
  2. 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.
  3. 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.
  4. 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.
  5. 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

  1. 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

  1. Robust Hashing for Models. Martínez, S., Gérard S, Cabot Model-Driven Engineering Languages and Systems (MODELS’18). paper
  2. 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
  3. 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.
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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

  1. 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.
  2. 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

  1. Refining models with rule-based model transformations. Tisi, M., Martínez, S., Jouault, F., Cabot, J. Publisher site
  2. 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
  3. 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.