Biblio

Found 131 results
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
Rivas FJavier, Díaz A, Merino P.  2013.  Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case. Journal of Computer Networks and Communications. :1–10.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On-the-fly API influence analysis of software. Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco. :1–4.
Gallardo M-del-M, Joubert C, Merino P.  2007.  On-the-Fly data flow analysis based on verification technology. Electronic Notes in Theoretical Computer Science. 190:33–48.
Gallardo M-del-M, Merino P, Joubert C.  2007.  On-the-Fly data flow analysis based on verification technology. Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March.
Salmeron A, Merino P.  2013.  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. :145–151.
P
Díaz A.  2009.  Performance evaluation of IP multimedia services in live mobile networks.
Díaz A, Merino P, Rivas FJavier.  2006.  Performance monitoring and analysis of wireless communication protocols for mobile devices. Proceedings of the I International Conference on Ubiquitous Computing, 2006. :103–108.
Rivas FJavier, Díaz A, Merino P.  2013.  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. :1–9.
Díaz A, García CAugusto, Recio ÁManuel, Merino P.  2015.  PerformLTE: A testbed for LTE testing in the future internet. Lecture Notes in Computer Science (LNCS). WWIC 2015: Wired/Wireless Internet Communications
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2007.  PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2006.  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. :57–66.
[Anonymous].  2010.  Portabilidad de aplicaciones usando Open C/C++. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :171–199.
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.
[Anonymous].  2010.  Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008). Science of Computer Programming. 76:63–64.
[Anonymous].  2007.  Proceedings of the II International Conference on Science and Technology (CD).
[Anonymous].  2007.  Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS’07), Berlin, Germany July 1-2.
Díaz A, Martínez J, Merino P, Panizo L, Recio ÁManuel, Salmeron A.  2010.  Programming for Symbian OS. :189.
R
Díaz A, Recio ÁManuel, García CAugusto, Merino P.  2016.  Remote control and instrumentation of Android devices. 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016).
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2016.  River Basin Management with Spin. Model Checking Software: 23rd. International Symposium, SPIN.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2016.  River basin management with SPIN (abstract). XVI Jornadas de Programación y Lenguajes, PROLE 2016.
Espada ARosario, Gallardo M-del-M, Adalid D.  2013.  A Runtime Verification Framework for android Applications. Proceedings of XXI JCSD.
S
Merino P, Schoitsch E.  2008.  Safety-critical software. Ercim News. 75:12–13.
Martínez J, Merino P, Pérez FCarlos, de la Cámara P, Álvarez JMaría.  2007.  An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.

Pages