Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. - Jesús Martínez; Pedro Merino 001; Alberto Salmerón (CISIS, 2007)

UML-Based Model-Driven Development for HSDPA Design. - Jesús Martínez; Pedro Merino 001; Alberto Salmerón; Francisco Malpartida (IEEE Softw., 2009)

Combining SPIN with ns-2 for Protocol Optimization. - Pedro Merino 001; Alberto Salmerón (SPIN, 2010)

Obtaining Models for Realistic Mobile Network Simulations using Real Traces. - Almudena Díaz; Pedro Merino 001; Alberto Salmerón (IEEE Commun. Lett., 2011)

On-the-fly VoIP call quality evaluation with improved E-model. - Alberto Salmerón; Pedro Merino 001 (PM2HW2N@MSWiM, 2013)

Using SPIN for automated debugging of infinite executions of Java programs. - Damián Adalid; Alberto Salmerón; María-del-Mar Gallardo; Pedro Merino 001 (J. Syst. Softw., 2014)

Runtime Verification of Expected Energy Consumption in Smartphones. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (SPIN, 2015)

Using Model Checking to Generate Test Cases for Android Applications. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (MBT, 2015)

Integrating model checking and simulation for protocol optimization. - Alberto Salmerón; Pedro Merino 001 (Simul., 2015)

An end-to-end testing ecosystem for 5G. - Andrea F. Cattoni; Germán Corrales Madueño; Michael Dieudonne; Pedro Merino 001; Almudena Díaz-Zayas; Alberto Salmerón; Frederik Carlier; Bart Saint Germain; Donal Morris; Ricardo Figueiredo; Jeanne Caffrey; Janie Baños Polglase; et al. (EuCNC, 2016)

River Basin Management with Spin. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Alberto Salmerón (SPIN, 2016)

Advanced testing of mobile applications and devices. - Almudena Díaz-Zayas; Alberto Salmerón; F. Javier Rivas Tocado; Pedro Merino 001 (IM, 2017)

Adding Correctness Checking to Test Automation Platform. - Alberto Salmerón; Leticia Lavado; María-del-Mar Gallardo; Pedro Merino Gómez (ISSRE Workshops, 2017)

Guided test case generation for mobile apps in the TRIANGLE project: work in progress. - Laura Panizo; Alberto Salmerón; María-del-Mar Gallardo; Pedro Merino 001 (SPIN, 2017)

Performance Analysis of Spotify® for Android with Model-Based Testing. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (Mob. Inf. Syst., 2017)

TRIANGLE Portal: An User-Friendly Web Interface for Remote Experimentation. - Almudena Díaz-Zayas; Alberto Salmerón Moreno; Gustavo García Pascual; Pedro Merino Gómez (REV, 2018)

Integrating river basin DSSs with model checking. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Alberto Salmerón (Int. J. Softw. Tools Technol. Transf., 2018)

A formal approach to automatically analyse extra-functional properties in mobile applications. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Laura Panizo; Pedro Merino 001 (Softw. Test. Verification Reliab., 2019)