Miguel Angel García de Dios

ECEASST Building an Efficient Component for OCL Evaluation

Manuel Clavel, Marina Egea, Miguel Angel García de Dios, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Formal Reasoning about Fine-Grained Access Control Policies

Manuel Clavel, Miguel Angel García de Dios, Carolina Dania, 2015, APCCM.

SSG: a model-based development environment for smart, security-aware GUIs

David A. Basin, Manuel Clavel, Marina Egea, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications

David A. Basin, Manuel Clavel, Marina Egea, 2011, FOSAD.

Checking Unsatisfiability for OCL Constraints

Manuel Clavel, Marina Egea, Miguel Angel García de Dios, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

A Model-Driven Methodology for Developing Secure Data-Management Applications

David A. Basin, Manuel Clavel, Marina Egea, 2014, IEEE Transactions on Software Engineering.

Perimeter quadrature-based metric for estimating FPGA fragmentation in 2D HW multitasking

Hortensia Mecha, Jesús Tabero, Julio Septién, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

Model-Driven Development of a Secure eHealth Application

David A. Basin, Manuel Clavel, Miguel Angel García de Dios, 2014, Engineering Secure Future Internet Services and Systems.