Found 15 results
Filters: First Letter Of Title is T  [Clear All Filters]
Gallardo M-del-M, Panizo L.  2019.  Teaching Formal Methods: From Software in the Small to Software in the Large. Formal Methods Teaching.
Gallardo M-del-M, Panizo L.  2019.  Trace Analysis Using an Event-Driven Interval Temporal Logic. Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers.
Díaz-Zayas 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.
Rivas FJavier, Díaz-Zayas A, Merino P.  2012.  Testing of LTE configurations and applications. En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012. :417–418.
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.
Díaz-Zayas A, Merino P.  2011.  Testing and profiling internet services in mobile devices. Witold Abramowicz...[], (eds.). Towards a service-based internet: 4th european conference, ServiceWave 2011. Poznan, Poland, october 26-28, 2011. Proceedings. :329–330.
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.
Díaz-Zayas 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.
Salmeron A.  2010.  Tipos, clases y convenciones de nombrado. Pedro Merino..[], (eds.). Introducción a la programación en Symbian. :37–49.
Díaz-Zayas 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.