"A Characterisation of reliability tools for software defined networks (abstract)", XVII Jornadas de Programación y Lenguajes, PROLE 2017, La Laguna, Tenerife, Spain, Durán, F. (ed.), 07/2017.
"A Characterisation of verification tools for software defined networks", Journal of Reliable Intelligent Environments, vol. 3, issue 3: Springer International Publishing, pp. 189–207, 07/2017.
"Guided test case generation for mobile apps in the TRIANGLE project: work in progress", 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, ACM, 07/2017.
"Integrating river basin DSSs with model checking", International Journal on Software Tools for Technology Transfer: Springer Berlin Heidelberg, pp. 1–16, 10/2017.
"3GPP Standards to Deliver LTE Connectivity for IoT", IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI), 2016.
"Enabling low latency services in standard LTE networks", IEEE 1st International Workshops on Foundations and Applications of Self-* Systems, 2016.
"Extensive and repeatable experimentation in mobile communications with programmable instruments", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 2016.
"Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack", Conference: Networks and Communications (EuCNC), 2016 European Conference on, 2016.
" 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 , Eindhoven, The Netherlands, Springer: Switzerland, 04/2016.
"River basin management with SPIN (abstract)", XVI Jornadas de Programación y Lenguajes, PROLE 2016, Salamanca, Spain, Villanueva, M. (Ed.), 09/2016.
"Smart flood management DSS", International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016, Montreux, Switzerland, 10/2016.
"PerformLTE: A testbed for LTE testing in the future internet", Lecture Notes in Computer Science (LNCS) , vol. WWIC 2015: Wired/Wireless Internet Communications, 2015.
"Charactierizing traffic performance in cellular networks", IEEE Internet Computing, vol. 18, no. 1, Piscataway, N.Y. USA, IEEE, pp. 12–19, 2014.
"A DSS for reservoir operation based on the execution of formal models", Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014], pp. 8, 2014.
"Third-Generation partnership project standards: for delivery of critical communications for railways", IEEE Vehicular Technology Magazine, vol. 9, no. 2: IEEE, pp. 58–68, 2014.
"Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case", Journal of Computer Networks and Communications, no. 2013: Hindawi Publishing Corporation, pp. 1–10, dec, 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, New York, pp. 145–151, 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: IEEE Computer Society, pp. 1–9, 2013.
"Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks)", IEEE Internet Computing, Piscataway, N.Y. USA, IEEE, pp. in press, dec, 2013.
"Using SPIN for automated debugging of infinite executions of Java programs (in press)", Journal of Systems and Software: Elsevier, pp. 15, nov, 2013.
"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.
"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.
"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.
"A Model-extraction approach to verifying concurrent C programs with CADP", Science of Computer Programming, vol. 77, no. 3: Elsevier, pp. 375–392, 2012.