Found 8 results
Filters: First Letter Of Last Name is P  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Panizo L, Gallardo M-del-M.  2012.  An Extension of Java PathFinder for Hybrid Systems. ACM SIGSOFT Software Engineering Notes. 37:1–5.
Panizo L, Díaz A, García B.  2018.  An extension of TRIANGLE testbed with model-based testing. 25th International Symposium on Model checking Software, SPIN2018.
Panizo L, Gallardo M-del-M.  2012.  Analyzing hybrid systems with JPF. Mar{ía del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almer{ía, 17 al 19 de septiembre de 2012. :235–249.
Panizo L.  2010.  Objetos activos. Pedro Merino..[], (eds.). Introducción a la programación en Symbian. :101–116.
Panizo L, Gallardo M-del-M.  2013.  Verifying hybrid systems with explicit model checkers. Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013. :1–15.
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.
Panizo L, Salmeron A, Gallardo M-del-M, Merino P.  2017.  Guided test case generation for mobile apps in the TRIANGLE project: work in progress. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software.
Panizo L, Gallardo M-del-M.  2012.  Generation of safe operations for dam management using formal methods. XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012. :129–144.