Perimeter quadrature-based metric for estimating FPGA fragmentation in 2D HW multitasking. - Julio Septién; Daniel Mozos; Hortensia Mecha; Jesús Tabero; Miguel Angel García de Dios (IPDPS, 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)

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)

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 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)

Model-Driven Development of a Secure eHealth Application. - Miguel Angel García de Dios; Carolina Dania; David A. Basin; Manuel Clavel (Engineering Secure Future Internet Services and Systems, 2014)

Formal Reasoning about Fine-Grained Access Control Policies. - Miguel Angel García de Dios; Carolina Dania; Manuel Clavel (APCCM, 2015)