Jump to Navigation

Alberto Salmerón

2013
Salmeron, A., and P. Merino, "On-the-fly VoIP call quality evaluation with improved E-model", Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wirede Networks. PM²HW²N´13, November 3-8, 2013, Barcelona Spain, New York, pp. 145–151, 2013.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Using SPIN for automated debugging of infinite executions of Java programs (in press)", Journal of Systems and Software: Elsevier, pp. 15, nov, 2013.
2012
Salmeron, A., and P. Merino, "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, pp. 153–168, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "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: Universidad de Almería, pp. 233–234, sep, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "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, pp. 37–47, nov, 2012.
2011
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.
Adalid, D., M-del-M. Gallardo, P. Merino, and A. Salmeron, "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: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 1–18, jul, 2011.
2010
Salmeron, A., "", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 67–81, oct, 2010.
Merino, P., and A. Salmeron, "Analysis and optimization of video download on mobile devices", XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), dec, 2010.
Merino, P., and A. Salmeron, "Combining SPIN with ns-2 for protocol optimization", Jaco van de Pol y Michael Weber (Eds.). Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings, Berlín, Springer, pp. 40–57, dec, 2010.
Díaz, A., J. Martínez, P. Merino, L. Panizo, Á. Manuel Recio, and A. Salmeron, Programming for Symbian OS, , Kraków, DG Edukacja i kultura Program Uczenie sie przez cale zycie. Leonardo da Vinci, pp. 189, jan, 2010.
Salmeron, A., "Tipos, clases y convenciones de nombrado", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 37–49, oct, 2010.
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.
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.
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.


Main menu 2

by Dr. Radut