"A constraint-based language for modelling intelligent environments", Journal of Reliable Intelligent Environments, no. 1, pp. 1-25, 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.
"Implementing a Hy-tccp interpreter for simulation", XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'16), 06/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.
"A simulation tool for tccp programs", Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP'16), 12/2016.
"Modeling Hybrid Systems in the Concurrent Constraint Paradigm", Electronic Proceedings in Theoretical Computer Science 173, 2015.
"PerformLTE: A testbed for LTE testing in the future internet", Lecture Notes in Computer Science (LNCS) , vol. WWIC 2015: Wired/Wireless Internet Communications, 2015.
"Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium)", Proceedings of the I DC2014, 2014.
"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.
"Modeling Hybrid Systems in Hy-tccp", Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), 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.
"DRAGONFLY : Encapsulating Android for Instrumentation", Proceedings of the XIII PROLE13, 2013.
"Extending model checkers for hybrid system verification: the case study of SPIN (in press)", Software Testing Verification & Reliability, vol. 24, no. 6: Wiley & Sons, pp. 438–471, 2013.
"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.
"A Runtime Verification Framework for android Applications", Proceedings of XXI JCSD, 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.
"Verifying hybrid systems with explicit model checkers", Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013, pp. 1–15, sep, 2013.
"Analyzing hybrid systems with JPF", 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. 235–249, sep, 2012.