Jump to Navigation

Biblio

Found 203 results
Author Title Type [ Year(Asc)]
2009
Díaz, A., Performance evaluation of IP multimedia services in live mobile networks, : Universida de Málaga, mar, 2009.
Díaz, A., and P. Merino, "SymPA: a measurement tool for evaluating the performance of IP services in mobile networks", Proceedings of Fifth ACM International Symposium on QoS and Security of Wireless and Mobile Networks. Q2SWinet 2009. Tenerife, Canary Islands, Spain. 26-30 October 2009, New York, ACM, pp. 103–106, oct, 2009.
Sanán, D., Técnicas para el análisis automático de software descrito en lenguajes de programación, : Universida de Málaga, mar, 2009.
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.
Martínez, J., P. Merino, A. Salmeron, and F. Malpartida, "UML-Based model-driven development for HSDPA design", IEEE Software, vol. 26, no. 3: IEEE, pp. 26–33, dec, 2009.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "Using SCADE for decision support in Dam management", Daniel Moldt; Juan C. Augusto and Ulrich Ultes-Nitsche (Eds.). Modelling, simulation, verification and validation of enterprise information systems: proceedings of the 7th international Workshop... MSVVEIS 2009: INSTICC PRESS, pp. 125–131, 2009.
2008
Gallardo, M-del-M., P. Merino, and D. Sanán, "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, pp. 247–261, jun, 2008.
Díaz, A., P. Merino, and F J. Rivas, "Customer-centric measurements on mobile phones", 12th Annual IEEE International Symposium on Consumer Electronics. ISCE 2008. Algarve, Portugal. 14-16 April 2008: IEEE Computer Society, pp. 1–4, oct, 2008.
Gallardo, M-del-M., P. Merino, and L. Panizo, "Estado del arte de herramientas para la verificación de sistemas híbridos", Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio, pp. 231–245, jun, 2008.
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 E. Schoitsch, "Safety-critical software", Ercim News, vol. 75, Sophia Antipolis Cedex, ERCIM EEIG, pp. 12–13, jul, 2008.
Díaz, A., and P. Merino, "Towards a lightweight middleware for mobile multimedia communications awareness", Proc. of 4th International Mobile Multimedia Communications Conference. MOBIMEDIA'08. Oulu, Finland. 7-9th of July 2008: ACM, pp. 1–4, oct, 2008.
Merino, P., A. Jesús Nebro, B. Rubio, and J. María Troya, "Un Kernel para comunicaciones y entrada-salida en redes de Transputers", Actas de Tercera Reunión sobre Paralelismo, feb, 2008.
2007
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "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, Madrid, Spain, pp. 81–102, nov, 2007.
Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007, , Málaga, España, Universidad de Málaga, pp. 330, jun, 2007.
Martínez, J., P. Merino, and A. Salmeron, "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: IEEE Computer Society, pp. 185–190, feb, 2007.
Gallardo, M-del-M., P. Merino, and D. Sanán, "C.OPEN, a tool for analyzing C code in CADP", 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, pp. 199–214, nov, 2007.
Gallardo, M-del-M., C. Joubert, P. Merino, and D. Sanán, "C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs", Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings, Berlin, Springer, pp. 268–273, nov, 2007.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "Evaluating video streaming over GPRS/UMTS networks: a practical case", The 65th IEEE Vehicular Technology Conference. VTC 2007-Spring, 22-25 April 2007, Dublin, Ireland, Piscataway, USA, IEEE Computer Society, pp. 624–628, 2007.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "Experimental analysis of peer-to-peer streaming in cellular networks", 21st International Conference on Advanced Information Networking and Applications. AINA 2007, Niagara Falls, Ontario, Canada, 21-23 May, Los Alamitos, California, IEEE Computer Society, pp. 784–791, may, 2007.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Extending CADP for analyzing C code", Juan C. Augusto; Joseph Barjis and Ulrich Ultes-Nitsche (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 5th International Workshop on (...). MSVVEIS-2007, Funchal, Madeira, Portugal, June, Portugal, INSTICC Press, pp. 104–113, nov, 2007.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "On the Fly model checking for C programs with extended CADP in FMICS-jETI", 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings, Los Alamitos, California, IEEE Computer Society, pp. 321–329, nov, 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, feb, 2007.
Ocaña, M. del Carmen, and P. Merino, La madurez de la tecnología IP, , pp. 47–48, feb, 2007.
Martínez, J., and A. Salmeron, "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, pp. 215–230, nov, 2007.

Pages



Main menu 2

by Dr. Radut