 | 2011 |
| 5 |  | 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: 101-124 |
| 2010 |
| 4 |  | 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: 311-312 |
| 2009 |
| 3 |  | Manuel Clavel,
Marina Egea,
Miguel Angel García de Dios:
Checking Unsatisfiability for OCL Constraints.
ECEASST 24: (2009) |
| 2008 |
| 2 |  | 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: 1-8 |
| 1 |  | Manuel Clavel,
Marina Egea,
Miguel Angel García de Dios:
ECEASST Building an Efficient Component for OCL Evaluation.
ECEASST 15: (2008) |