Miguel Angel García de Dios

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Access Control Policies

Security Policies

Top Venues

IEEE Trans. Software Eng.

Publications

Miguel Angel García de Dios, Carolina Dania, Manuel Clavel
Formal Reasoning about Fine-Grained Access Control Policies. APCCM (2015)
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania
A Model-Driven Methodology for Developing Secure Data-Management Applications. IEEE Trans. Software Eng. 40 (4) (2014)
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. FOSAD (2011)
Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea
SSG: a model-based development environment for smart, security-aware GUIs. ICSE (2) (2010)
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
Checking Unsatisfiability for OCL Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009)
Julio Septién, Daniel Mozos, Hortensia Mecha, Jesús Tabero, Miguel Angel García de Dios
Perimeter quadrature-based metric for estimating FPGA fragmentation in 2D HW multitasking. IPDPS (2008)
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
ECEASST Building an Efficient Component for OCL Evaluation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)