Sesión I:

Chair: Dr. Sergio Arévalo

Evaluation of Multipath TCP in heterogeneous networks.
Autores: Delia Rico Marchena y Pedro Merino Gómez.

Routing in congested scale-free networks.
Autores: Juan Echague.

Impact of Transmission Communication Protocol on a Self-Adaptive Architecture for Dynamic Network Environments: An overview.
Autores: Gabriel Guerrero-Contreras, Sara Balderas-Díaz, Jose Luis Garrido, María José Rodríguez Fórtiz y Gregory O'Hare.

Sesión II:

Chair: Dr. Alberto Lafuente

Routing in Mobile Wireless Sensor Networks: A Leader-Based Approach.
Autores: Unai Burgos, Ugaitz Amozarrain, Carlos Gómez-Calzado y Alberto Lafuente.

Towards Blockchain-enabled Wireless Mesh Networks.
Autores: Mennan Selimi y Leandro Navarro.

Client-side routing-agnostic gateway selection for heterogeneous wireless mesh networks.
Autores: Khulan Batbayar, Emmanouil Dimogerontakis, Roc Meseguer y Leandro Navarro.

Un entorno integrado para fragmentación de redes de Petri.
Autores: Marisa Llorens, Javier Oliver, Josep Silva and Salvador Tamarit.

Sesión III

Chair: Dra. María del Mar Gallardo

Fault-tolerance Evaluation of a New SQL Database.
Autores: Ainhoa Azqueta-Alzúaz, Marta Patino, Valerio Vianello y Ricardo Jiménez-Peris.

A pan-European infrastructure for research in mobile networks.
Autores: Pedro Merino, Laura Panizo y Almudena Díaz.

MEdit4CEP-CPN: An approach for Complex Event Processing modeling by Prioritized Colored Petri Nets.
Autores: Juan Boubeta-Puig, Gregorio Díaz, Hermenegilda Macià, Valentín Valero y Guadalupe Órtiz.

Sesión IV:

Chair: Dr. Manuel Núñez

Formalizing and Implementing Distributed Ledger Objects.
Autores: Antonio Fernandez Anta, Chryssis Georgiou, Kishori Konwar y Nicolas Nicolaou.

Phoenix Reborn: Full Mobility in Content-Based Publish/Subscribe.
Autores: Ugaitz Amozarrain y Mikel Larrea.

Some properties about the characteristic matrix of a graph and relation with isomorphism.
Autores: Fernando Cuartero, José Antonio Riaza y Vicente Pascual.

Sesión V:

Chair: Dr. Miguel J. Hornos

A linear temporal logic model checking method over finite words with correlated transition attributes.
Autores: Couvreur Jean Michel y Ezpeleta Joaquín.

An Event-driven Interval Temporal Logic for Hybrid Systems.
Autores: Maria-Del-Mar Gallardo y Laura Panizo.

Formal Modeling of Cloud Computing Systems using UML profiles and M2T transformation techniques.
Autores: Adrián Bernal, Maria Emilia Cambronero, Alberto Núñez y Valentín Valero.

Sesión VI:

Chair: Dr. Valentin Valero

Hacia la Modelización UML del funcionamiento de la red Tor.
Autores: Jorge Gracia de Quirós, Ricardo J. Rodríguez y José Merseguer.

Non-blocking Multi-semantic Delivery Multicast Service.
Autores: Isabel Muñoz, Sergio Arévalo y Ana Lias.

Extended Abstract: On Throughput Approximation of Resource Allocation Systems by Bottleneck Regrowing.
Autores: Ricardo J. Rodríguez y Javier Campos.