Carolina Dania
Carolina Dania
Verified email at - Homepage
Cited by
Cited by
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints
C Dania, M Clavel
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
MySQL4OCL: A stored procedure-based MySQL code generator for OCL
M Egea, C Dania, M Clavel
Electronic Communications of the EASST 36, 2010
A model-driven methodology for developing secure data-management applications
D Basin, M Clavel, M Egea, MAG de Dios, C Dania
IEEE Transactions on Software Engineering 40 (4), 324-337, 2014
OCL2FOL+: Coping with Undefinedness.
C Dania, M Clavel
OCL@ MoDELS 1092, 53-62, 2013
Model-driven development of a secure ehealth application
MAG de Dios, C Dania, D Basin, M Clavel
Engineering Secure Future Internet Services and Systems, 97-118, 2014
SQL-PL 4 OCL: an automatic code generator from OCL to SQL procedural language
M Egea, C Dania
Software & Systems Modeling 18 (1), 769-791, 2019
Model-driven development of security-aware GUIs for data-centric applications
D Basin, M Clavel, M Egea, MAG de Dios, C Dania, G Ortiz, J Valdazo
International School on Foundations of Security Analysis and Design, 101-124, 2011
Panel discussion: Proposals for improving ocl
AD Brucker, T Clark, C Dania, G Georg, M Gogolla, F Jouault, ...
OCL 2014: OCL and Textual Modeling: Applications and Case Studies …, 2014
Validation of a Security Metamodel for the Development of Cloud Applications.
M Arjona, C Dania, M Egea, A Maña
OCL@ MoDELS, 33-42, 2014
SSG: A model-based development environment for smart, security-aware GUIs
MA García de Dios, C Dania, M Schläpfer, D Basin, M Clavel, M Egea
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
Modeling social networking privacy
C Dania, M Clavel
2014 Theoretical Aspects of Software Engineering Conference, 50-57, 2014
MySQL4OCL: Un compilador de OCL a MySQL
CI Dania
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
CI Dania
Model-Based Formal Reasoning about Data-Management Applications
C Dania, M Clavel
International Conference on Fundamental Approaches to Software Engineering …, 2015
ActionGUI semantics
D Basin, M Clavel, M Egea, MAG de Dios, C Dania
Technical report, IMDEA Software Institute, Madrid, Spain and ETH Zurich …, 2013
Formal Reasoning about Fine-Grained Access Control Policies.
MAG de Dios, C Dania, M Clavel
APCCM, 91-100, 2015
Verifying UML/OCL Models with OCL2MSFOL. A Benchmarking Exercise
C Dania, M Clavel
of Deliverable
M Clavel, C Dania
The system can't perform the operation now. Try again later.
Articles 1–18