Biblio

Found 131 results
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 
V
[Anonymous].  2007.  VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga.
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.
de la Cámara P, Castro R, Gallardo M-del-M, Merino P.  2010.  Verification support for arinc-653-based avionics software (to appear). Software Testing Verification & Reliability.
Gallardo M-del-M, Sanán D.  2010.  Verification of dynamic data tree with mu-calculus extended with separation. Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy. :211–221.
Gallardo M-del-M, Sanán D.  2010.  Verification of dynamic data tree with mu-calculus extended with separation. V{íctor M. Gul{ías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010. :109–110.
Gallardo M-del-M, Sanán D.  2012.  Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.
U
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.
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.
Merino P, Nebro AJesús, Rubio B, Troya JMaría.  2008.  Un Kernel para comunicaciones y entrada-salida en redes de Transputers. Actas de Tercera Reunión sobre Paralelismo.
Martínez J, Merino P, Salmeron A, Malpartida F.  2009.  UML-Based model-driven development for HSDPA design. IEEE Software. 26:26–33.
Díaz A, Rivas FJavier, Merino P.  2012.  UMA testing facility. T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012. :9–10.
T
Díaz A, Merino P.  2008.  Towards a lightweight middleware for mobile multimedia communications awareness. Proc. of 4th International Mobile Multimedia Communications Conference. MOBIMEDIA’08. Oulu, Finland. 7-9th of July 2008. :1–4.
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, Gallardo M-del-M, Merino P, Salmeron A.  2011.  TJT: testing temporal logic in JAVA programs. 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. :1–18.
Salmeron A.  2010.  Tipos, clases y convenciones de nombrado. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :37–49.
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.
Adalid D, Salmeron A, Gallardo M-del-M, Merino P.  2012.  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. :37–47.
Adalid D, Salmeron A, Gallardo M-del-M, Merino P.  2012.  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. :233–234.
Rivas FJavier, Díaz A, Merino P.  2012.  Testing of LTE configurations and applications. En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012. :417–418.
Díaz A, Merino P.  2009.  Testing mobile data applications on smartphones with SymPA. Ercim News. 77:56–57.
Díaz A, Merino P.  2011.  Testing and profiling internet services in mobile devices. Witold Abramowicz...[et.al], (eds.). Towards a service-based internet: 4th european conference, ServiceWave 2011. Poznan, Poland, october 26-28, 2011. Proceedings. :329–330.
Díaz A, Merino P.  2010.  A Testbed for energy profile characterization of IP services in samrtphones over live networks. Mobile, Networks and Applications (MONET) Journal. :onlinefirst.
Díaz A, Merino P, Rivas FJavier.  2012.  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. :780–794.
Sanán D.  2009.  Técnicas para el análisis automático de software descrito en lenguajes de programación.
S
Díaz A, Merino P.  2010.  SymPA: una herramienta para la caracterización del rendimiento de aplicaciones móviles en entornos celulares (demostración). Yannis Dimitriadis y Mar{ía Jesús Verdú Pérez (eds.). IX Jornadas de Ingenier{ía Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010. :421–424.

Pages