Biblio

Found 10 results
Filters: First Letter Of Title is A  [Clear All Filters]
2017
Díaz-Zayas A, Salmeron A, F. Tocado JRivas, Merino P.  2017.  Advanced testing of mobile applications and devices. IFIP/IEEE Symposium on Integrated Network and Service Management (IM),.
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.
2010
Merino P, Salmeron A.  2010.  Analysis and optimization of video download on mobile devices. XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM).
Gallardo M-del-M, Panizo L.  2010.  An approach to verify hybrid systems with SPIN. Victor M. Gul{ías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010.
2008
Gallardo M-del-M, Merino P, Sanán D.  2008.  Automatic verification of C programs with dynamic memory allocation. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :247–261.
2007
Frasnedo MAlpuente, Gallardo M-del-M, Pimentel E, Garcia AVillanueva.  2007.  An Abstract analysis framework for synchronous concurrent languages based on source-to-source transformation. Ernesto Pimentel (Ed.). VII Jornadas de Programación y Lenguajes PROLE 2007, Zaragoza, 12 al 14 de septiembre. :81–102.
[Anonymous].  2007.  Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007. :330.
Martínez J, Merino P, Salmeron A.  2007.  Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems. (CISIS 2007),Vienna, Austria. :185–190.
2006
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.