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)

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. - Marina Egea; Carolina Dania; Manuel Clavel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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)

Modeling Social Networking Privacy. - Carolina Dania (ESSoS Doctoral Symposium, 2012)

OCL2FOL+: Coping with Undefinedness. - Carolina Dania; Manuel Clavel (OCL@MoDELS, 2013)

Validation of a Security Metamodel for the Development of Cloud Applications. - Marcos Arjona; Carolina Dania; Marina Egea; Antonio Maña (OCL@MoDELS, 2014)

Panel Discussion: Proposals for Improving OCL. - Achim D. Brucker; Tony Clark 001; Carolina Dania; Geri Georg; Martin Gogolla; Frédéric Jouault; Ernest Teniente; Burkhart Wolff (OCL@MoDELS, 2014)

Modeling Social Networking Privacy. - Carolina Dania; Manuel Clavel (TASE, 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)

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)

Model-Based Formal Reasoning about Data-Management Applications. - Carolina Dania; Manuel Clavel (FASE, 2015)

OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. - Carolina Dania; Manuel Clavel (MoDELS, 2016)

SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language. - Marina Egea; Carolina Dania (Softw. Syst. Model., 2019)