Datos de la tesis doctoral

Facultad de Informática

Volver atrás

- no title specified


	DATOS DE LA TESIS
	Titulo	Semánticas de simulación para relaciones de conformidad
	Doctorando	Rafael Martínez Torres
	Director(es)	Luis Fernando Llana Díaz y Carlos Gregorio Rodríguez
	Universidad	Universidad Complutense de Madrid
	Año de lectura	2015
	Doctorado europeo (si/no)	no

	Publicaciones de la tesis

	c) Ponencias

	AUTORES	Carlos Gregorio-Rodríguez, Luis Llana y Rafael Martínez-Torres
	TÍTULO	Input-Output Conformance Simulation (iocos) for Model Based Testing
	ENTIDAD ORGANIZADORA
	CONGRESO:	2013 IFIP Join International Conference on Formal Techniques for Distributed Systems
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia
	ISSN/ISBN	978-3-642-38591-9
	VOLUMEN	7892 LNCS
	PÁGINAS	DESDE 114
	PÁGINAS	HASTA 129
	LUGAR DE CELEBRACIÓN	Florencia, Italia
	FECHA DE CELEBRACIÓN	Junio 2013
	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	Carlos Gregorio-Rodríguez, Luis Llana y Rafael Martínez-Torres
	TÍTULO	Effectiveness for input output conformance simulation iocos
	ENTIDAD ORGANIZADORA
	CONGRESO:	FORTE 2014, the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia
	ISSN/ISBN	978-3-662-43612-7
	VOLUMEN	8641 LNCS
	PÁGINAS	DESDE 110
	PÁGINAS	HASTA 116
	LUGAR DE CELEBRACIÓN	Berlín, Alemania
	FECHA DE CELEBRACIÓN	Mayo 2014
	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	Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
	TÍTULO	Extending mCRL2 with Ready Simulation and iocos Input-Output Conformance Simulation
	ENTIDAD ORGANIZADORA	ACM/IEEE
	CONGRESO:	ACM Symposium on Applied Computing, Software Verification and Testing
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia
	ISSN/ISBN	978-1-4503-3196-8
	VOLUMEN	2 de 2
	PÁGINAS	DESDE 1781
	PÁGINAS	HASTA 1797
	LUGAR DE CELEBRACIÓN	Salamanca, España
	FECHA DE CELEBRACIÓN	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	Luis Llana y Rafael Martínez-Torres
	TÍTULO	IOCO as a simulation
	ENTIDAD ORGANIZADORA	Universidad Complutense de Madrid
	CONGRESO:	11th International Conference on Software Engineering and Formal Methods
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia - paper
	ISSN/ISBN	978-3-319-05031-7
	VOLUMEN	8137 LNCS
	PÁGINAS	DESDE 125
	PÁGINAS	HASTA 134
	LUGAR DE CELEBRACIÓN	Madrid
	FECHA DE CELEBRACIÓN	Septiembre 2013
	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): 3
		OTROS INDICIOS (si se sabe):

	AUTORES	Carlos Gregorio-Rodríguez, Luis Llana y Rafael Martínez-Torres
	TÍTULO	Input-Output Conformance Simulation (iocos) for Model Based Testing
	ENTIDAD ORGANIZADORA
	CONGRESO:	XXI Jornadas de Concurrencia y Sistemas Distribuidos
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Exposición
	ISSN/ISBN
	VOLUMEN
	PÁGINAS	DESDE
	PÁGINAS	HASTA
	LUGAR DE CELEBRACIÓN	San Sebastián, España
	FECHA DE CELEBRACIÓN	Mayo 2013
	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	Carlos Gregorio-Rodríguez, Luis Llana y Rafael Martínez-Torres
	TÍTULO	Extending mCRL2 with Ready Simulation and iocos Input-Output Conformance Simulation
	ENTIDAD ORGANIZADORA
	CONGRESO:	XXIII Jornadas de Concurrencia y Sistemas Distribuidos
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Exposición
	ISSN/ISBN
	VOLUMEN
	PÁGINAS	DESDE
	PÁGINAS	HASTA
	LUGAR DE CELEBRACIÓN	Málaga, España
	FECHA DE CELEBRACIÓN	Mayo 2015
	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	Rafael Martínez Torres
	TÍTULO	PVM-3.4.4 + IPv6: Full Grid Connectivity
	ENTIDAD ORGANIZADORA
	CONGRESO:	12 European PVM/MPI User's Group Meeting
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	paper
	ISSN/ISBN	3-540-29009-5
	VOLUMEN	3666
	PÁGINAS	DESDE 233
	PÁGINAS	HASTA 240
	LUGAR DE CELEBRACIÓN	Sorrento, Italia
	FECHA DE CELEBRACIÓN	Septiembre 2005
	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	Rafael Martínez Torres y Ricardo Peña
	TÍTULO	Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
	ENTIDAD ORGANIZADORA
	CONGRESO:	15th International Workshop IFL 2003. Implementation of Functional Languages
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Ponencia - paper
	ISSN/ISBN	3-540-23727-5
	VOLUMEN	3145
	PÁGINAS	DESDE 135
	PÁGINAS	HASTA 151
	LUGAR DE CELEBRACIÓN	Edinburg, Reino Unido
	FECHA DE CELEBRACIÓN	Septiembre 2003
	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	Rafael Martínez Torres y Ricardo Peña
	TÍTULO	Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithm
	ENTIDAD ORGANIZADORA
	CONGRESO:	PROLE'2003
	TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro)	Exposición
	ISSN/ISBN
	VOLUMEN
	PÁGINAS	DESDE
	PÁGINAS	HASTA
	LUGAR DE CELEBRACIÓN
	FECHA DE CELEBRACIÓN	Septiembre 2004
	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):