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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2020
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

2019
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

2018
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

2017
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

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

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

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

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

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

2009
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

2007
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


  Loading...