All Stories

  1. Synergistic Catalysis: Highly Enantioselective Cascade Reaction for the Synthesis of Dihydroacridines

    Article • Chemistry - A European Journal, May 2019, Wiley

    Pedro Merino, Dr Ramon Rios

  2. Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project

    Article • Mobile Information Systems, April 2019, Hindawi Publishing Corporation

    Pedro Merino, Barbara Valera-Muros

  3. An End-to-End Automation Framework for Mobile Network Testbeds

    Article • Mobile Information Systems, April 2019, Hindawi Publishing Corporation

    Almudena Díaz Zayas, Pedro Merino

  4. A characterisation of verification tools for software defined networks

    Article • Journal of Reliable Intelligent Environments, July 2017, Springer Science + Business Media

    Pedro Merino, Laura Panizo

  5. Guided test case generation for mobile apps in the TRIANGLE project: work in progress

    Article • July 2017, ACM (Association for Computing Machinery)

    Laura Panizo Jaime, Pedro Merino

  6. Performance Analysis of Spotify® for Android with Model-Based Testing

    Article • Mobile Information Systems, January 2017, Hindawi Publishing Corporation

    Pedro Merino

  7. Innovative Tools and Processes for Mobile Communications Research and Education

    Article • International Journal of Online Engineering (iJOE), September 2016, International Association of Online Engineering (IAOE)

    Pedro Merino

  8. Characterizing Radio and Networking Power Consumption in LTE Networks

    Article • Mobile Information Systems, January 2016, Hindawi Publishing Corporation

    Pedro Merino

  9. Using SPIN for automated debugging of infinite executions of Java programs

    Article • Journal of Systems and Software, April 2014, Elsevier

    Pedro Merino

  10. Obtaining More Realistic Cross-Layer QoS Measurements: A VoIP over LTE Use Case

    Article • Journal of Computer Networks and Communications, January 2013, Hindawi Publishing Corporation

    Pedro Merino

  11. Improving QoS and QoE for Mobile Communications

    Article • Journal of Computer Networks and Communications, January 2013, Hindawi Publishing Corporation

    Pedro Merino

  12. On-the-fly VoIP call quality evaluation with improved E-model

    Article • January 2013, ACM (Association for Computing Machinery)

    Pedro Merino

  13. Formal Methods for Industrial Critical Systems

    Article • December 2012, Wiley

    Pedro Merino

  14. Applying Formal Methods to Telecommunication Services with Active Networks

    Article • November 2012, Wiley

    Pedro Merino

  15. Test environment for QoS testing of VoIP over LTE

    Article • April 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  16. A model-extraction approach to verifying concurrent C programs with CADP

    Article • Science of Computer Programming, March 2012, Elsevier

    Pedro Merino

  17. Field measurements of mobile services with Android smartphones

    Article • January 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  18. Mobile application profiling with TestelDroid

    Article • January 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  19. Testing of LTE Configurations and Applications

    Article • January 2012, Springer Science + Business Media

    Pedro Merino

  20. UMA Testing Facility

    Article • January 2012, Springer Science + Business Media

    Pedro Merino

  21. Obtaining Models for Realistic Mobile Network Simulations using Real Traces

    Article • IEEE Communications Letters, July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  22. A practical use of model checking for synthesis: generating a dam controller for flood management

    Article • Software Practice and Experience, February 2011, Wiley

    Laura Panizo Jaime, Pedro Merino, Laura Panizo

  23. Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)

    Article • Science of Computer Programming, February 2011, Elsevier

    Pedro Merino

  24. Testing and Profiling Internet Services in Mobile Devices

    Article • January 2011, Springer Science + Business Media

    Pedro Merino

  25. Some research questions and results of UC3M in the eMadrid excellence network

    Article • April 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino, Abelardo Pardo

  26. A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks

    Article • Mobile Networks and Applications, February 2010, Springer Science + Business Media

    Pedro Merino

  27. QoS analysis of video streaming service in live cellular networks

    Article • Computer Communications, February 2010, Elsevier

    Pedro Merino

  28. Verification support for ARINC-653-based avionics software

    Article • Software Testing Verification and Reliability, January 2010, Wiley

    Pedro Merino

  29. Combining SPIN with ns-2 for Protocol Optimization

    Article • January 2010, Springer Science + Business Media

    Pedro Merino

  30. Mobile Application Profiling for Connected Mobile Devices

    Article • IEEE Pervasive Computing, January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  31. Model Checking Dynamic Memory Allocation in Operating Systems

    Article • Journal of Automated Reasoning, March 2009, Springer Science + Business Media

    Pedro Merino

  32. Checking the reliability of socket based communication software

    Article • International Journal on Software Tools for Technology Transfer, March 2009, Springer Science + Business Media

    Pedro Merino

  33. Developing a Decision Support Tool for Dam Management with SPIN

    Article • January 2009, Springer Science + Business Media

    Laura Panizo Jaime, Pedro Merino

  34. SymPa

    Article • January 2009, ACM (Association for Computing Machinery)

    Pedro Merino

  35. Design and data analysis of exercises with hints

    Article • October 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  36. Customer-centric measurements on mobile phones

    Article • April 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  37. Authoring of Educational Resources for Semantic Web Applications

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  38. Model Checking C Programs with Dynamic Memory Allocation

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  39. On-the-Fly Data Flow Analysis Based on Verification Technology

    Article • Electronic Notes in Theoretical Computer Science, November 2007, Elsevier

    Pedro Merino

  40. VI Conference on Telematics Engineering

    Article • IEEE Latin America Transactions, October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  41. Experimental analysis of peer-to-peer streaming in cellular networks

    Article • May 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Laura Panizo Jaime, Pedro Merino

  42. Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case

    Article • April 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Laura Panizo Jaime, Pedro Merino

  43. Applying MDE Methodologies to Design Communication Protocols for Distributed Systems

    Article • April 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  44. PiXL: Applying xml standards to support the integration of analysis tools for protocols

    Article • Science of Computer Programming, March 2007, Elsevier

    Pedro Merino

  45. On-the-fly model checking for C programs with extended CADP in FMICS-jETI

    Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  46. An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing

    Article • November 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  47. Implementing Influence Analysis Using Parameterised Boolean Equation Systems

    Article • November 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  48. x-AppMonitor μAgent: a tool for QoS measurements in cellular networks

    Article • September 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Pedro Merino

  49. Integration of Reliability and Performance Analyses for Active Network Services

    Article • Electronic Notes in Theoretical Computer Science, May 2005, Elsevier

    Pedro Merino

  50. Model checking active networks with SPIN

    Article • Computer Communications, April 2005, Elsevier

    Pedro Merino

  51. A generalized semantics of PROMELA for abstract model checking

    Article • Formal Aspects of Computing, May 2004, Springer Science + Business Media

    Pedro Merino

  52. A Tool for Abstraction in Model Checking

    Article • Electronic Notes in Theoretical Computer Science, December 2002, Elsevier

    Pedro Merino

  53. Comparing Under and Over-Approximations of LTL Properties for Model Checking

    Article • Electronic Notes in Theoretical Computer Science, November 2002, Elsevier

    Pedro Merino

  54. An extension of the ns simulator for active network research

    Article • Computer Communications, February 2002, Elsevier

    Pedro Merino