|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Certificación formal de programas en un lenguaje funcional impaciente |
|
Doctorando |
Javier de Dios Castro |
|
Director(es) |
Ricardo Peña Marí |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2012 |
|
Doctorado europeo (si/no) |
No |
|
|
|
|
Publicaciones de la tesis |
|
|
|
|
|
a) Revistas |
|
|
|
|
|
b) Libros |
|
|
|
|
|
c) Ponencias |
|
|
|
|
|
AUTORES |
J. de Dios, R. Peña |
|
TÍTULO |
Formal certification of a resource-aware language implementation |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
International Conference on Theorem Proving in Higher Order Logics |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Paper |
|
ISSN/ISBN |
978-3-642-03358-2 |
|
VOLUMEN |
LNCS 5674 |
|
PÁGINAS |
DESDE 196 |
|
HASTA 211 |
|
LUGAR DE CELEBRACIÓN |
Munich, Alemania |
|
FECHA DE CELEBRACIÓN |
08/09 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: |
|
Categoría del congreso (si existe; p.ej. A, A+): CORE 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 |
J. de Dios, R. Peña |
|
TÍTULO |
A certified implementation on top of the Java virtual machine |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
International Workshop on Formal Methods for Industrial Critical Systems |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Paper |
|
ISSN/ISBN |
978-3-642-04569-1 |
|
VOLUMEN |
LNCS 5825 |
|
PÁGINAS |
DESDE 181 |
|
HASTA 196 |
|
LUGAR DE CELEBRACIÓN |
Eindhoven, Holanda |
|
FECHA DE CELEBRACIÓN |
11/09 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: |
|
Categoría del congreso (si existe; p.ej. A, A+): CORE 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 |
J. de Dios, M. Montenegro, R. Peña |
|
TÍTULO |
Certified absence of dangling pointers in a language with explicit deallocation |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
International Conference on Integrated Formal Methods |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Paper |
|
ISSN/ISBN |
978-3-642-16264-0 |
|
VOLUMEN |
LNCS 6396 |
|
PÁGINAS |
DESDE 305 |
|
HASTA 319 |
|
LUGAR DE CELEBRACIÓN |
Nancy, Francia |
|
FECHA DE CELEBRACIÓN |
10/10 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: |
|
Categoría del congreso (si existe; p.ej. A, A+): CORE 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 |
J. de Dios, R. Peña |
|
TÍTULO |
Certification of safe polynomial memory bounds |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
International Symposium on Formal Methods |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Paper |
|
ISSN/ISBN |
978-3-642-21436-3 |
|
VOLUMEN |
LNCS 6664 |
|
PÁGINAS |
DESDE 184 |
|
HASTA 199 |
|
LUGAR DE CELEBRACIÓN |
Limerick, Irlanda |
|
FECHA DE CELEBRACIÓN |
06/11 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: |
|
Categoría del congreso (si existe; p.ej. A, A+): CORE 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): |
