All Stories

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

  2. The Role of Abstraction in Model Checking

    Article • January 2023, Springer Science + Business Media

    Laura Panizo

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

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

    Laura Panizo

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

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

    Laura Panizo

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

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

  7. Dynamic Spectrum Management for European-Wide Research Network

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

    Laura Panizo

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

    Article • January 2020, Springer Science + Business Media

    Laura Panizo

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

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

    Laura Panizo

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

  11. How Formal Methods Can Contribute to 5G Networks

    Article • January 2019, Springer Science + Business Media

    Laura Panizo

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

    Article • January 2019, Springer Science + Business Media

    Laura Panizo

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

  14. Integrating river basin DSSs with model checking

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

    Laura Panizo

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

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

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

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

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