Biblio

Found 139 results
2012
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2012.  A Model-extraction approach to verifying concurrent C programs with CADP. Science of Computer Programming. 77:375–392.
Díaz A, Merino P, Rivas FJavier.  2012.  Test environment for QoS testing of VoIP over LTE. Filip De Truck; Luciano Paschoal Gaspary; Deep Medhi, (eds.). Proceedings of the 2012 IEEE Network Operations and Management Symposium 16-20 aplil 2012, Maui, Hawaii, USA. :780–794.
Rivas FJavier, Díaz A, Merino P.  2012.  Testing of LTE configurations and applications. En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012. :417–418.
Adalid D, Salmeron A, Gallardo M-del-M, Merino P.  2012.  Testing temporal logic on infinite Java traces. Costin Badica, [et. all]; (eds.). Modelling, simulation, verification and validation of enterprise information systems & web intelligence. Proceedings of MSVVEIS/WEBI 2012. June 28th-July 1st, 2012, Wroclaw, Poland. :37–47.
Adalid D, Salmeron A, Gallardo M-del-M, Merino P.  2012.  Testing temporal logic on infinite Java traces. Mar{ía del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almer{ía, 17 al 19 de septiembre de 2012. :233–234.
Díaz A, Rivas FJavier, Merino P.  2012.  UMA testing facility. T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012. :9–10.
Gallardo M-del-M, Sanán D.  2012.  Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.
2011
Gallardo M-del-M, Panizo L.  2011.  Extending model checkers for hybrid system verification: the case study of Spin. Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011. :84–98.
Díaz A, Merino P, Salmeron A.  2011.  Obtaining models for realistic mobile network simulations using real traces. IEEE Communications Letters. 15:782–784.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2011.  A practical use of model checking for synthesis: generating a dam controller for flood management. Software Practice & Experience. 41:1329–1347.
Díaz A, Merino P.  2011.  Testing and profiling internet services in mobile devices. Witold Abramowicz...[et.al], (eds.). Towards a service-based internet: 4th european conference, ServiceWave 2011. Poznan, Poland, october 26-28, 2011. Proceedings. :329–330.
Adalid D, Gallardo M-del-M, Merino P, Salmeron A.  2011.  TJT: testing temporal logic in JAVA programs. Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011. :1–18.
2010
Salmeron A.  2010.  . Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :67–81.
Merino P, Salmeron A.  2010.  Analysis and optimization of video download on mobile devices. XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM).
Gallardo M-del-M, Panizo L.  2010.  An approach to verify hybrid systems with SPIN. Victor M. Gul{ías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010.
Merino P, Salmeron A.  2010.  Combining SPIN with ns-2 for protocol optimization. Jaco van de Pol y Michael Weber (Eds.). Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings. :40–57.
Merino P, Álvarez JMaría, Panizo L, Pérez FCarlos, Sanz A.  2010.  Communication software: design and testing. Encyclopedia of Software Engineering. :153–169.
Recio ÁManuel.  2010.  Creación e instalación de aplicaciones. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :11–36.
Panizo L, Gallardo M-del-M, Merino P, Sanán D, Linares A.  2010.  Dam management based on model checking techniques. 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010. :9–13.
Díaz A, Merino P.  2010.  Evaluación de los mecanismos de handover implementados en redes comerciales de telefon{ía móvil. Yannis Dimitriadis y Mar{ía Jesús Verdú Pérez (eds.). IX Jornadas de Ingenier{ía Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010. :159–166.
Díaz A, Merino P.  2010.  Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks. Proc. of 2010 IEEE Global Telecommunications Conference. GLOBECOM 2010..
Gallardo M-del-M, Panizo L.  2010.  Extending PROMELA and SPIN for hybrid system analysis80. Proceedings of the 10th international workshop on automated verification of critical systems and the rodin user and developer workshop. AVoCS’10. Düsseldorf, Germany. September 20-23, 2010. :118–119.
Díaz A.  2010.  Gestión de los recursos del sistema: arquitectura cliente-servidor. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :117–130.
Díaz A, Merino P.  2010.  Incorporanto TCP/IP en las aplicaciones Symbian. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :131–158.
[Anonymous].  2010.  Introducción a la programación en Symbian.

Pages