Alberto Salmerón

According to our database, Alberto Salmerón authored at least 18 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

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

Softw. Test. Verification Reliab., 2019

2018

Integrating river basin DSSs with model checking.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón

Int. J. Softw. Tools Technol. Transf., 2018

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

Proceedings of the Smart Industry & Smart Education, 2018

2017

Performance Analysis of Spotify® for Android with Model-Based Testing.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino

Mob. Inf. Syst., 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

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Adding Correctness Checking to Test Automation Platform.

Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Advanced testing of mobile applications and devices.

Almudena Díaz-Zayas, Alberto Salmerón, F. Javier Rivas Tocado, Pedro Merino

Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

2016

River Basin Management with Spin.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

An end-to-end testing ecosystem for 5G.

Andrea F. Cattoni, Germán Corrales Madueño, Michael Dieudonne, Pedro Merino, Almudena Díaz-Zayas, Alberto Salmerón, Frederik Carlier, Bart Saint Germain, Donal Morris, Ricardo Figueiredo, Jeanne Caffrey, Janie Baños Polglase, Carlos Cárdenas, Niall Roche, Alastair Moore

Proceedings of the European Conference on Networks and Communications, 2016

2015

Integrating model checking and simulation for protocol optimization.

Alberto Salmerón, Pedro Merino

Simul., 2015

Using Model Checking to Generate Test Cases for Android Applications.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino

Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

Runtime Verification of Expected Energy Consumption in Smartphones.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014

Using SPIN for automated debugging of infinite executions of Java programs.

Damián Adalid, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino

J. Syst. Softw., 2014

2013

On-the-fly VoIP call quality evaluation with improved E-model.

Alberto Salmerón, Pedro Merino

Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2013

2011

Obtaining Models for Realistic Mobile Network Simulations using Real Traces.

Almudena Díaz, Pedro Merino, Alberto Salmerón

IEEE Commun. Lett., 2011

2010

Combining SPIN with ns-2 for Protocol Optimization.

Pedro Merino, Alberto Salmerón

Proceedings of the Model Checking Software, 2010

2009

UML-Based Model-Driven Development for HSDPA Design.

Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida

IEEE Softw., 2009

2007

Applying MDE Methodologies to Design Communication Protocols for Distributed Systems.

Jesús Martínez, Pedro Merino, Alberto Salmerón

Proceedings of the First International Conference on Complex, 2007