Jump to Navigation

Biblio

Found 215 results
Author [ Title(Desc)] Type Year
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 
M
Joseph, A. D., A. Díaz, P. Merino, F J. Rivas, U. P. Kulkarni, J. V. Vadavi, G.. S. Thyagaraju, S. M. Joshi, and A. R. Yardi, "Mobile and ubiquitous objects - Communication awareness in mobile devices", IEEE Distributed Systems Online, vol. 7, no. 9: IEEE Computer Society, sep, 2006.
Díaz, A., P. Merino, and F J. Rivas, "Mobile application profiling for conected mobile devices", IEEE Pervasive Computing, vol. 9: IEEE Computer Society, pp. 54–61, mar, 2010.
Díaz, A., P. Merino, and F J. Rivas, "Mobile application profiling for connected Smartphones", IEEE Pervasive Computing: IEEE Computer Society, pp. in press, oct, 2009.
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "Mobile application profiling with TestelDroid", Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV: IEEE Communications Society, pp. 36–37, mar, 2012.
Gallardo, M-del-M., J. Martínez, and P. Merino, "Model checking active networks with SPIN", Computer Communications, vol. 28, no. 6: Elservier, pp. 609–622, apr, 2005.
Gallardo, M-del-M., P. Merino, and D. Sanán, "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): Universidad Politécnica de Valencia, pp. 3–16, jun, 2009.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Model Checking dynamic memory allocation in operating systems", Journal of Automated Reasoning, vol. 42, no. 2-4, Netherlands, Springer, pp. 229–264, mar, 2009.
de la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán, "Model checking software with well-defined APIs: the socket case", Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, FMICS’05, New York, ACM, pp. 16–27, oct, 2005.
de la Cámara, P., P. Merino, M-del-M. Gallardo, and D. Sanán, "Model checking software with well-defined APIS: the socket case", EASST Newsletters, vol. 11: European Association of Software Science and Technology, pp. 31–34, feb, 2005.
de la Cámara, P., M-del-M. Gallardo, and P. Merino, "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, Berlin, Springer, pp. 243–262, nov, 2007.
Gallardo, M-del-M., and P. Merino, "Modelado y simulación de protocolos para redes activas", Actas de III Jornadas de Ingeniería Telemática. JITEL'01, 19-21 de Septiembre, Barcelona, España, pp. 341–348, oct, 2001.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "A Model-extraction approach to verifying concurrent C programs with CADP", Science of Computer Programming, vol. 77, no. 3: Elsevier, pp. 375–392, 2012.
Rodriguez, G.., and P. Merino, "Modeling and simulation of active network protocols", Ten-Hwang Lai (Ed.): Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan: ROC, pp. A43-A50, oct, 2000.
Merino, P., and J. María Troya, "Modeling and verification of the MCS layer with Spin", Jean-Charles Grégoire; Gerard J. Holzmann and Doron A. Peled (Eds.). The Spin verification system: the second workshop on the Spin verification system proceedings of the DIMACS workshop, August 5, 1996, USA, American Mathematical Society, pp. 101–110, jul, 1997.
Adalid, D., M-del-M. Gallardo, and L. Titolo, "Modeling Hybrid Systems in Hy-tccp", Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), 2014.
Adalid, D., M-del-M. Gallardo, and L. Titolo, "Modeling Hybrid Systems in the Concurrent Constraint Paradigm", Electronic Proceedings in Theoretical Computer Science 173, 2015.
Merino, P., and J. María Troya, "Modelling and Verification of the ITU-T multipoint communication service with SPIN", Proceedings of The 2nd International Workshop on the SPIN Verification System, New Brunswik, EEUU, pp. 60–71, feb, 2008.
Merino, P., and J. María Troya, "Modelling and Verification of the MCS Layer with SPIN", The SPIN Verification System,: American Mathematical Society, pp. 101–110, jan, 1997.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "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, pp. 433–440, nov, 2007.
O
Panizo, L., "Objetos activos", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 101–116, oct, 2010.
Merino, P., Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos, : Universida de Málaga, jun, 1998.
Díaz, A., P. Merino, and A. Salmeron, "Obtaining models for realistic mobile network simulations using real traces", IEEE Communications Letters, vol. 15, no. 7, Piscataway, N. J., IEEE Communications Society, pp. 782–784, oct, 2011.
Rivas, F J., A. Díaz, and P. Merino, "Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case", Journal of Computer Networks and Communications, no. 2013: Hindawi Publishing Corporation, pp. 1–10, dec, 2013.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "On-the-fly API influence analysis of software", Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco, Málaga, SPICUM; Serv. de Publicaciones, pp. 1–4, nov, 2007.
Gallardo, M-del-M., P. Merino, and C. Joubert, "On-the-Fly data flow analysis based on verification technology", Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March, feb, 2007.

Pages



Main menu 2

by Dr. Radut