Datos de la tesis doctoral

DATOS DE LA TESIS

Titulo

Mapping OCL as a Query and Constraint Language

Doctorando

Carolina Inés Dania Flores

Director(es)

Manuel García Clavel y Marina Egea Gonzalez

Universidad

Universidad Complutense de Madrid

Año de lectura

2017

Doctorado europeo (si/no)

No

Publicaciones de la tesis

a) Revistas

AUTORES

Marina Egea and Carolina Dania

Nº DE AUTORES

2

TÍTULO

SQL-PL4OCL: An automatic code generator from OCL to SQL Procedural Language

CLAVE (Artículo, Artículo de revisión, editor)

Artículo

NOMBRE DE LA REVISTA

International Journal on Software and Systems Modelling (SoSyM)

VOLUMEN

PÁGINAS

EDITORIAL

Springer Berlin

PAÍS DE PUBLICACIÓN

Alemania

AÑO DE PUBLICACIÓN

ISSN

INDICIOS DE CALIDAD

AREA de JCR:

ÍNDICE DE IMPACTO: 0,990

POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: top 10

Nº DE REVISTAS EN EL ÁREA:

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios,

and Carolina Dania

Nº DE AUTORES

5

TÍTULO

A Model-Driven Methodology for Developing Secure Data-

Management Applications.

CLAVE (Artículo, Artículo de revisión, editor)

Artículo

NOMBRE DE LA REVISTA

IEEE Transactions on Software Engineering (TSE)

VOLUMEN

40 Issue 4

PÁGINAS

DESDE 324

HASTA 337

EDITORIAL

IEEE

PAÍS DE PUBLICACIÓN

AÑO DE PUBLICACIÓN

2014

ISSN

Print ISSN: 0098-5589. Online ISSN: 1939-3520

INDICIOS DE CALIDAD

AREA de JCR:

ÍNDICE DE IMPACTO: 1,516

POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 1

Nº DE REVISTAS EN EL ÁREA:

Nº DE CITAS (si se sabe, excl. autocitas): 3

OTROS INDICIOS (si se sabe):

b) Libros

AUTORES

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

Nº DE AUTORES

4

TÍTULO

Model-Driven Development of a Secure eHealth Application

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros)

Capítulo de libro

VOLUMEN

8431

COLECCIÓN

PÁGINAS

DESDE 97

HASTA 118

EDITORIAL

LNCS. Springer International Publishing

PAÍS DE PUBLICACIÓN

AÑO DE PUBLICACIÓN

2014

ISBN

978-3-319-07451-1

INDICIOS DE CALIDAD

Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe):

AUTORES

David A. Basin, Manuel Clavel, Marina Egea, Miguel A. García de Dios, Carolina Dania, Gonzalo Ortiz, and Javier Valdazo

Nº DE AUTORES

7

TÍTULO

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros)

Capítulo de libro

VOLUMEN

6858

COLECCIÓN

PÁGINAS

DESDE 101

HASTA 124

EDITORIAL

Springer International Publishing

PAÍS DE PUBLICACIÓN

AÑO DE PUBLICACIÓN

2011

ISBN

978-3-642-23081-3

INDICIOS DE CALIDAD

Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe):

c) Ponencias

AUTORES

Carolina Dania and Manuel Clavel

TÍTULO

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

ENTIDAD ORGANIZADORA

CONGRESO:

International Conference on Model Driven Engineering Languages and Systems (MODELS)

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia

ISSN/ISBN

978-1-4503-4321-3

VOLUMEN

PÁGINAS

DESDE 65

HASTA 75

LUGAR DE CELEBRACIÓN

Saint Malo, France

FECHA DE CELEBRACIÓN

2-7 Octubre 2016

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: CORE

Categoría del congreso (si existe; p.ej. A, A+): B

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

Carolina Dania and Manuel Clavel

TÍTULO

Model-Based Formal Reasoning about Data-Management Applications

ENTIDAD ORGANIZADORA

CONGRESO:

Fundamental Approaches to Software Engineering , FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia

ISSN/ISBN

978-1-4503-4321-3

VOLUMEN

PÁGINAS

DESDE 218

HASTA 232

LUGAR DE CELEBRACIÓN

London, UK

FECHA DE CELEBRACIÓN

11-18 Abril 2015

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: CORE

Categoría del congreso (si existe; p.ej. A, A+): B

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

Carolina Dania and Manuel Clavel

TÍTULO

Modeling Social Networking Privacy

ENTIDAD ORGANIZADORA

CONGRESO:

Theoretical Aspects of Software Engineering Conference, TASE 2014

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia

ISSN/ISBN

VOLUMEN

PÁGINAS

DESDE 50

