|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Marcos temporales y probabilisticos para testing formal |
|
Doctorando |
Mª de las Mercedes García Merayo |
|
Director(es) |
Manuel Nuñez García y Robert M. Hierons |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2009 |
|
Doctorado europeo (si/no) |
SI |
|
|
|
|
Publicaciones de la tesis |
|
|
|
|
|
a) Revistas |
|
|
|
|
|
AUTORES |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Formal testing from timed finite state machines. |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Computer Networks |
|
VOLUMEN |
52 (2) |
|
PÁGINAS |
DESDE: 432 |
|
HASTA: 460 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
1389-1286 |
|
INDICIOS DE CALIDAD |
AREA de JCR: TELECOMMUNICATIONS |
|
ÍNDICE DE IMPACTO: 0.829 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 25 |
|
Nº DE REVISTAS EN EL ÁREA:66 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): CORE A |
|
|
|
|
|
|
|
AUTORES |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Extending EFSMs to specify and test timed systems with action durations and timeouts. |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
IEEE Transactions on Computers |
|
VOLUMEN |
57(6) |
|
PÁGINAS |
DESDE: 835 |
|
HASTA: 848 |
|
EDITORIAL |
IEEE Computer Society |
|
PAÍS DE PUBLICACIÓN |
USA |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
0018-9340 |
|
INDICIOS DE CALIDAD |
AREA de JCR:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE |
|
ÍNDICE DE IMPACTO:1.680 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:8 |
|
Nº DE REVISTAS EN EL ÁREA:45 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): CORE A+ |
|
|
|
|
|
|
|
AUTORES |
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
HOTL: Hypotheses and observations testing logic |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Logic and Algebraic Programming |
|
VOLUMEN |
74 (2) |
|
PÁGINAS |
DESDE: 57 |
|
HASTA: 93 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
1567-8326 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY & METHODS |
|
ÍNDICE DE IMPACTO:0.873 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:35 |
|
Nº DE REVISTAS EN EL ÁREA:79 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): CORE A |
|
|
|
|
|
|
|
|
|
|
AUTORES |
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Testing from a stochastic timed system with a fault model |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Logic and Algebraic Programming |
|
VOLUMEN |
78 (2) |
|
PÁGINAS |
DESDE: 98 |
|
HASTA: 115 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
1567-8326 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY & METHODS |
|
ÍNDICE DE IMPACTO: 0.873 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:35 |
|
Nº DE REVISTAS EN EL ÁREA:79 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): CORE A |
|
|
|
|
|
|
|
AUTORES |
Robert M. Hierons, Mercedes G. Merayo |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Mutation Testing from Probabilistic and Stochastic Finite State Machines |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Systems and Software |
|
VOLUMEN |
In press |
|
PÁGINAS |
DESDE: |
|
HASTA: |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2009 |
|
ISSN |
1567-8326 |
|
INDICIOS DE CALIDAD |
AREA de JCR: COMPUTER SCIENCE, THEORY & METHODS |
|
ÍNDICE DE IMPACTO: 0,799 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:40 |
|
Nº DE REVISTAS EN EL ÁREA: 79 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): CORE B |
|
|
|
|
|
|
|
|
|
|
b) Libros |
|
|
|
|
|
AUTORES |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Formal Testing of Systems Presenting Soft and Hard Deadlines |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
4767 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 160 |
|
HASTA 174 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-3-540-75697-2 |
|
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 |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Generation of optimal finite test suites for timed systems. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
|
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 149 |
|
HASTA 158 |
|
EDITORIAL |
IEEE Computer Society Press |
|
PAÍS DE PUBLICACIÓN |
USA |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
0-7695-2856-2 |
|
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 |
Mercedes G. Merayo, Ismael Rodríguez, Manuel Núñez, |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A brief introduction to THOTL |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
4762 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 501 |
|
HASTA 510 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-3-540-75595-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 |
Mercedes G. Merayo, Ismael Rodríguez, Manuel Núñez, |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
THOTL: A timed extension of HOTL |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
5047 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 86 |
|
HASTA 102 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-3-540-68514-2 |
|
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 |
Mercedes G. Merayo,Manuel Núñez, Robert M. Hierons |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Extending stream X-machines to specify and test systems with timeouts. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
|
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 201 |
|
HASTA 210 |
|
EDITORIAL |
IEEE Computer Society Press |
|
PAÍS DE PUBLICACIÓN |
USA |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-0-7695-3437-4 |
|
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 |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Implementation relations for stochastic finite state machines. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
4054 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 123 |
|
HASTA 137 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISBN |
978-3-540-35362-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): |
|
|
|
|
|
|
|
|
|
|
AUTORES |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Testing finite state machines presenting stochastic time and timeouts. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
4054 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 97 |
|
HASTA 111 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-3-540-75210-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): |
|
|
|
|
|
|
|
|
|
|
AUTORES |
Mercedes G. Merayo, Manuel Núñez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Testing conformance on stochastic stream X-machines. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
|
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE 227 |
|
HASTA 236 |
|
EDITORIAL |
IEEE Computer Society Press |
|
PAÍS DE PUBLICACIÓN |
USA |
|
AÑO DE PUBLICACIÓN |
2007 |
|
ISBN |
978-0-7695-2884-7 |
|
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 |
R.M. Hierons, M.G. Merayo, Manuel Núñez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Implementation relations for the distributed test architecture. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
5047 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 200 |
|
HASTA 215 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-3-540-68514-2 |
|
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 |
R.M. Hierons, M.G. Merayo, Manuel Núñez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Controllable test cases for the distributed test architecture. |
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
Capitulo de libro |
|
VOLUMEN |
5311 |
|
COLECCIÓN |
Lecture Notes in Computer Science |
|
PÁGINAS |
DESDE 201 |
|
HASTA 215 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISBN |
978-3-540-88386-9 |
|
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 |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
TÍTULO |
Formal Testing of Systems Presenting Soft and Hard Deadlines |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
International Symposium on Fundamentals of Software Engineering,FSEN'07 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-3-540-75697-2 |
|
VOLUMEN |
4767 |
|
PÁGINAS |
DESDE 160 |
|
HASTA 174 |
|
LUGAR DE CELEBRACIÓN |
TEHRAN-IRAN |
|
FECHA DE CELEBRACIÓN |
17-19 Abril 2007 |
|
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 |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
TÍTULO |
Generation of optimal finite test suites for timed systems. |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
1st IEEE & IFIP Int. Symposium on Theoretical Aspects of Software Engineering, TASE'07 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
0-7695-2856-2 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 149 |
|
HASTA 158 |
|
LUGAR DE CELEBRACIÓN |
SHANGHAI- CHINA |
|
FECHA DE CELEBRACIÓN |
June 5-8 2007 |
|
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 |
Mercedes G. Merayo, Ismael Rodríguez, Manuel Núñez, |
|
TÍTULO |
A brief introduction to THOTL |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
5th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'07 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-3-540-75595-1 |
|
VOLUMEN |
4762 |
|
PÁGINAS |
DESDE 501 |
|
HASTA 510 |
|
LUGAR DE CELEBRACIÓN |
TOKYO-Japon |
|
FECHA DE CELEBRACIÓN |
22-25 Octubre 2007 |
|
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): |
|
|
|
|
AUTORES |
Mercedes G. Merayo, Ismael Rodríguez, Manuel Núñez, |
|
TÍTULO |
THOTL: A timed extension of HOTL |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES'08 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-3-540-68514-2 |
|
VOLUMEN |
5047 |
|
PÁGINAS |
DESDE 86 |
|
HASTA 102 |
|
LUGAR DE CELEBRACIÓN |
TOKIO-Japon |
|
FECHA DE CELEBRACIÓN |
10-13 Junio 2008 |
|
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 |
Mercedes G. Merayo,Manuel Núñez, Robert M. Hierons |
|
TÍTULO |
Extending stream X-machines to specify and test systems with timeouts. |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
6th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM'08 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-0-7695-3437-4 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 201 |
|
HASTA 210 |
|
LUGAR DE CELEBRACIÓN |
CAPETOWN- Sudáfrica |
|
FECHA DE CELEBRACIÓN |
10-14 Noviembre 2008 |
|
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 |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
TÍTULO |
Implementation relations for stochastic finite state machines. |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
3rd European Performance Engineering Workshop, EPEW'06 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-3-540-35362-3 |
|
VOLUMEN |
4054 |
|
PÁGINAS |
DESDE 123 |
|
HASTA 137 |
|
LUGAR DE CELEBRACIÓN |
BUDAPEST- HUNGRIA |
|
FECHA DE CELEBRACIÓN |
21-22 Junio 2006 |
|
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 |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
TÍTULO |
Testing finite state machines presenting stochastic time and timeouts. |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
4th European Performance Engineering Workshop, EPEW'07 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-3-540-75210-3 |
|
VOLUMEN |
4748 |
|
PÁGINAS |
DESDE 97 |
|
HASTA 111 |
|
LUGAR DE CELEBRACIÓN |
BERLIN-ALEMANIA |
|
FECHA DE CELEBRACIÓN |
27-28 Septiembre 2007 |
|
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 |
Mercedes G. Merayo, Manuel Núñez |
|
TÍTULO |
Testing conformance on stochastic stream X-machines. |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
5th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM'07 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-0-7695-2884-7 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 227 |
|
HASTA 236 |
|
LUGAR DE CELEBRACIÓN |
LONDRES- Reino Unido |
|
FECHA DE CELEBRACIÓN |
10-14 Septiembre 2007 |
|
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 |
R.M. Hierons, M.G. Merayo, Manuel Núñez |
|
TÍTULO |
Implementation relations for the distributed test architecture. |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES'08 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-3-540-68514-2 |
|
VOLUMEN |
5047 |
|
PÁGINAS |
DESDE 200 |
|
HASTA 215 |
|
LUGAR DE CELEBRACIÓN |
TOKIO-Japon |
|
FECHA DE CELEBRACIÓN |
10-13 Junio 2008 |
|
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 |
R.M. Hierons, M.G. Merayo, Manuel Núñez |
|
TÍTULO |
Controllable test cases for the distributed test architecture. |
|
ENTIDAD ORGANIZADORA |
|
|
CONGRESO: |
6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia(paper) |
|
ISSN/ISBN |
978-3-540-88386-9 |
|
VOLUMEN |
5311 |
|
PÁGINAS |
DESDE 201 |
|
HASTA 215 |
|
LUGAR DE CELEBRACIÓN |
SEOUL-KOREA |
|
FECHA DE CELEBRACIÓN |
20-23 Octubre 2008 |
|
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): |
