 |
Datos de la tesis doctoralFacultad de Informática |
 |
|
Datos de la tesis doctoralFacultad de Informática |
|
| DATOS DE LA TESIS | ||
| Titulo | Una semántica formal ejecutable para OCL con aplicaciones al análisis y a la validación de modelos | |
| Doctorando | Marina S. Egea González | |
| Director(es) | Manuel García Clavel | |
| Universidad | Universidad Complutense de Madrid | |
| Año de lectura | 2008 | |
| Doctorado europeo (si/no) | no | |
| Publicaciones de la tesis | ||
| a) Revistas | ||
| AUTORES | D. BASIN, M. CLAVEL, J. DOSER, M. EGEA | |
| Nº DE AUTORES | 4 | |
| TÍTULO | AUTOMATED ANALYSIS OF SECURITY DESIGN MODELS | |
| CLAVE (Artículo, Artículo de revisión, editor) | ARTÍCULO | |
| NOMBRE DE LA REVISTA | INFORMATION AND SOFTWARE TECHNOLOGY | |
| VOLUMEN | 51 | |
| PÁGINAS | DESDE: 815 | |
| HASTA: 831 | ||
| EDITORIAL | ELSEVIER | |
| PAÍS DE PUBLICACIÓN | ||
| AÑO DE PUBLICACIÓN | 2009 | |
| ISSN | 0950-5849 | |
| INDICIOS DE CALIDAD | AREA de JCR: COMPUTER SCIENCE | |
| ÍNDICE DE IMPACTO: 0.581 | ||
| POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: | ||
| Nº DE REVISTAS EN EL ÁREA: | ||
| Nº DE CITAS (si se sabe, excl. autocitas): | ||
| OTROS INDICIOS (si se sabe): | ||
| AUTORES | D. Basin, J. Doser, M. Clavel y M. Egea | |
| Nº DE AUTORES | 4 | |
| TÍTULO | A Metamodel-Based Approach for Analyzing Security-Design Models | |
| CLAVE (Artículo, Artículo de revisión, editor) | ARTÍCULO | |
| NOMBRE DEL CONGRESO | 10th International Conference, Model Driven Engineering Languages and Systems, MoDELS 2007 |
|
| EDITORES | G. Engels, B. Opdyke, y D. C. Schmidt | |
| PÁGINAS | DESDE: 420 | |
| HASTA: 435 | ||
| EDITORIAL | SPRINGER | |
| PUBLICACIÓN | Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Lecture Notes in Computer Science (LNCS), vol. 4735, pags. 420-435, Springer, 2007 |
|
| LUGAR DE CELEBRACIÓN | Nashville-Tennesse (Estados Unidos) | |
| AÑO DE PUBLICACIÓN | 2007 | |
| ISBN | 978-3-540-75208-0 | |
| CLASIFICACIÓN EN EL RANKING “CORE” | A | |
| AUTORES | M. Clavel y M. Egea | |
| Nº DE AUTORES | 2 | |
| TÍTULO | ITP/OCL : A Rewriting-Based-Validation Tool for UML+OCL Static Class Diagrams | |
| CLAVE (Artículo, Artículo de revisión, editor) | ARTÍCULO | |
| NOMBRE DEL CONGRESO | 11st International Conference on Algebraic Methodology and Software Technology | |
| PÁGINAS | DESDE: 368 | |
| HASTA: 373 | ||
| EDITORIAL | SPRINGER | |
| PUBLICACIÓN | En Proc. de 11st International Conference on Algebraic Methodology and Software Technology, AMAST 2006, Lecture Notes in Computer Science (LNCS), vol. 4019, pags. 368-373, Springer, 2006. |
|
| LUGAR DE CELEBRACIÓN | KURESSAREE (ESTONIA) | |
| AÑO DE PUBLICACIÓN | 2006 | |
| ISBN | 978-3-540-35633-2 | |
| CLASIFICACIÓN EN EL RANKING “CORE” | C | |
| b) Ponencias | ||
| AUTORES | M. Clavel, M. Egea y M. A. García de Dios | |
| TÍTULO | Building an Efficient Component for OCL evaluation | |
| PUBLICACIÓN | Proc. 8th OCL Workshop: Concepts and Tools. From Implementation to Evaluation and Comparison. Electronic Communications of the EASST (ECEASST). | |
| CONGRESO: | 8th International OCL Workshop at the UML/MoDELS Conference | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Paper | |
| ISSN/ISBN | 1863-2122 | |
| Guest Editors: | Jordi Cabot, Martin Gogolla, Pieter Van Gorp | |
| Managing Editors: | Tiziana Margaria, Julia Padberg, Gabriele Taentzer | |
| VOLUMEN | 15 | |
| PÁGINAS | 11 | |
| LUGAR DE CELEBRACIÓN | TOLOUSE (FRANCIA) | |
| FECHA DE CELEBRACIÓN | 30 SEPTIEMBRE 2008 | |
| 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. Clavel, V. Torres, C. Braga y M. Egea | |
| TÍTULO | Model-Driven Security in Practice: an Industrial Experience | |
| PUBLICACIÓN | Proc. of the 4th European conference on Model Driven Architecture. Lecture Notes in Computer Science (LNCS), vol. 5095, pags. 326-337. Springer-Verlag, 2008 | |
| CONGRESO: | ECMDA-FA'08: European Conference on Model Driven Architecture-Foundations and Applications | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Paper | |
| ISSN/ISBN | 978-3-540-69095-5 | |
| EDITORIAL: | SPRINGER-VERLAG | |
| VOLUMEN | 5095 | |
| PÁGINAS | 326-337 | |
| LUGAR DE CELEBRACIÓN | Berlín (Alemania) | |
| FECHA DE CELEBRACIÓN | 2008 | |
| 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. Clavel y M. Egea | |
| TÍTULO | Using Reflection to Implement in Maude a Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams | |
| PUBLICACIÓN | 1st International Workshop on Algebraic foundations for OCL and Applications (WAFOCA 2006) and Applications, WAFOCA 2006. Departamento de Sistemas de la Información y de la Computación, Universidad Politécnica de Valencia, 2006. | |
| CONGRESO: | 1st International Workshop on Algebraic foundations for OCL and Applications (WAFOCA 2006) | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Paper | |
| PÁGINAS | 17 | |
| LUGAR DE CELEBRACIÓN | Valencia (España) | |
| FECHA DE CELEBRACIÓN | 2006 | |
| AUTORES | M. Clavel, M. Egea y M. A. García de Dios | |
| TÍTULO | Automated Analysis of Security Design Policies with ESS | |
| PUBLICACIÓN | 1st International Workshop on Algebraic foundations for OCL and Applications (WAFOCA 2006) and Applications, WAFOCA 2006. Departamento de Sistemas de la Información y de la Computación, Universidad Politécnica de Valencia, 2006. | |
| CONGRESO: | Tool Demonstration Session del 8th OCL'08 Workshop at UML/MoDELS 2008 | |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Demostración de Herramienta | |
| LUGAR DE CELEBRACIÓN | Tolouse (FRANCIA) | |
| FECHA DE CELEBRACIÓN | 2008 | |
| AUTORES | M. Clavel, M. Egea y V. Torres | |
| TÍTULO | MOVA: A Tool for Modeling, Measuring and Validating UML Class Diagrams | |
| CONGRESO: | Academic Posters and Demonstrations Session of Model Driven Engineering Languages and Systems - MoDELS 2007 |
|
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Póster | |
| LUGAR DE CELEBRACIÓN | Nashville -Tennesse (Estados Unidos) | |
| FECHA DE CELEBRACIÓN | 2007 |