Publications
Website under construction.
2010
- Pedro Merino, Alberto Salmerón. Combining SPIN with ns-2 for protocol optimization. In Jaco van de Pol, Michael Weber (Eds.). 17th International SPIN Workshop on Model Checking of Sofware (SPIN 2010), Enschede, The Netherlands, Lecture Notes on Computer Science 6349, pages 40-57, Spingee, Berlin, September 2010
- Pedro Merino, Alberto Salmerón. Analysis and optimization of video download on mobile devices. XX Jornadas Telecom I+D, Valladolid, Spain, September 2010
- Alberto Salmerón. Tipos, clases y convenciones de nombrado. Descriptores. In Pedro Merino, Almudena Díaz, Esteban Egea, Joan García (Eds.). Introducción a la Programación en Symbian. Editorial Arguval. Septiembre 2010. ISBN: 978-84-96912-86-1
2009
- Jesus Martínez Cruz, Pedro Merino, Alberto Salmerón, Francisco Malpartida. UML-based model-driven development for HSDPA design. IEEE Software, 26(3), pages 26-33, May-June 2009
2007
- Jesus Martínez, Pedro Merino, Alberto Salmerón. Applying MDE methodologies to design communication protocols for distributed systems. Proceedings of the First International Conference on Complex, Intelligent and Software Intesive Systems (CISIS 2007), Vienna, Austria, pages 185-190, February 2007
- Jesus Martínez, Alberto Salmerón. MDA for reliable and high-performance communication protocols. Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2007), Torremolinos, Spain, pages 215-230, November 2007
You can find another list of my publications at the GISUM website.