Carolina Dania
http://software.imdea.org/~dania/
IMDEA Software Institute, Madrid, Spain
Marina Egea
Carolina Dania
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language.
769-791
2019
18
Softw. Syst. Model.
1
https://doi.org/10.1007/s10270-017-0597-6
db/journals/sosym/sosym18.html#EgeaD19
Marina Egea
Carolina Dania
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language.
54
2017
MoDELS
https://doi.org/10.1109/MODELS.2017.34
https://doi.ieeecomputersociety.org/10.1109/MODELS.2017.34
conf/models/2017
db/conf/models/models2017.html#EgeaD17
Carolina Dania
Manuel Clavel
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.
65-75
2016
MoDELS
http://dl.acm.org/citation.cfm?id=2976774
conf/models/2016
db/conf/models/models2016.html#DaniaC16
Miguel Angel García de Dios
Carolina Dania
Manuel Clavel
Formal Reasoning about Fine-Grained Access Control Policies.
91-100
2015
APCCM
http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV165deDios.html
conf/apccm/2015
db/conf/apccm/apccm2015.html#DiosDC15
Carolina Dania
Manuel Clavel
Model-Based Formal Reasoning about Data-Management Applications.
218-232
2015
FASE
https://doi.org/10.1007/978-3-662-46675-9_15
conf/fase/2015
db/conf/fase/fase2015.html#DaniaC15
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.
324-337
2014
40
IEEE Trans. Software Eng.
4
https://doi.org/10.1109/TSE.2013.2297116
http://doi.ieeecomputersociety.org/10.1109/TSE.2013.2297116
https://www.wikidata.org/entity/Q122740511
db/journals/tse/tse40.html#BasinCEDD14
Marcos Arjona
Carolina Dania
Marina Egea
Antonio Maña
Validation of a Security Metamodel for the Development of Cloud Applications.
33-42
2014
OCL@MoDELS
https://ceur-ws.org/Vol-1285/paper04.pdf
conf/models/2014ocl
db/conf/models/ocl2014.html#ArjonaDEM14
Achim D. Brucker
Tony Clark 0001
Carolina Dania
Geri Georg
Martin Gogolla
Frédéric Jouault
Ernest Teniente
Burkhart Wolff
Panel Discussion: Proposals for Improving OCL.
83-99
2014
OCL@MoDELS
https://ceur-ws.org/Vol-1285/paper09.pdf
conf/models/2014ocl
db/conf/models/ocl2014.html#BruckerCDGGJTW14
Carolina Dania
Manuel Clavel
Modeling Social Networking Privacy.
50-57
2014
TASE
https://doi.org/10.1109/TASE.2014.21
https://doi.ieeecomputersociety.org/10.1109/TASE.2014.21
conf/tase/2014
db/conf/tase/tase2014.html#DaniaC14
Miguel Angel García de Dios
Carolina Dania
David A. Basin
Manuel Clavel
Model-Driven Development of a Secure eHealth Application.
97-118
2014
Engineering Secure Future Internet Services and Systems
https://doi.org/10.1007/978-3-319-07452-8_4
series/lncs/8431
db/series/lncs/lncs8431.html#DiosDBC14
Achim D. Brucker
Carolina Dania
Geri Georg
Martin Gogolla
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
CEUR-WS.org
CEUR Workshop Proceedings
1285
2014
https://ceur-ws.org/Vol-1285
https://nbn-resolving.org/urn:nbn:de:0074-1285-1
db/conf/models/ocl2014.html
Carolina Dania
Manuel Clavel
OCL2FOL+: Coping with Undefinedness.
53-62
2013
OCL@MoDELS
https://ceur-ws.org/Vol-1092/dania.pdf
conf/models/2013ocl
db/conf/models/ocl2013.html#DaniaC13
Carolina Dania
Modeling Social Networking Privacy.
49-54
2012
ESSoS Doctoral Symposium
https://ceur-ws.org/Vol-834/paper10_essosds2012.pdf
conf/essos/2012ds
db/conf/essos/ds2012.html#Dania12
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.
101-124
2011
FOSAD
https://doi.org/10.1007/978-3-642-23082-0_4
conf/fosad/2010
db/conf/fosad/fosad2010.html#BasinCEDDOV10
Marina Egea
Carolina Dania
Manuel Clavel
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL.
2010
36
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
https://doi.org/10.14279/tuj.eceasst.36.445
db/journals/eceasst/eceasst36.html#EgeaDC10
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.
311-312
2010
ICSE (2)
https://doi.org/10.1145/1810295.1810366
conf/icse/2010-2
db/conf/icse/icse2010-2.html#DiosDSBCE10
Marcos Arjona
David A. Basin
Achim D. Brucker
Tony Clark 0001
Manuel Clavel
Miguel Angel García de Dios
Marina Egea
Geri Georg
Martin Gogolla
Frédéric Jouault
Antonio Maña
Gonzalo Ortiz
Michael Schläpfer
Ernest Teniente
Javier Valdazo
Burkhart Wolff