Contact

All Stories

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

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

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

    Article • January 2018, Springer Science + Business Media

    Laura Panizo Jaime

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

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

  6. A Simulation Tool for tccp Programs

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

    Laura Panizo Jaime

  7. River Basin Management with Spin

    Article • January 2016, Springer Science + Business Media

    Laura Panizo Jaime

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

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

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

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

    Article • January 2009, Springer Science + Business Media

    Laura Panizo Jaime, Pedro Merino

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

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

    Laura Panizo Jaime, Pedro Merino

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

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

    Laura Panizo Jaime, Pedro Merino

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

    Article • EasyChair

    Laura Panizo Jaime