 |
Datos de la tesis doctoralFacultad de Informática |
 |
|
Datos de la tesis doctoralFacultad de Informática |
|
| DATOS DE LA TESIS | ||
| Titulo | Desarrollo Dirigido por Modelos de Aplicaciones Seguras para el Manejo de Información |
|
| Doctorando | Miguel Ángel García de Dios | |
| Director(es) | Manuel García Clavel | |
| Universidad | Universidad Complutense de Madrid | |
| Año de lectura | 2015 | |
| Doctorado europeo (si/no) | Sí | |
| Publicaciones de la tesis | ||
| a) Revistas | ||
| AUTORES | D. Basin, M. Clavel, M. Egea, M. A. García de Dios, C. 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 | |
| VOLUMEN | 40 | |
| PÁGINAS | DESDE 324 | |
| HASTA 337 | ||
| EDITORIAL | IEEE Computer Society | |
| PAÍS DE PUBLICACIÓN | Estados Unidos | |
| AÑO DE PUBLICACIÓN | 2014 | |
| ISSN | 0098-5589 | |
| INDICIOS DE CALIDAD | AREA de JCR: COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | |
| ÍNDICE DE IMPACTO: = 2.59 | ||
| POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 1 | ||
| Nº DE REVISTAS EN EL ÁREA: 18 (http://www.cse.chalmers.se/~feldt/advice/isi_listed_se_journals.html) | ||
| Nº DE CITAS (si se sabe, excl. autocitas): | ||
| OTROS INDICIOS (si se sabe): | ||
| b) Libros | ||
| AUTORES | D. Basin, M. Clavel, M. Egea, M. A. García de Dios, C. Dania, G. Ortiz, J. 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 | Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures | |
| PÁGINAS | DESDE 101 | |
| HASTA 124 | ||
| EDITORIAL | Springer | |
| PAÍS DE PUBLICACIÓN | Italia | |
| AÑO DE PUBLICACIÓN | 2011 | |
| ISBN | 978-3-642-23082-0 | |
| INDICIOS DE CALIDAD | Nº DE CITAS(si se sabe, excl. autocitas): 3 | |
| RESEÑAS EN REVISTAS CIENTÍFICAS: | ||
| TRADUCCIONES A OTRAS LENGUAS: | ||
| OTROS INDICIOS (si se sabe): | ||
| AUTORES | M. A. García de Dios, C. Dania, M. Clavel, D. Basin. | |
| 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 | Engineering Secure Future Internet Services and Systems | |
| PÁGINAS | DESDE 97 | |
| HASTA 108 | ||
| EDITORIAL | Springer | |
| PAÍS DE PUBLICACIÓN | Alemania | |
| AÑO DE PUBLICACIÓN | 2014 | |
| ISBN | 978-3-319-07451-1 | |
| INDICIOS DE CALIDAD | Nº DE CITAS(si se sabe, excl. autocitas): 2 | |
| RESEÑAS EN REVISTAS CIENTÍFICAS: | ||
| TRADUCCIONES A OTRAS LENGUAS: | ||
| OTROS INDICIOS (si se sabe): | ||
| c) Ponencias | ||
| AUTORES | M. Clavel, M. Egea, M. A. García de Dios. | |
| TÍTULO | Building an Efficient Component for OCL Evaluation | |
| ENTIDAD ORGANIZADORA | ACM/IEEE | |
| CONGRESO: | 8th OCL Workshop at the UML/MoDELS Conferences. OCL Concepts and Tools: From Implementation to Evaluation and Comparison | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - Paper | |
| ISSN/ISBN | 1863-2122 | |
| VOLUMEN | 15 | |
| PÁGINAS | DESDE | |
| HASTA | ||
| LUGAR DE CELEBRACIÓN | Toulouse, Francia | |
| FECHA DE CELEBRACIÓN | 09/08 | |
| 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): 17 | ||
| OTROS INDICIOS (si se sabe): | ||
| AUTORES | M. Clavel, M. Egea, M. A. García de Dios. | |
| TÍTULO | Checking Unsatisfiability for OCL Constraints | |
| ENTIDAD ORGANIZADORA | ACM/IEEE | |
| CONGRESO: | 9th OCL 2009 Workshop at the UML/MoDELS Conferences. The Pragmatics of OCL and Other Textual Specification Languages | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - Paper | |
| ISSN/ISBN | 1863-2122 | |
| VOLUMEN | 24 | |
| PÁGINAS | DESDE | |
| HASTA | ||
| LUGAR DE CELEBRACIÓN | Denver, Estados unidos | |
| FECHA DE CELEBRACIÓN | 10/09 | |
| 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): 38 | ||
| OTROS INDICIOS (si se sabe): | ||
| AUTORES | M. A. García de Dios, C. Dania, M. Schläpfer, D. Basin, M. Clavel, M. Egea. | |
| TÍTULO | SSG: a model-based development environment for smart, security-aware GUIs | |
| ENTIDAD ORGANIZADORA | ACM/IEEE | |
| CONGRESO: | 32nd ACM/IEEE International Conference on Software Engineering (ICSE) | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia – poster | |
| ISSN/ISBN | 978-1-60558-719-6 | |
| VOLUMEN | 2 | |
| PÁGINAS | DESDE 311 | |
| HASTA 312 | ||
| LUGAR DE CELEBRACIÓN | Ciudad del Cabo, Sudáfrica | |
| FECHA DE CELEBRACIÓN | 05/10 | |
| 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 | M. A. García de Dios, C. Dania, M. Clavel. | |
| TÍTULO | Formal Reasoning about Fine-Grained Access Control Policies | |
| ENTIDAD ORGANIZADORA | Computing Research and Education (CORE) Association of Australasia | |
| CONGRESO: | Eleventh Asia-Pacic Conference on Conceptual Modeling (APCCM2015) | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - Paper | |
| ISSN/ISBN | ||
| VOLUMEN | 165 | |
| PÁGINAS | DESDE | |
| HASTA | ||
| LUGAR DE CELEBRACIÓN | Sydney, Australia. | |
| FECHA DE CELEBRACIÓN | 01/15 | |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: | |
| 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): | ||
| e) Informes técnicos | ||
| AUTORES | D. Basin, M. Clavel, M. Egea, M. A. García de Dios, C. Dania. | |
| Nº DE AUTORES | 5 | |
| TÍTULO | ActionGUI semantics | |
| FUENTE | http://actiongui.org | |
| NÚMERO DE PÁGINAS | 14 | |
| PAÍS DE PUBLICACIÓN | España | |
| AÑO DE PUBLICACIÓN | 2013 | |
| 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): |