ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. - Manuel Clavel; Marina Egea (AMAST, 2006)

The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. - Manuel Clavel; Marina Egea; Viviane Torres da Silva (JISBD, 2007)

A Metamodel-Based Approach for Analyzing Security-Design Models. - David A. Basin; Manuel Clavel; Jürgen Doser; Marina Egea (MoDELS, 2007)

Model-Driven Security in Practice: An Industrial Experience. - Manuel Clavel; Viviane Torres da Silva; Christiano Braga; Marina Egea (ECMDA-FA, 2008)

ECEASST Building an Efficient Component for OCL Evaluation. - Manuel Clavel; Marina Egea; Miguel Angel García de Dios (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Checking Unsatisfiability for OCL Constraints. - Manuel Clavel; Marina Egea; Miguel Angel García de Dios (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Automated analysis of security-design models. - David A. Basin; Manuel Clavel; Jürgen Doser; Marina Egea (Inf. Softw. Technol., 2009)

Automatic Generation of Smart, Security-Aware GUI Models. - David A. Basin; Manuel Clavel; Marina Egea; Michael Schläpfer (ESSoS, 2010)

SSG: a model-based development environment for smart, security-aware GUIs. - Miguel Angel García de Dios; Carolina Dania; Michael Schläpfer; David A. Basin; Manuel Clavel; Marina Egea (ICSE (2), 2010)

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. - Marina Egea; Carolina Dania; Manuel Clavel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Formal executable semantics for conformance in the MDE framework. - Marina Egea; Vlad Rusu (Innov. Syst. Softw. Eng., 2010)

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. - David A. Basin; Manuel Clavel; Marina Egea; Miguel Angel García de Dios; Carolina Dania; Gonzalo Ortiz; Javier Valdazo (FOSAD, 2011)

A decade of model-driven security. - David A. Basin; Manuel Clavel; Marina Egea (SACMAT, 2011)

Verification of ATL Transformations Using Transformation Models and Model Finders. - Fabian Büttner; Marina Egea; Jordi Cabot; Martin Gogolla (ICFEM, 2012)

On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. - Fabian Büttner; Marina Egea; Jordi Cabot (MoDELS, 2012)

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. - Nora Koch; Alexander Knapp; Geri Georg; Marina Egea; Benoit Baudry (MDsec@MoDELS, 2012)

Aniketos: Challenges and Results. - Miguel Ponce de Leon; Richard Sanders; Per Håkon Meland; Marina Egea; Zeta Dooly (TrustBus, 2012)

Checking Model Transformation Refinement. - Fabian Büttner; Marina Egea; Esther Guerra; Juan de Lara (ICMT, 2013)

PERSONA - A Personalized Data Protection Framework. - Marina Egea; Federica Paci; Marinella Petrocchi; Nicola Zannone (IFIPTM, 2013)

Definition of Data Sharing Agreements - The Case of Spanish Data Protection Law. - Marina Egea; Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (A4Cloud, 2014)

A Certification Framework for Cloud Security Properties: The Monitoring Path. - Marina Egea; Khaled Mahbub; George Spanoudakis; Maria Rosa Vieira (A4Cloud, 2014)

Coco-Cloud project: Confidential and compliant clouds. - Alejandro Mañas Garcia; Roberto Sanz-Requena; Angel Alberich-Bayarri; Gracián García-Martí; Marina Egea; Cesar Mediavilla-Martinez (BHI, 2014)

Validation of a Security Metamodel for the Development of Cloud Applications. - Marcos Arjona; Carolina Dania; Marina Egea; Antonio Maña (OCL@MoDELS, 2014)

A Model-Driven Methodology for Developing Secure Data-Management Applications. - David A. Basin; Manuel Clavel; Marina Egea; Miguel Angel García de Dios; Carolina Dania (IEEE Trans. Software Eng., 2014)

Verification of Authorization Policies Modified by Delegation. - Marina Egea; Fabian Büttner (Engineering Secure Future Internet Services and Systems, 2014)

SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language. - Marina Egea; Carolina Dania (Softw. Syst. Model., 2019)