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 
G
Panizo L, Salmeron A, Gallardo M-del-M, Merino P.  2017.  Guided test case generation for mobile apps in the TRIANGLE project: work in progress. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software.
I
Lavado L, Panizo L, Gallardo M-del-M.  2016.  Implementing a Hy-tccp interpreter for simulation. XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’16).
[Anonymous].  2007.  Implementing Influence Analysis using Parameterized Boolean Equation Systems. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
Díaz A, Merino P.  2010.  Incorporanto TCP/IP en las aplicaciones Symbian. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :131–158.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2017.  Integrating river basin DSSs with model checking. International Journal on Software Tools for Technology Transfer. :1–16.
Salmeron A, Merino P.  2012.  Integration of model checking and simulation for protocol analysis. XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012. :153–168.
Gallardo M-del-M, Merino P, Panizo L.  2009.  Integration of quantitative aspects into SPIN to develop a decision support tool for dams. Susana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings. :95–100.
[Anonymous].  2010.  Introducción a la programación en Symbian.
M
Martínez J, Salmeron A.  2007.  MDA for reliable and high performance communication protocols. 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. :215–230.
Joseph AD, Díaz A, Merino P, Rivas FJavier, Kulkarni UP, Vadavi JV, Thyagaraju G.S, Joshi SM, Yardi AR.  2006.  Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Pervasive Computing. 5:57–59.
Joseph AD, Díaz A, Merino P, Rivas FJavier, Kulkarni UP, Vadavi JV, Thyagaraju G.S, Joshi SM, Yardi AR.  2006.  Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Distributed Systems Online. 7
Díaz A, Merino P, Rivas FJavier.  2010.  Mobile application profiling for conected mobile devices. IEEE Pervasive Computing. 9:54–61.
Díaz A, Merino P, Rivas FJavier.  2009.  Mobile application profiling for connected Smartphones. IEEE Pervasive Computing. :inpress.
Á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.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model checking dynamic data structures in operating systems. Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos.10,11 y 12 de Junio de 2009. Sagunto (Valencia). :3–16.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model Checking dynamic memory allocation in operating systems. Journal of Automated Reasoning. 42:229–264.
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.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2012.  A Model-extraction approach to verifying concurrent C programs with CADP. Science of Computer Programming. 77:375–392.
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, Gallardo M-del-M, Titolo L.  2015.  Modeling Hybrid Systems in the Concurrent Constraint Paradigm. Electronic Proceedings in Theoretical Computer Science 173.
Merino P, Troya JMaría.  2008.  Modelling and Verification of the ITU-T multipoint communication service with SPIN. Proceedings of The 2nd International Workshop on the SPIN Verification System. :60–71.
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.
O
Panizo L.  2010.  Objetos activos. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :101–116.
Díaz A, Merino P, Salmeron A.  2011.  Obtaining models for realistic mobile network simulations using real traces. IEEE Communications Letters. 15:782–784.

Pages