Miguel Angel García de Dios

According to our database, Miguel Angel García de Dios authored at least 8 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Formal Reasoning about Fine-Grained Access Control Policies.

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

Proceedings of the 11th Asia-Pacific Conference on Conceptual Modelling, 2015

2014

Model-Driven Development of a Secure eHealth Application.

Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel

Proceedings of the Engineering Secure Future Internet Services and Systems, 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

2011

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

Proceedings of the Foundations of Security Analysis and Design VI, 2011

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

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Checking Unsatisfiability for OCL Constraints.

Manuel Clavel, Marina Egea, Miguel Angel García de Dios

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

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

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

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008