Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Asc)]
2014
Adalid, D., M-del-M. Gallardo, and L. Titolo, "Modeling Hybrid Systems in Hy-tccp", Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), 2014.
Díaz, A., C A. García, and P. Merino, "Third-Generation partnership project standards: for delivery of critical communications for railways", IEEE Vehicular Technology Magazine, vol. 9, no. 2: IEEE, pp. 58–68, 2014.
2013
Espada, A. Rosario, M-del-M. Gallardo, and D. Adalid, "DRAGONFLY : Encapsulating Android for Instrumentation", Proceedings of the XIII PROLE13, 2013.
Gallardo, M-del-M., and L. Panizo, "Extending model checkers for hybrid system verification: the case study of SPIN (in press)", Software Testing Verification & Reliability, vol. 24, no. 6: Wiley & Sons, pp. 438–471, 2013.
Rivas, F J., A. Díaz, and P. Merino, "Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case", Journal of Computer Networks and Communications, no. 2013: Hindawi Publishing Corporation, pp. 1–10, dec, 2013.
Salmeron, A., and P. Merino, "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, New York, pp. 145–151, 2013.
Rivas, F J., A. Díaz, and P. Merino, "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: IEEE Computer Society, pp. 1–9, 2013.
Espada, A. Rosario, M-del-M. Gallardo, and D. Adalid, "A Runtime Verification Framework for android Applications", Proceedings of XXI JCSD, 2013.
Rivas, F J., A. Díaz, and P. Merino, "Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks)", IEEE Internet Computing, Piscataway, N.Y. USA, IEEE, pp. in press, dec, 2013.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Using SPIN for automated debugging of infinite executions of Java programs (in press)", Journal of Systems and Software: Elsevier, pp. 15, nov, 2013.
Panizo, L., and M-del-M. Gallardo, "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, pp. 1–15, sep, 2013.
2012
Panizo, L., and M-del-M. Gallardo, "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: Universidad de Almería, pp. 235–249, sep, 2012.
Panizo, L., and M-del-M. Gallardo, "An Extension of Java PathFinder for Hybrid Systems", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 6, New York, NY, USA, ACM, pp. 1–5, nov, 2012.
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "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: IEEE Communications Society, pp. 105–109, 2012.
Panizo, L., and M-del-M. Gallardo, "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, pp. 129–144, jun, 2012.
Salmeron, A., and P. Merino, "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, pp. 153–168, 2012.
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "Mobile application profiling with TestelDroid", Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV: IEEE Communications Society, pp. 36–37, mar, 2012.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "A Model-extraction approach to verifying concurrent C programs with CADP", Science of Computer Programming, vol. 77, no. 3: Elsevier, pp. 375–392, 2012.
Díaz, A., P. Merino, and F J. Rivas, "Test environment for QoS testing of VoIP over LTE", Filip De Truck; Luciano Paschoal Gaspary; Deep Medhi, (eds.). Proceedings of the 2012 IEEE Network Operations and Management Symposium 16-20 aplil 2012, Maui, Hawaii, USA, Piscataway, NJ, IEEE Computer Society, pp. 780–794, oct, 2012.
Rivas, F J., A. Díaz, and P. Merino, "Testing of LTE configurations and applications", En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012, Berlin, Springer, pp. 417–418, mar, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", 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: Universidad de Almería, pp. 233–234, sep, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", Costin Badica, [et. all]; (eds.). Modelling, simulation, verification and validation of enterprise information systems & web intelligence. Proceedings of MSVVEIS/WEBI 2012. June 28th-July 1st, 2012, Wroclaw, Poland, pp. 37–47, nov, 2012.
Díaz, A., F J. Rivas, and P. Merino, "UMA testing facility", T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012: Springer, pp. 9–10, mar, 2012.
Gallardo, M-del-M., and D. Sanán, "Verification of complex dynamic data tree with mu-calculus", Automated Software Engineering, pp. online first, oct, 2012.
2011
Gallardo, M-del-M., and L. Panizo, "Extending model checkers for hybrid system verification: the case study of Spin", Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 84–98, jul, 2011.

Pages



Main menu 2

by Dr. Radut