E-LIB Suche - Ergebnisse für: Salmerón, Alberto

1

Triangle: 5G Applications and Devices Benchmarking:

, In: Building the Future Internet through FIRE,

Zayas, Almudena Díaz ; Salmerón, Alberto ; Merino, Pedro... - p. 561-572 , 2022

2

A formal approach to automatically analyse extra‐functional..:

Rosario Espada, Ana ; del Mar Gallardo, Maria ; Salmerón, Alberto..
Software Testing, Verification and Reliability. 29 (2019) 4-5 - p. , 2019

Link: https://doi.org/10.1002/..

3

Integrating river basin DSSs with model checking:

del Mar Gallardo, María ; Merino, Pedro ; Panizo, Laura.
International Journal on Software Tools for Technology Transfer. 20 (2017) 5 - p. 499-514 , 2017

Link: https://doi.org/10.1007/..

4

Performance Analysis of Spotify® for Android with Model-Bas..:

Espada, Ana Rosario ; Gallardo, María del Mar ; Salmerón, Alberto.
Mobile Information Systems. 2017 (2017) - p. 1-14 , 2017

Link: https://doi.org/10.1155/..

5

Advanced testing of mobile applications and devices:

, In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM),

Zayas, Almudena Diaz ; Salmeron, Alberto ; Rivas Tocado, F. Javier. - p. 801-804 , 2017

Link: https://doi.org/10.23919..

6

Guided test case generation for mobile apps in the TRIANGLE..:

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

Panizo, Laura ; Salmerón, Alberto ; Gallardo, María-del-Mar. - p. 192-195 , 2017

Link: https://dl.acm.org/doi/1..

7

Using SPIN for automated debugging of infinite executions o..:

Adalid, Damián ; Salmerón, Alberto ; Gallardo, María del Mar.
Journal of Systems and Software. 90 (2014) - p. 61-75 , 2014

Link: https://doi.org/10.1016/..

8

Integrating model checking and simulation for protocol opti..:

Salmerón, Alberto ; Merino, Pedro
SIMULATION. 91 (2014) 1 - p. 3-25 , 2014

Link: https://doi.org/10.1177/..

9

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

, In: Proceedings of the 8th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks,

Salmerón, Alberto ; Merino, Pedro - p. 145-152 , 2013

Link: https://dl.acm.org/doi/1..

10

UML-Based Model-Driven Development for HSDPA Design:

Martínez, Jesús ; Merino, Pedro ; Salmerón, Alberto.
IEEE Software. 26 (2009) 3 - p. 26-33 , 2009

Link: https://doi.org/10.1109/..

11

TRIANGLE Portal: An User-Friendly Web Interface for Remote ..:

, In: Lecture Notes in Networks and Systems; Smart Industry & Smart Education,

Díaz-Zayas, Almudena ; Salmerón Moreno, Alberto ; García Pascual, Gustavo. - p. 110-117 , 2018

Link: https://doi.org/10.1007/..

12

Using Model Checking to Generate Test Cases for Android App..:

Espada, Ana Rosario ; Gallardo, María del Mar ; Salmerón, Alberto.
http://arxiv.org/abs/1504.02440. , 2015

Link: http://arxiv.org/abs/150..

13

OPOSICIÓN A LAS VACUNAS EN CHILE. ANÁLISIS DE UN CASO RECIE..:

Henríquez, Juan Alberto Salmeron
Revista Chilena de Derecho. 44 (2017) 2 - p. 563-574 , 2017

Link: https://www.jstor.org/st..

14

Performance Analysis of Spotify® for Android with Model-Bas..:

Ana Rosario Espada ; María del Mar Gallardo ; Alberto Salmerón.
http://dx.doi.org/10.1155/2017/2012696. , 2017

Link: https://doi.org/10.1155/..

15

Using Model Checking to Generate Test Cases for Android App..:

Ana Rosario Espada ; María del Mar Gallardo ; Alberto Salmerón.
http://arxiv.org/pdf/1504.02440v1. , 2015

Link: https://doi.org/10.4204/..