Carolina Dania

16 papers A 2B 1Misc 2Journal 3Unranked 6

Year	Rank	Type	Title / 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