Carolina Dania

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 3

Top Topics

Access Control Policies

Top Venues

Publications

Marina Egea, Carolina Dania
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language. Softw. Syst. Model. 18 (1) (2019)
Marina Egea, Carolina Dania
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language. MoDELS (2017)
Carolina Dania, Manuel Clavel
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. MoDELS (2016)
Miguel Angel García de Dios, Carolina Dania, Manuel Clavel
Formal Reasoning about Fine-Grained Access Control Policies. APCCM (2015)
Carolina Dania, Manuel Clavel
Model-Based Formal Reasoning about Data-Management Applications. FASE (2015)
Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña
Validation of a Security Metamodel for the Development of Cloud Applications. OCL@MoDELS (2014)
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)
Carolina Dania, Manuel Clavel
Modeling Social Networking Privacy. TASE (2014)
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS (2014)
Carolina Dania, Manuel Clavel
OCL2FOL+: Coping with Undefinedness. OCL@MoDELS (2013)
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)
Marina Egea, Carolina Dania, Manuel Clavel
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)