Carolina Dania

16 papers A 2B 1Misc 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2019 J jnl
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language.
Softw. Syst. Model.
Marina Egea, Carolina Dania
2017 A conf
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language.
MoDELS
Marina Egea, Carolina Dania
2016 A conf
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.
MoDELS
Carolina Dania, Manuel Clavel
2015 Misc conf
Formal Reasoning about Fine-Grained Access Control Policies.
APCCM
Miguel Angel García de Dios, Carolina Dania, Manuel Clavel
2015 B conf
Model-Based Formal Reasoning about Data-Management Applications.
FASE
Carolina Dania, Manuel Clavel
2014 J jnl
A Model-Driven Methodology for Developing Secure Data-Management Applications.
IEEE Trans. Software Eng.
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania
2014 — ch.
Model-Driven Development of a Secure eHealth Application.
Engineering Secure Future Internet Services and Systems
Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel
2014 Misc conf
Modeling Social Networking Privacy.
TASE
Carolina Dania, Manuel Clavel
2014 — conf
Panel Discussion: Proposals for Improving OCL.
OCL@MoDELS
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
2014 — ed.
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), Valencia, Spain, September 30, 2014.
OCL@MoDELS
Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla
2014 — conf
Validation of a Security Metamodel for the Development of Cloud Applications.
OCL@MoDELS
Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña
2013 — conf
OCL2FOL+: Coping with Undefinedness.
OCL@MoDELS
Carolina Dania, Manuel Clavel
2012 — conf
Modeling Social Networking Privacy.
ESSoS Doctoral Symposium
Carolina Dania
2011 — conf
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications.
FOSAD
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo
2010 J jnl
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marina Egea, Carolina Dania, Manuel Clavel
2010 — conf
SSG: a model-based development environment for smart, security-aware GUIs.
ICSE (2)
Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea