Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case. Journal of Computer Networks and Communications. :1–10.. 2013.
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.. 2007.
On-the-Fly data flow analysis based on verification technology. Electronic Notes in Theoretical Computer Science. 190:33–48.. 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.. 2007.
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.. 2013.
Performance monitoring and analysis of wireless communication protocols for mobile devices. Proceedings of the I International Conference on Ubiquitous Computing, 2006. :103–108.. 2006.
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.. 2013.
PerformLTE: A testbed for LTE testing in the future internet. Lecture Notes in Computer Science (LNCS). WWIC 2015: Wired/Wireless Internet Communications. 2015.
PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.. 2007.
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.. 2006.
Portabilidad de aplicaciones usando Open C/C++. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :171–199.. 2010.
A practical use of model checking for synthesis: generating a dam controller for flood management. Software Practice & Experience. 41:1329–1347.. 2011.
Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008). Science of Computer Programming. 76:63–64.. 2010.
Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS’07), Berlin, Germany July 1-2.. 2007.
Programming for Symbian OS. :189.. 2010.
Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack. Conference: Networks and Communications (EuCNC), 2016 European Conference on.. 2016.
QOS analysis of video streaming service in live cellular networks. Computer Communications. 33:322–335.. 2010.
Remote control and instrumentation of Android devices. 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016).. 2016.
River Basin Management with Spin. Model Checking Software: 23rd. International Symposium, SPIN.. 2016.
River basin management with SPIN (abstract). XVI Jornadas de Programación y Lenguajes, PROLE 2016.. 2016.
A Runtime Verification Framework for android Applications. Proceedings of XXI JCSD.. 2013.
Safety-critical software. Ercim News. 75:12–13.. 2008.
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.. 2007.