Jump to Navigation

Biblio

Found 215 results
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
Gallardo, M-del-M., C. Joubert, and P. Merino, "On-the-Fly data flow analysis based on verification technology", Electronic Notes in Theoretical Computer Science, vol. 190, no. 4: Elsevier, pp. 33–48, dec, 2007.
Salmeron, A., and P. Merino, "On-the-fly VoIP call quality evaluation with improved E-model", Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wirede Networks. PM²HW²N´13, November 3-8, 2013, Barcelona Spain, New York, pp. 145–151, 2013.
P
Rus, F., P. Merino, and M. Díaz, "Paralelización de un algoritmo de validación de protocolos", J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas, pp. 405–414, oct, 1995.
Díaz, A., Performance evaluation of IP multimedia services in live mobile networks, : Universida de Málaga, mar, 2009.
Díaz, A., P. Merino, and F J. Rivas, "Performance monitoring and analysis of wireless communication protocols for mobile devices", Proceedings of the I International Conference on Ubiquitous Computing, 2006, Alcalá de Henares, Spain, Universidad de Alcalá de Henares. Serv, de Publicaciones, pp. 103–108, feb, 2006.
Rivas, F J., A. Díaz, and P. Merino, "Performance study of internet traffic on high speed railways", 2013 IEEE 14th International Symposium and Workshops on A world of wireless, Mobile and multimedia networks (WoWMoM). Digital proceedings. Madrid, Spain, June 4-7, 2013: IEEE Computer Society, pp. 1–9, 2013.
Díaz, A., C A. García, Á. Manuel Recio, and P. Merino, "PerformLTE: A testbed for LTE testing in the future internet", Lecture Notes in Computer Science (LNCS) , vol. WWIC 2015: Wired/Wireless Internet Communications, 2015.
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PiXL: appliyng XML standards to support the integration of analysis tools for protocols", Science of Computer Programming, vol. 65, no. 1: Elservier, pp. 57–69, mar, 2007.
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PIXL: applying XML standards to support the integration of analysis tools for protocols", Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May, Portugal, INSTICC Press, pp. 57–66, nov, 2006.
"Portabilidad de aplicaciones usando Open C/C++", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 171–199, oct, 2010.
Gallardo, M-del-M., and P. Merino, "A Practical method to integrate abstraction into SDL and MSC based tools", Stefania Gnesi, et al (eds.). 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems: proceedings of FMICS'2000, April 3-4, 2000 in Berlin, pp. 225–246, oct, 2000.
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.
"Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008)", Science of Computer Programming, vol. 76: Elsevier, pp. 63–64, feb, 2010.
Proceedings of the II International Conference on Science and Technology (CD), : Universidad de Málaga, feb, 2007.
Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany July 1-2, , Germany; Spain, Universität Konstanz; Universidad de Málaga, nov, 2007.
Díaz, A., J. Martínez, P. Merino, L. Panizo, Á. Manuel Recio, and A. Salmeron, Programming for Symbian OS, , Kraków, DG Edukacja i kultura Program Uczenie sie przez cale zycie. Leonardo da Vinci, pp. 189, jan, 2010.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Property preserving abstractions of SDL", Diego Cazorla López (Coor.). Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000: Universidad de Castilla-La Mancha, pp. 111–124, oct, 2000.
Q
García, C A., Á. Ríos, P. Merino, K. Katsalis, N. Nikaein, R. Figueiredo, D. Morris, and T. O'Callaghan, "Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack", Conference: Networks and Communications (EuCNC), 2016 European Conference on, 2016.
Díaz, A., P. Merino, and F J. Rivas, "QOS analysis of video streaming service in live cellular networks", Computer Communications, vol. 33, pp. 322–335, mar, 2010.
R
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Refinement of LTL formulas for abstract model checking", Manuel V. Hermenegildo and Germán Puebla (Eds.).Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, Berlin, Springer, pp. 395–410, oct, 2002.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Relating abstract interpretation with logic program verification", Proc. International Workshop on Verification, Model Checking and Abstract Interpretation' 97, Universita´Ca´foscari di Venezia Report CS97-14, oct, 1997.
Díaz, A., Á. Manuel Recio, C A. García, and P. Merino, " Remote control and instrumentation of Android devices", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 2016.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Salmeron, "River Basin Management with Spin", Model Checking Software: 23rd. International Symposium, SPIN , Eindhoven, The Netherlands, Springer: Switzerland, 04/2016.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Salmeron, "River basin management with SPIN (abstract)", XVI Jornadas de Programación y Lenguajes, PROLE 2016, Salamanca, Spain, Villanueva, M. (Ed.), 09/2016.
López, F. Javier, A. Maña, P. Merino, and J. María Troya, "The Role of smartcards in practical information security", Ercim News, vol. 49, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 38–40, oct, 2002.

Pages



Main menu 2

by Dr. Radut