Laura Panizo

According to our database1, Laura Panizo authored at least 23 papers between 2007 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.



In proceedings 
PhD thesis 


Online presence:



An Architecture for Creating Slices to Experiment on Wireless Networks.
J. Netw. Syst. Manag., 2021

Model-based testing of apps in real network scenarios.
Int. J. Softw. Tools Technol. Transf., 2020

Dynamic Spectrum Management for European-Wide Research Network.
Proceedings of the 91st IEEE Vehicular Technology Conference, 2020

A formal approach to automatically analyse extra-functional properties in mobile applications.
Softw. Test. Verification Reliab., 2019

Teaching Formal Methods: From Software in the Small to Software in the Large.
Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Trace Analysis Using an Event-Driven Interval Temporal Logic.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

How Formal Methods Can Contribute to 5G Networks.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

QoE Evaluation: The TRIANGLE Testbed Approach.
Wirel. Commun. Mob. Comput., 2018

Integrating river basin DSSs with model checking.
Int. J. Softw. Tools Technol. Transf., 2018

An Extension of TRIANGLE Testbed with Model-Based Testing.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

A characterisation of verification tools for software defined networks.
J. Reliab. Intell. Environ., 2017

A constraint-based language for modelling intelligent environments.
J. Reliab. Intell. Environ., 2017

A Simulation Tool for tccp Programs.
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

Guided test case generation for mobile apps in the TRIANGLE project: work in progress.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

River Basin Management with Spin.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Extending model checkers for hybrid system verification: the case study of SPIN.
Softw. Test. Verification Reliab., 2014

An extension of Java PathFinder for hybrid systems.
ACM SIGSOFT Softw. Eng. Notes, 2012

A practical use of model checking for synthesis: generating a dam controller for flood management.
Softw. Pract. Exp., 2011

Communication Software: Design and Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010

Using SCADE for Decision Support in Dam Management.
Proceedings of the Modelling, 2009

Developing a Decision Support Tool for Dam Management with SPIN.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case.
Proceedings of the 65th IEEE Vehicular Technology Conference, 2007

Experimental analysis of peer-to-peer streaming in cellular networks.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007