Alberto Salmerón

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A formal approach to automatically analyse extra-functional properties in mobile applications.
Softw. Test. Verification Reliab., 2019

2018
Integrating river basin DSSs with model checking.
Int. J. Softw. Tools Technol. Transf., 2018

TRIANGLE Portal: An User-Friendly Web Interface for Remote Experimentation.
Proceedings of the Smart Industry & Smart Education, 2018

2017
Performance Analysis of Spotify® for Android with Model-Based Testing.
Mob. Inf. Syst., 2017

Guided test case generation for mobile apps in the TRIANGLE project: work in progress.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Adding Correctness Checking to Test Automation Platform.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Advanced testing of mobile applications and devices.
Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

2016
River Basin Management with Spin.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016


2015
Integrating model checking and simulation for protocol optimization.
Simul., 2015

Using Model Checking to Generate Test Cases for Android Applications.
Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

Runtime Verification of Expected Energy Consumption in Smartphones.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014
Using SPIN for automated debugging of infinite executions of Java programs.
J. Syst. Softw., 2014

2013
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 Wired Networks, 2013

2011
Obtaining Models for Realistic Mobile Network Simulations using Real Traces.
IEEE Commun. Lett., 2011

2010
Combining SPIN with ns-2 for Protocol Optimization.
Proceedings of the Model Checking Software, 2010

2009
UML-Based Model-Driven Development for HSDPA Design.
IEEE Softw., 2009

2007
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems.
Proceedings of the First International Conference on Complex, 2007


  Loading...