Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 24.

García Merayo, Mercedes and Núñez García, Manuel and 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 and Núñez García, Manuel and 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 and Rodríguez Laguna, Ismael and 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 and Llana Díaz, Luis Fernando and 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 and Núñez García, Manuel and 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 and Núñez García, Manuel and 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 and Hierons, Robert M. and 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 and Andrés Sánchez, César and 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 and Núñez García, Manuel and 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 and Núñez García, Manuel and 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 and Núñez García, Manuel and 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 and Rodríguez Laguna, Ismael and 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 and Núñez García, Manuel and 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 and Frutos Escrig, David de and 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 and Andrés Sánchez, César and 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 and Núñez García, Manuel and Estévez Martín, Sonia and Martínez Torres, Rafael and Ibias Martínez, Alfredo and Pareja Flores, Cristobal and Rincón Martínez, Santiago and Correas Fernández, Jesús (2019) SQLab Extension: Laboratorio virtual lenguaje SQL. [Proyecto de Innovación Docente]

Garcia Merayo, María de las Mercedes and Núñez García, Manuel and Pareja Flores, Cristobal and García Ruiz, Yolanda and Estevez Martín, Sonia and Martínez Torres, Rafael and Camacho Magriñán, María Azahara and Cerro Cañizares, Pablo and 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. [Thesis]

Cavalli, Ana R. and Higashino, Teruo and 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 and Núñez García, Manuel and 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 and Frutos Escrig, David de and 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 and 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 and Núñez García, Manuel and 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 and García Merayo, Mercedes and Hierons, Robert M. and 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

This list was generated on Sun May 26 03:51:11 2019 CEST.