Contact

All Stories

  1. Flextory: Flexible Software Factory of IoT Data Consumers

    Article • Sensors, April 2024, MDPI AG

    Laura Panizo Jaime

  2. A network application approach towards 5G and beyond critical communications use cases

    Article • Frontiers in Communications and Networks, February 2024, Frontiers

    Laura Panizo Jaime

  3. AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking

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

    Laura Panizo, Laura Panizo Jaime

  4. The Role of Abstraction in Model Checking

    Article • January 2023, Springer Science + Business Media

    Laura Panizo, Laura Panizo Jaime

  5. Validation of NFV management and orchestration on Kubernetes-based 5G testbed environment

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Laura Panizo, Laura Panizo Jaime

  6. STAn: analysis of data traces using an event-driven interval temporal logic

    Article • Automated Software Engineering, November 2022, Springer Science + Business Media

    Laura Panizo, Laura Panizo Jaime

  7. Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking

    Article • IEEE Network, March 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Laura Panizo, Laura Panizo Jaime

  8. An Architecture for Creating Slices to Experiment on Wireless Networks

    Article • Journal of Network and Systems Management, October 2020, Springer Science + Business Media

    Laura Panizo, Laura Panizo Jaime

  9. Dynamic Spectrum Management for European-Wide Research Network

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

    Laura Panizo, Laura Panizo Jaime

  10. Trace Analysis Using an Event-Driven Interval Temporal Logic

    Article • January 2020, Springer Science + Business Media

    Laura Panizo, Laura Panizo Jaime

  11. A formal approach to automatically analyse extra‐functional properties in mobile applications

    Article • Software Testing Verification and Reliability, June 2019, Wiley

    Laura Panizo, Laura Panizo Jaime

  12. Model-based testing of apps in real network scenarios

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

    Laura Panizo Jaime, Laura Panizo

  13. How Formal Methods Can Contribute to 5G Networks

    Article • January 2019, Springer Science + Business Media

    Laura Panizo, Laura Panizo Jaime

  14. Teaching Formal Methods: From Software in the Small to Software in the Large

    Article • January 2019, Springer Science + Business Media

    Laura Panizo, Laura Panizo Jaime

  15. QoE Evaluation: The TRIANGLE Testbed Approach

    Article • Wireless Communications and Mobile Computing, December 2018, Hindawi Publishing Corporation

    Laura Panizo Jaime, Almudena Díaz Zayas, Laura Panizo

  16. An Extension of TRIANGLE Testbed with Model-Based Testing

    Article • January 2018, Springer Science + Business Media

    Laura Panizo Jaime

  17. Integrating river basin DSSs with model checking

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

    Laura Panizo, Laura Panizo Jaime

  18. 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, Laura Panizo Jaime

  19. 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

  20. A constraint-based language for modelling intelligent environments

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

    Laura Panizo Jaime, Laura Panizo

  21. A Simulation Tool for tccp Programs

    Article • Electronic Proceedings in Theoretical Computer Science, January 2017, Open Publishing Association

    Laura Panizo Jaime

  22. River Basin Management with Spin

    Article • January 2016, Springer Science + Business Media

    Laura Panizo Jaime

  23. Extending model checkers for hybrid system verification: the case study ofSPIN

    Article • Software Testing Verification and Reliability, July 2013, Wiley

    Laura Panizo Jaime, Laura Panizo

  24. An extension of Java PathFinder for hybrid systems

    Article • ACM SIGSOFT Software Engineering Notes, November 2012, ACM (Association for Computing Machinery)

    Laura Panizo Jaime, Laura Panizo

  25. 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

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

    Article • January 2009, Springer Science + Business Media

    Laura Panizo Jaime, Pedro Merino

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

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

    Laura Panizo Jaime, Pedro Merino

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

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

    Laura Panizo Jaime, Pedro Merino

  29. Integrated Water Resources Management in a Complex Reservoir System Through a Multipurpose DSS Tool

    Article • EasyChair

    Laura Panizo Jaime