Publications

Journal Publications

  1. Modeling and enforcing access control policies in conversational user interfaces.. Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot. Software and Systems Modeling, 2023 publisher site
  2. Multi-Level Modeling with Openflexo/FML A Contribution to the Multi-Level Process Challenge.. Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez Perez. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. (2022): volume 17 publisher site
  3. A domain-specific language for the specification of UCON policies.. Antonia M. Reina Quintero, Salvador Martínez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Jordi Cabot. Journal of Information Security and Applications (2022): volume 64 pages 103006 publisher site
  4. Efficient model similarity estimation with robust hashing. Martínez, S., Gérard S, Cabot, J. Software and Systems Modeling, 2021 Volume 21, pages 337--361 publisher site
  5. PAMELA: An annotation-based Java modeling framework. Sylvain Guérin, Guillaume Polet, Caine Silva, Joël Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard. Science of Computer Programming (2021): 102668
  6. Efficient plagiarism detection for software modeling assignments. Martínez, S., Wimmer M., Cabot J. Computer Science        Education (2020): 1-29.
  7. On Watermarking for Collaborative Model-Driven Engineering. Martínez, S., Gérard S., Cabot J. IEEE Access 2018, Volume 6, pages 29715-29728 paper.
  8. 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.
  9. 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.
  10. 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.
  11. 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. Towards Re-Engineering Digital Twins Gwendal Beaumont, Antoine Beugnard, Salvador Martínez, Christelle Urtado, Sylvain Vauttier. ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems - EDTConf (MODELS Companion '24), Sep 2024, Linz, Austria paper
  2. 10 years of Model Federation with Openflexo: Challenges and Lessons Learned Jean-Christophe Bach, Antoine Beugnard, Joël Champeau, Fabien Dagnat, Sylvain Guérin, Salvador Martínez. MODELS 2024, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩ paper
  3. Maintaining Security Consistency During System Development with Security-Oriented Model Federation Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez. International Conference on Software and Systems Processes (ICSSP ’24), Sep 2024, Munich, Germany. ⟨10.1145/3666015.3666016⟩ paper
  4. Security Contracts: a Property-Based Approach to Support Security Patterns Sylvain Guérin, Joël Champeau, Salvador Martínez, Raul Mazo. 10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩ paper
  5. Towards Access Control Models for Conversational User Interfaces. Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot. EMMSAD. 2022. paper
  6. An analysis of software design understanding & motivation of engineering students.. Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, Maria-Teresa Segarra. Models Educators Symposium. 2022. paper
  7. 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.
  8. Robust Hashing for Models. Martínez, S., Gérard S, Cabot, J. Model-Driven Engineering Languages and Systems (MODELS’18). paper
  9. 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
  10. 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.
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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. A Survey of Federative Approaches for Model Management in MBSE Moussa Amrani, Mittal Rakshit, Miguel Goulão, Vasco Amaral, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak. 1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩ HAL site
  2. Monitoring Association Constraints in Model-Oriented Programming Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez. In ME 2023: 16th Workshop on Models and Evolution, MODELS 2023, Oct 2023, Vasteras, Sweden HAL site
  3. Towards evolving secured multi-model systems with model federation Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez. In 5th International Workshop on Modeling Language Engineering, MODELS 2023, Oct 2023, Vasteras, Sweden HAL site
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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.