Biblio

Found 41 results
Filters: Author is Laura Panizo  [Clear All Filters]
2010
Gallardo M-del-M, Panizo L.  2010.  An approach to verify hybrid systems with SPIN. Victor M. Gul{ías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010.
Merino P, Álvarez JMaría, Panizo L, Pérez FCarlos, Sanz A.  2010.  Communication software: design and testing. Encyclopedia of Software Engineering. :153–169.
Panizo L, Gallardo M-del-M, Merino P, Sanán D, Linares A.  2010.  Dam management based on model checking techniques. 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010. :9–13.
Gallardo M-del-M, Panizo L.  2010.  Extending PROMELA and SPIN for hybrid system analysis80. Proceedings of the 10th international workshop on automated verification of critical systems and the rodin user and developer workshop. AVoCS’10. Düsseldorf, Germany. September 20-23, 2010. :118–119.
Panizo L.  2010.  Objetos activos. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :101–116.
Díaz A, Martínez J, Merino P, Panizo L, Recio ÁManuel, Salmeron A.  2010.  Programming for Symbian OS. :189.
2009
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Dam management using SCADE suite. Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos. 10,11 y 12 de Junio de 2009. Sagunto (Valencia). :287–296.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Developing a decision support tool for dam management with SPIN. Mar{ía Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. :210–212.
Gallardo M-del-M, Merino P, Panizo L.  2009.  Integration of quantitative aspects into SPIN to develop a decision support tool for dams. Susana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings. :95–100.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Using SCADE for decision support in Dam management. Daniel Moldt; Juan C. Augusto and Ulrich Ultes-Nitsche (Eds.). Modelling, simulation, verification and validation of enterprise information systems: proceedings of the 7th international Workshop... MSVVEIS 2009. :125–131.
2008
Gallardo M-del-M, Merino P, Panizo L.  2008.  Estado del arte de herramientas para la verificación de sistemas h{íbridos. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :231–245.
2007
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Evaluating video streaming over GPRS/UMTS networks: a practical case. The 65th IEEE Vehicular Technology Conference. VTC 2007-Spring, 22-25 April 2007, Dublin, Ireland. :624–628.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Experimental analysis of peer-to-peer streaming in cellular networks. 21st International Conference on Advanced Information Networking and Applications. AINA 2007, Niagara Falls, Ontario, Canada, 21-23 May. :784–791.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS. Lidia Fuentes; Javier López y Pedro Merino (Eds.). VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga, del 17 al 19 de Septiembre. :433–440.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  A Survey on mobile peer-to-peer technology. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :59–68.

Pages