ModelSET Component Framework: Refinando el Ciclo de Vida de MDA. - E. Victor Sánchez Rebull; Orlando Avila-García; Pablo J. Hernández; Salvador Martínez Perez; Antonio Estévez (JISBD, 2009)

Lazy Execution of Model-to-Model Transformations. - Massimo Tisi; Salvador Martínez Perez; Frédéric Jouault; Jordi Cabot (MoDELS, 2011)

Extending ATL for Native UML Profile Support: An Experience Report. - Andrea Randak; Salvador Martínez Perez; Manuel Wimmer (MtATL@TOOLS, 2011)

P ORTOLAN: a Model-Driven Cartography Framework - Vincent Mahé; Salvador Martínez Perez; Guillaume Doux; Hugo Bruneliere; Jordi Cabot (CoRR, 2011)

A model-driven approach for the extraction of network access-control policies. - Salvador Martínez Perez; Jordi Cabot; Joaquín García-Alfaro; Frédéric Cuppens; Nora Cuppens-Boulahia (MDsec@MoDELS, 2012)

A Catalogue of Refactorings for Model-to-Model Transformations. - Manuel Wimmer; Salvador Martínez Perez; Frédéric Jouault; Jordi Cabot (J. Object Technol., 2012)

Reverse Engineering of Database Security Policies. - Salvador Martínez Perez; Valerio Cosentino; Jordi Cabot; Frédéric Cuppens (DEXA (2), 2013)

Towards an Access-Control Metamodel for Web Content Management Systems. - Salvador Martínez Perez; Joaquín García-Alfaro; Frédéric Cuppens; Nora Cuppens-Boulahia; Jordi Cabot (ICWE Workshops, 2013)

Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. - Valerio Cosentino; Salvador Martínez Perez (OCL@MoDELS, 2013)

Model-Driven Extraction and Analysis of Network Security Policies. - Salvador Martínez Perez; Joaquín García-Alfaro; Frédéric Cuppens; Nora Cuppens-Boulahia; Jordi Cabot (MoDELS, 2013)

Parallel Execution of ATL Transformation Rules. - Massimo Tisi; Salvador Martínez Perez; Hassene Choura (MoDELS, 2013)

Management of stateful firewall misconfiguration. - Joaquín García-Alfaro; Frédéric Cuppens; Nora Cuppens-Boulahia; Salvador Martínez Perez; Jordi Cabot (Comput. Secur., 2013)

Automatic reconstruction and analysis of security policies from deployed security components. (Analyse et reconstruction automatique de politiques de sécurité de composants de sécurité déployés). - Salvador Martínez Perez (2014)

Enabling the Reuse of Stored Model Transformations Through Annotations. - Javier Criado; Salvador Martínez Perez; Luis Iribarne; Jordi Cabot (ICMT, 2015)

Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems. - Salvador Martínez Perez; Joaquín García-Alfaro; Frédéric Cuppens; Nora Cuppens-Boulahia; Jordi Cabot (SEC, 2015)

Model-based analysis of Java EE web security configurations. - Salvador Martínez Perez; Valerio Cosentino; Jordi Cabot (MiSE@ICSE, 2016)

Runtime support for rule-based access-control evaluation through model-transformation. - Salvador Martínez Perez; Jokin García; Jordi Cabot (SLE, 2016)

Model-based analysis of Java EE web security misconfigurations. - Salvador Martínez Perez; Valerio Cosentino; Jordi Cabot (Comput. Lang. Syst. Struct., 2017)

Reactive model transformation with ATL. - Salvador Martínez Perez; Massimo Tisi; Rémi Douence (Sci. Comput. Program., 2017)

Automatic Generation of Security Compliant (Virtual) Model Views. - Salvador Martínez 001; Alexis Fouche; Sébastien Gérard; Jordi Cabot (ER, 2018)

Robust Hashing for Models. - Salvador Martínez 001; Sébastien Gérard; Jordi Cabot (MoDELS, 2018)

On Watermarking for Collaborative Model-Driven Engineering. - Salvador Martínez 001; Sebastien Gerard; Jordi Cabot (IEEE Access, 2018)

On the Need for Intellectual Property Protection in Model-Driven Co-Engineering Processes. - Salvador Martínez 001; Sebastien Gerard; Jordi Cabot (BPMDS/EMMSAD@CAiSE, 2019)

Efficient plagiarism detection for software modeling assignments. - Salvador Martínez 001; Manuel Wimmer; Jordi Cabot (Comput. Sci. Educ., 2020)

PAMELA: An annotation-based Java modeling framework. - Sylvain Guérin; Guillaume Polet; Caine Silva; Joël Champeau; Jean-Christophe Bach; Salvador Martínez 001; Fabien Dagnat; Antoine Beugnard (Sci. Comput. Program., 2021)

Towards Access Control Models for Conversational User Interfaces. - Elena Planas; Salvador Martínez Perez; Marco Brambilla 007; Jordi Cabot (BPMDS/EMMSAD@CAiSE, 2022)

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 (Companion), 2022)

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)

A domain-specific language for the specification of UCON policies. - Antonia M. Reina Quintero; Salvador Martínez Perez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Jordi Cabot (J. Inf. Secur. Appl., 2022)

Efficient model similarity estimation with robust hashing. - Salvador Martínez 001; Sébastien Gérard; Jordi Cabot (Softw. Syst. Model., 2022)

Towards Evolving Secured Multi-Model Systems with Model Federation. - Chahrazed Boudjemila; Fabien Dagnat; Salvador Martínez Perez (MoDELS (Companion), 2023)

Monitoring Association Constraints in Model-Oriented Programming. - Sylvain Guérin; Joël Champeau; Antoine Beugnard; Salvador Martínez Perez (MoDELS (Companion), 2023)

Modeling and enforcing access control policies in conversational user interfaces. - Elena Planas; Salvador Martínez 001; Marco Brambilla 001; Jordi Cabot (Softw. Syst. Model., 2023)

Security Contracts a Property-Based Approach to Support Security Patterns. - Sylvain Guérin; Joël Champeau; Salvador Martínez 001; Raúl Mazo (ICISSP, 2024)

Maintaining Security Consistency During System Development with Security-Oriented Model Federation. - Chahrazed Boudjemila; Fabien Dagnat; Salvador Martínez Perez (ICSSP, 2024)

A Survey of Federative Approaches for Model Management in MBSE. - Moussa Amrani; Rakshit Mittal; Miguel Goulão; Vasco Amaral 001; Sylvain Guérin; Salvador Martínez 001; Dominique Blouin; Anish Bhobe; Yara Hallak (MoDELS (Companion), 2024)

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 001 (MODELS, 2024)

Towards Re-Engineering Digital Twins: Preliminary Experiments on Three Use Cases. - Gwendal G. Beaumont; Antoine Beugnard; Salvador Martínez Perez; Christelle Urtado; Sylvain Vauttier (MoDELS (Companion), 2024)