Biblio

Found 8 results
Filters: First Letter Of Last Name is A  [Clear All Filters]
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 
Á
Á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.
Á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.
A
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, 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.  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, Titolo L.  2015.  Modeling Hybrid Systems in the Concurrent Constraint Paradigm. Electronic Proceedings in Theoretical Computer Science 173.
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.
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.