| 2017 | MODELS | SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language. | Marina Egea, Carolina Dania |
| 2016 | MODELS | OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. | Carolina Dania, Manuel Clavel |
| 2015 | APCCM | Formal Reasoning about Fine-Grained Access Control Policies. | Miguel Angel Garca de Dios, Carolina Dania, Manuel Clavel |
| 2015 | FASE | Model-Based Formal Reasoning about Data-Management Applications. | Carolina Dania, Manuel Clavel |
| 2014 | MODELS | Validation of a Security Metamodel for the Development of Cloud Applications. | Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maa |
| 2014 | MODELS | Panel Discussion: Proposals for Improving OCL. | Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frdric Jouault, Ernest Teniente, Burkhart Wolff |
| 2014 | TASE | Modeling Social Networking Privacy. | Carolina Dania, Manuel Clavel |
| 2013 | MODELS | OCL2FOL+: Coping with Undefinedness. | Carolina Dania, Manuel Clavel |
| 2010 | ICSE | SSG: a model-based development environment for smart, security-aware GUIs. | Miguel Angel Garca de Dios, Carolina Dania, Michael Schlpfer, David A. Basin, Manuel Clavel, Marina Egea |