Carolina Dania

According to our database, Carolina Dania authored at least 13 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language.

Marina Egea, Carolina Dania

Softw. Syst. Model., 2019

2016

OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.

Carolina Dania, Manuel Clavel

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

2015

Model-Based Formal Reasoning about Data-Management Applications.

Carolina Dania, Manuel Clavel

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Formal Reasoning about Fine-Grained Access Control Policies.

Miguel Angel García de Dios, Carolina Dania, Manuel Clavel

Proceedings of the 11th Asia-Pacific Conference on Conceptual Modelling, 2015

2014

Model-Driven Development of a Secure eHealth Application.

Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel

Proceedings of the Engineering Secure Future Internet Services and Systems, 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

Modeling Social Networking Privacy.

Carolina Dania, Manuel Clavel

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Panel Discussion: Proposals for Improving OCL.

Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Validation of a Security Metamodel for the Development of Cloud Applications.

Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

OCL2FOL+: Coping with Undefinedness.

Carolina Dania, Manuel Clavel

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2011

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

Proceedings of the Foundations of Security Analysis and Design VI, 2011

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

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

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010