Biblio

Found 130 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 
A
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).
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.
Adalid D, Gallardo M-del-M, Titolo L.  2015.  Modeling Hybrid Systems in the Concurrent Constraint Paradigm. Electronic Proceedings in Theoretical Computer Science 173.
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.
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, 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.
Á
Á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.
Á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.
C
[Anonymous].  2010.  Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008). Science of Computer Programming. 76:63–64.
D
de la Cámara P, Gallardo M-del-M, Merino P.  2007.  Model extraction for ARINC 653 based avionics software. Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checkin Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007, Proceedigns. :243–262.
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.
de la Cámara P, Gallardo M-del-M, Merino P.  2006.  Abstract Matching for Software Model Checking. Antti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings. :182–200.
Díaz A, Merino P.  2010.  Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks. Proc. of 2010 IEEE Global Telecommunications Conference. GLOBECOM 2010..
Díaz A, Merino P, Rivas FJavier.  2010.  QOS analysis of video streaming service in live cellular networks. Computer Communications. 33:322–335.
Díaz A, García CAugusto, Recio ÁManuel, Merino P.  2016.  3GPP Standards to Deliver LTE Connectivity for IoT. IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI).
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS. Lidia Fuentes; Javier López y Pedro Merino (Eds.). VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga, del 17 al 19 de Septiembre. :433–440.
Díaz A, Merino P.  2009.  Testing mobile data applications on smartphones with SymPA. Ercim News. 77:56–57.
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.
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.  Evaluación de los mecanismos de handover implementados en redes comerciales de telefon{ía móvil. 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. :159–166.
Díaz A, Merino P, Rivas FJavier.  2008.  Customer-centric measurements on mobile phones. 12th Annual IEEE International Symposium on Consumer Electronics. ISCE 2008. Algarve, Portugal. 14-16 April 2008. :1–4.
Díaz A, Martínez J, Merino P, Panizo L, Recio ÁManuel, Salmeron A.  2010.  Programming for Symbian OS. :189.
Díaz A, Rivas FJavier, Merino P.  2012.  UMA testing facility. T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012. :9–10.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  A Survey on mobile peer-to-peer technology. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :59–68.

Pages