Universidad Complutense de Madrid
E-Prints Complutense

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 24.

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) A brief introduction to THOTL. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (4762). SPRINGER-VERLAG BERLIN, Berlín, pp. 501-510. ISBN 978-3-540-75595-1

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2012) A formal framework to test soft and hard deadlines in timed systems. Software testing verification & reliability, 22 (8). pp. 583-608. ISSN 0960-0833

García Merayo, Mercedes y Rodríguez Laguna, Ismael y Núñez García, Manuel (2006) A logic for assessing sets of heterogeneous testing hypotheses. Lecture Notes in Computer Science, 3964 . pp. 39-54. ISSN 0302-9743

Frutos Escrig, David de y Llana Díaz, Luis Fernando y Núñez García, Manuel (1998) An invitation to friendly testing. Journal of computer science and technology, 13 (6). pp. 531-545. ISSN 1000-9000

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) Extending EFSMs to specify and test timed systems with action duration and time-outs. IEEE Transactions on Computers, 57 (6). pp. 835-848. ISSN 0018-9340

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2006) Extending EFSMs to specify and test timed systems with action durations and timeouts. Lecture Notes in Computer Science, 4229 . pp. 372-387. ISSN 0302-9743

García Merayo, Mercedes y Hierons, Robert M. y Núñez García, Manuel (2008) Extending Stream X-Machines to specify and test systems with timeouts. In SEFM 2008: Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings. IEEE Computer Soc, LOS ALAMITOS, pp. 201-210. ISBN 978-0-7695-3437-4

García Merayo, Mercedes y Andrés Sánchez, César y Núñez García, Manuel (2009) Formal correctness of a passive testing approach for timed systems. In ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops. IEEE Comp Soc, LOS ALAMITOS. ISBN 978-0-7695-3671-2

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Formal specification of multi-agent systems by using EUSMs. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 318-333. ISBN 978-3-540-75697-2

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) Formal testing from timed finite state machines. Computer Networks, 52 (2). pp. 432-460. ISSN 1389-1286

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Formal testing of systems presenting soft and hard deadlines. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 160-174. ISBN 978-3-540-75697-2

García Merayo, Mercedes y Rodríguez Laguna, Ismael y Núñez García, Manuel (2007) HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming, 74 (2). 57-93.. ISSN 1567-8326

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2006) Implementation relations for stochastic finite state machines. Lecture Notes in Computer Science, 4054 . pp. 123-137. ISSN 0302-9743

Llana Díaz, Luis Fernando y Frutos Escrig, David de y Núñez García, Manuel (1997) Introducing friendly testing. In V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia, Vigo, junio de 1997. Univ. Vigo, pp. 281-292. ISBN 84-8158-065-1

García Merayo, Mercedes y Andrés Sánchez, César y Núñez García, Manuel (2008) Passive Testing of Timed Systems. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (5311). SPRINGER-VERLAG BERLIN, Berlín, pp. 418-427. ISBN 978-3-540-88386-9

García Merayo, María de las Mercedes y Núñez García, Manuel y Estévez Martín, Sonia y Martínez Torres, Rafael y Ibias Martínez, Alfredo y Pareja Flores, Cristobal y Rincón Martínez, Santiago y Correas Fernández, Jesús (2019) SQLab Extension: Laboratorio virtual lenguaje SQL. [Proyecto de Innovación Docente]

Garcia Merayo, María de las Mercedes y Núñez García, Manuel y Pareja Flores, Cristobal y García Ruiz, Yolanda y Estevez Martín, Sonia y Martínez Torres, Rafael y Camacho Magriñán, María Azahara y Cerro Cañizares, Pablo y Marco González, Juán Carlos (2017) SQLab: Laboratorio virtual lenguaje SQL. [Proyecto de Innovación Docente]

Núñez García, Manuel (2002) Semánticas de pruebas para álgebras de procesos probabilísticos. [Tesis]

Cavalli, Ana R. y Higashino, Teruo y Núñez García, Manuel (2015) Special issue on formal active and passive testing of distributed and networked systems. annals of telecommunications - annales des télécommunications, 70 (3). pp. 83-84. ISSN 0003-4347

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) THOTL: A timed extension of HOTL. In Testing of Software and Communicating Systems, Proceedings. Lecture Notes in Computer Science (5047 ). SPRINGER-VERLAG BERLIN, Berlín, 86-102 . ISBN 978-3-540-68514-2

Llana Díaz, Luis Fernando y Frutos Escrig, David de y Núñez García, Manuel (2007) Testing Semantics for Urgent Timed Process Algebras. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 221-235. ISBN 981-02-4424-x

García Merayo, Mercedes y Núñez García, Manuel (2007) Testing conformance on stochastic stream X-machines. In Software Engineering and Formal Methods : 5th International Conference, SEFM 2007. IEEE COMPUTER SOC, LOS ALAMITOS, pp. 227-236. ISBN 978-0-7695-2884-7

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Testing finite state machines presenting stochastic time and timeouts. In Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science (4748). SPRINGER-VERLAG BERLIN, Berlín, pp. 97-111. ISBN 978-3-540-75210-3

Núñez, Alberto y García Merayo, Mercedes y Hierons, Robert M. y Núñez García, Manuel (2013) Using genetic algorithms to generate test sequences for complex timed systems. Soft Computing, 17 (2). pp. 301-315. ISSN 1432-7643

Esta lista fue generada el Wed Mar 20 07:10:38 2019 CET.