Jump to Navigation

Biblio

Found 203 results
Author Title Type [ Year(Asc)]
2012
Panizo, L., and M-del-M. Gallardo, "An Extension of Java PathFinder for Hybrid Systems", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 6, New York, NY, USA, ACM, pp. 1–5, nov, 2012.
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "Field measurements of mobile services with Android smartphones", Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV: IEEE Communications Society, pp. 105–109, 2012.
Panizo, L., and M-del-M. Gallardo, "Generation of safe operations for dam management using formal methods", XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, pp. 129–144, jun, 2012.
Salmeron, A., and P. Merino, "Integration of model checking and simulation for protocol analysis", XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, pp. 153–168, 2012.
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "Mobile application profiling with TestelDroid", Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV: IEEE Communications Society, pp. 36–37, mar, 2012.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "A Model-extraction approach to verifying concurrent C programs with CADP", Science of Computer Programming, vol. 77, no. 3: Elsevier, pp. 375–392, 2012.
Díaz, A., P. Merino, and F J. Rivas, "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, Piscataway, NJ, IEEE Computer Society, pp. 780–794, oct, 2012.
Rivas, F J., A. Díaz, and P. Merino, "Testing of LTE configurations and applications", En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012, Berlin, Springer, pp. 417–418, mar, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "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: Universidad de Almería, pp. 233–234, sep, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "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, pp. 37–47, nov, 2012.
Díaz, A., F J. Rivas, and P. Merino, "UMA testing facility", T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012: Springer, pp. 9–10, mar, 2012.
Gallardo, M-del-M., and D. Sanán, "Verification of complex dynamic data tree with mu-calculus", Automated Software Engineering, pp. online first, oct, 2012.
2011
Gallardo, M-del-M., and L. Panizo, "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: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 84–98, jul, 2011.
Díaz, A., P. Merino, and A. Salmeron, "Obtaining models for realistic mobile network simulations using real traces", IEEE Communications Letters, vol. 15, no. 7, Piscataway, N. J., IEEE Communications Society, pp. 782–784, oct, 2011.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "A practical use of model checking for synthesis: generating a dam controller for flood management", Software Practice & Experience, vol. 41, no. 11: John Wiley, pp. 1329–1347, jan, 2011.
Díaz, A., and P. Merino, "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, Berlín, Springer-Verlag, pp. 329–330, oct, 2011.
Adalid, D., M-del-M. Gallardo, P. Merino, and A. Salmeron, "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: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 1–18, jul, 2011.
2010
Salmeron, A., "", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 67–81, oct, 2010.
Merino, P., and A. Salmeron, "Analysis and optimization of video download on mobile devices", XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), dec, 2010.
Gallardo, M-del-M., and L. Panizo, "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, Madrid, Gaceta grupo editorial, oct, 2010.
Merino, P., and A. Salmeron, "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, Berlín, Springer, pp. 40–57, dec, 2010.
Merino, P., J. María Álvarez, L. Panizo, F. Carlos Pérez, and A. Sanz, "Communication software: design and testing", Encyclopedia of Software Engineering: Taylor & Francis, pp. 153–169, jan, 2010.
Recio, Á. Manuel, "Creación e instalación de aplicaciones", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 11–36, oct, 2010.
Panizo, L., M-del-M. Gallardo, P. Merino, D. Sanán, and A. Linares, "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, Pisa, Italy, Consiglio Nazionale delle Ricerche, pp. 9–13, oct, 2010.
Díaz, A., and P. Merino, "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, pp. 159–166, nov, 2010.

Pages



Main menu 2

by Dr. Radut