Biblio

Found 139 results
2016
Díaz M, Gallardo M-del-M, Merino P, Panizo L, Romero S, Soler E.  2016.  Smart flood management DSS. International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016.
2015
Gallardo M-del-M, Panizo L, Titolo L.  2015.  A Discretized operational semantic for the implementation of Hy-tccp (abstract). XXIII Jornadas de Concurrencia y Sistemas Distribuidos., JCSD 2015; Doctoral Consortium en Tecnolog{ías Informáticas. DCTI 2015.
Gallardo M-del-M, Panizo L, Titolo L.  2015.  A discretized operational semantics for the implementation of Hy-tccp. Jornadas sobre Programación y Lenguajes, PROLE 2015.
Adalid D, Gallardo M-del-M, Titolo L.  2015.  Modeling Hybrid Systems in the Concurrent Constraint Paradigm. Electronic Proceedings in Theoretical Computer Science 173.
Díaz A, García CAugusto, Recio ÁManuel, Merino P.  2015.  PerformLTE: A testbed for LTE testing in the future internet. Lecture Notes in Computer Science (LNCS). WWIC 2015: Wired/Wireless Internet Communications
2014
Espada ARosario, Gallardo M-del-M.  2014.  Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium). Proceedings of the I DC2014.
Rivas FJavier, Díaz A, Merino P.  2014.  Charactierizing traffic performance in cellular networks. IEEE Internet Computing. 18:12–19.
Linares A, Regodón J, Panizo L, Gallardo M-del-M, Merino P.  2014.  A DSS for reservoir operation based on the execution of formal models. Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014]. :8.
Adalid D, Gallardo M-del-M, Titolo L.  2014.  {Modeling Hybrid Systems in Hy-tccp}. Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014).
Díaz A, García CAugusto, Merino P.  2014.  Third-Generation partnership project standards: for delivery of critical communications for railways. IEEE Vehicular Technology Magazine. 9:58–68.
2013
Espada ARosario, Gallardo M-del-M, Adalid D.  2013.  DRAGONFLY : Encapsulating Android for Instrumentation. Proceedings of the XIII PROLE13.
Gallardo M-del-M, Panizo L.  2013.  Extending model checkers for hybrid system verification: the case study of SPIN (in press). Software Testing Verification & Reliability. 24:438–471.
Rivas FJavier, Díaz A, Merino P.  2013.  Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case. Journal of Computer Networks and Communications. :1–10.
Salmeron A, Merino P.  2013.  On-the-fly VoIP call quality evaluation with improved E-model. Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wirede Networks. PM²HW²N´13, November 3-8, 2013, Barcelona Spain. :145–151.
Rivas FJavier, Díaz A, Merino P.  2013.  Performance study of internet traffic on high speed railways. 2013 IEEE 14th International Symposium and Workshops on A world of wireless, Mobile and multimedia networks (WoWMoM). Digital proceedings. Madrid, Spain, June 4-7, 2013. :1–9.
Espada ARosario, Gallardo M-del-M, Adalid D.  2013.  A Runtime Verification Framework for android Applications. Proceedings of XXI JCSD.
Rivas FJavier, Díaz A, Merino P.  2013.  Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks). IEEE Internet Computing. :inpress.
Adalid D, Salmeron A, Gallardo M-del-M, Merino P.  2013.  Using SPIN for automated debugging of infinite executions of Java programs (in press). Journal of Systems and Software. :15.
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.
2012
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, Gallardo M-del-M.  2012.  An Extension of Java PathFinder for Hybrid Systems. ACM SIGSOFT Software Engineering Notes. 37:1–5.
Álvarez A, Díaz A, Merino P, Rivas FJavier.  2012.  Field measurements of mobile services with Android smartphones. Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV. :105–109.
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.
Salmeron A, Merino P.  2012.  Integration of model checking and simulation for protocol analysis. XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012. :153–168.
Álvarez A, Díaz A, Merino P, Rivas FJavier.  2012.  Mobile application profiling with TestelDroid. Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV. :36–37.

Pages