HASTA 57

LUGAR DE CELEBRACIÓN

Changsha, China

FECHA DE CELEBRACIÓN

1-3 Septiembre 2014

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: CORE

Categoría del congreso (si existe; p.ej. A, A+): C

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

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

TÍTULO

Formal Reasoning about Fine-Grained Access Control Policies

ENTIDAD ORGANIZADORA

CONGRESO:

Asia-Pacific Conference on Conceptual Modelling, APCCM 2015

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia

ISSN/ISBN

VOLUMEN

PÁGINAS

DESDE 91

HASTA 100

LUGAR DE CELEBRACIÓN

Sydney, Australia

FECHA DE CELEBRACIÓN

01/15

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: CORE

Categoría del congreso (si existe; p.ej. A, A+): B

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

Carolina Dania and Manuel Clavel

TÍTULO

Verifying UML/OCL models with OCL2MSFOL. A benchmark exercise

ENTIDAD ORGANIZADORA

CONGRESO:

International Conference on Advanced Technology and Sustainable Development, ISA 2016

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia

ISSN/ISBN

VOLUMEN

PÁGINAS

DESDE

HASTA

LUGAR DE CELEBRACIÓN

Ho Chi Minh City, Vietnam

FECHA DE CELEBRACIÓN

07/05

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

Categoría del congreso (si existe; p.ej. A, A+):

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

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

TÍTULO

Validation of a security metamodel for the development of cloud application

ENTIDAD ORGANIZADORA

CONGRESO:

OCL Workshop

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia

ISSN/ISBN

VOLUMEN

1285

PÁGINAS

DESDE 33

HASTA 42

LUGAR DE CELEBRACIÓN

Valencia, España

FECHA DE CELEBRACIÓN

05/14

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

Categoría del congreso (si existe; p.ej. A, A+):

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

Carolina Dania and Manuel Clavel

TÍTULO

OCL2FOL+: Coping with Undefinedness

ENTIDAD ORGANIZADORA

CONGRESO:

OCL Workshop

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

ISSN/ISBN

VOLUMEN

1092

PÁGINAS

DESDE 53

HASTA 62

LUGAR DE CELEBRACIÓN

Miami, USA

FECHA DE CELEBRACIÓN

09/13

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

Categoría del congreso (si existe; p.ej. A, A+):

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

Carolina Dania and Manuel Clavel

TÍTULO

Analyzing ActionGUI models using SMT solvers

ENTIDAD ORGANIZADORA

CONGRESO:

SAT-SMT Summer School

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Poster

ISSN/ISBN

VOLUMEN

PÁGINAS

DESDE

HASTA

LUGAR DE CELEBRACIÓN

Trento, Italy

FECHA DE CELEBRACIÓN

12-15 Junio 2012

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

Categoría del congreso (si existe; p.ej. A, A+):

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

Carolina Dania

TÍTULO

Modeling Social Networking Privacy

ENTIDAD ORGANIZADORA

CONGRESO:

ESSoS Doctoral Symposium

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Ponencia - paper

ISSN/ISBN

VOLUMEN

PÁGINAS

DESDE

HASTA

LUGAR DE CELEBRACIÓN

Eindhoven, Netherlands

FECHA DE CELEBRACIÓN

02/12

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

Categoría del congreso (si existe; p.ej. A, A+):

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

David Basin, Manuel Clavel, Marina Egea, M. A. Garcia de Dios, and Carolina Dania

TÍTULO

ActionGUI Semantics. Technical report

ENTIDAD ORGANIZADORA

CONGRESO:

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

technical report

ISSN/ISBN

VOLUMEN

PÁGINAS

DESDE

HASTA

LUGAR DE CELEBRACIÓN

FECHA DE CELEBRACIÓN

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso:

Categoría del congreso (si existe; p.ej. A, A+):

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):

AUTORES

Miguel A. Garcia de Dios, Carolina Dania, Michel Schläpfer, David Basin, Manuel Clavel, and Marina Egea

TÍTULO

SSG: a Model-Based Development Environment for Smart, Security-Aware GUIs

ENTIDAD ORGANIZADORA

CONGRESO:

International Conference on Software Engineering

TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)

Poster

ISSN/ISBN

VOLUMEN

2

PÁGINAS

DESDE 311

HASTA 312

LUGAR DE CELEBRACIÓN

Cape Town, South Africa

FECHA DE CELEBRACIÓN

1-8 Mayo 2010

INDICIOS DE CALIDAD

Nombre del ranking donde se incluye el congreso: CORE

Categoría del congreso (si existe; p.ej. A, A+): A+

Posición del congreso en el ranking (si existe):

Nº de congresos en el ranking (si existe):

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):