Jump to Navigation

Biblio

Found 215 results
Author Title [ Type(Desc)] Year
Journal Article
Ocaña, M. del Carmen, and P. Merino, La madurez de la tecnología IP, , pp. 47–48, feb, 2007.
Merino, P., and J. María Troya, "A Logic based approach to validation and verification of computer protocols", Bulletin of the Association for Theoretical Computer Science, no. 59, pp. 109–124, jun, 1996.
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 Pervasive Computing, vol. 5, no. 3: IEEE Computer Society, pp. 57–59, nov, 2006.
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.
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 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., 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.
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.
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., C. Joubert, and P. Merino, "On-the-Fly data flow analysis based on verification technology", Electronic Notes in Theoretical Computer Science, vol. 190, no. 4: Elsevier, pp. 33–48, dec, 2007.
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PiXL: appliyng XML standards to support the integration of analysis tools for protocols", Science of Computer Programming, vol. 65, no. 1: Elservier, pp. 57–69, mar, 2007.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "A practical use of model checking for synthesis: generating a dam controller for flood management", Software Practice & Experience, vol. 41, no. 11: John Wiley, pp. 1329–1347, jan, 2011.
"Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008)", Science of Computer Programming, vol. 76: Elsevier, pp. 63–64, feb, 2010.
Díaz, A., P. Merino, and F J. Rivas, "QOS analysis of video streaming service in live cellular networks", Computer Communications, vol. 33, pp. 322–335, mar, 2010.
López, F. Javier, A. Maña, P. Merino, and J. María Troya, "The Role of smartcards in practical information security", Ercim News, vol. 49, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 38–40, oct, 2002.
Merino, P., and E. Schoitsch, "Safety-critical software", Ercim News, vol. 75, Sophia Antipolis Cedex, ERCIM EEIG, pp. 12–13, jul, 2008.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking of TCCP programs", Theoretical Computer Science, vol. 346: Elsevier, pp. 58–95, oct, 2005.
Cuevas, J. Carlos, J. Martínez, and P. Merino, "Soluciones Domóticas Sin Instalación El Protocolo X-10, Más Seguro Y Fiable", Energia y Computacion, vol. 19, pp. 68–78, oct, 2002.
Díaz, A., P. Merino, and F J. Rivas, "SymPA: un analizador de protocolos para dispositivos móviles", RIiCU: Revista Internacional Iberoamericana sobre Computación Ubicua, no. 1, pp. 1–8, nov, 2006.
Díaz, A., and P. Merino, "A Testbed for energy profile characterization of IP services in samrtphones over live networks", Mobile, Networks and Applications (MONET) Journal, Netherlands, Springer, pp. online first, mar, 2010.
Díaz, A., and P. Merino, "Testing mobile data applications on smartphones with SymPA", Ercim News, vol. 77, Sophia Antipolis Cedex, ERCIM EEIG, pp. 56–57, oct, 2009.
Díaz, A., C A. García, and P. Merino, "Third-Generation partnership project standards: for delivery of critical communications for railways", IEEE Vehicular Technology Magazine, vol. 9, no. 2: IEEE, pp. 58–68, 2014.

Pages



Main menu 2

by Dr. Radut