Programa
Programa detallado
| Sesión 1 | |
| Live SMR in partitionable networks | Alejandro Naser Pastoriza, IMDEA Software Institute, Spain; Gregory Chockler, University of Surrey, UK; Alexey Gotsman, IMDEA Software Institute, Spain |
| Timestamp System for Causal Deliver Communication | Isabel Muñoz, Universidad Rey Juan Carlos; Sergio Arévalo, Universidad Politécnica de Madrid; Pedro de las Heras Quirós, Universidad Rey Juan Carlos |
| Approximate Order Reliable Broadcast | Aitor Mendívil-Grau, Dpto. Estadística, Informática y Matemáticas. Universidad Pública de Navarra, Campus Arrosadía s/n, Pamplona, Spain; Iulen Salinas, Dpto. Estadística, Informática y Matemáticas. Universidad Pública de Navarra, Campus Arrosadía s/n, Pamplona, Spain; J.R. González de Mendívil, Dpto. Estadística, Informática y Matemáticas. Universidad Pública de Navarra, Campus Arrosadía s/n, Pamplona, Spain |
| Sesión 2 | |
| Defense and Attack Techniques against File-based TOCTOU Vulnerabilities a Systematic Review | Razvan Raducu, Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain; Ricardo J. Rodríguez, Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain; Pedro Álvarez, Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain |
| A scalable server-side solution for the real-time handling of road safety notifications | Miguel Pérez-Francisco, Computer Science and Engineering Department, Universitat Jaume I (UJI), 12071 Castelló de la Plana, Spain; Pablo Boronat, Computer Languages and Systems Department, Universitat Jaume I (UJI), 12071 Castelló de la Plana, Spain; Carlos T. Calafate, Computer Engineering Department (DISCA), Universitat Politècnica de València (UPV), 46022 Valencia, Spain; Juan-Carlos Cano, Computer Engineering Department (DISCA), Universitat Politècnica de València (UPV), 46022 Valencia, Spain; Pietro Manzoni, Computer Engineering Department (DISCA), Universitat Politècnica de València (UPV), 46022 Valencia, Spain |
| FastMUOD Indices- Theory and applications for outlier detection in functional data analysis | Oluwasegun Taiwo Ojo, IMDEA Networks Institute, Spain, Universidad Carlos III de Madrid, Spain; Antonio Fernández Anta, IMDEA Networks Institute, Spain; Rosa E. Lillo, uc3m-Santander Big Data Institute, Spain, Universidad Carlos III de Madrid, Spain; Marc G. Genton, Statistics Program, King Abdullah University of Science and Technology, Saudi Arabia |
| Sesión 3 | |
| A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions | Valentín Valero, Department of Computer Science, Albacete Research Institute of Informatics, Universidad de Castilla-La Mancha, Albacete, Spain;Gregorio Díaz, Department of Computer Science, Albacete Research Institute of Informatics, Universidad de Castilla-La Mancha, Albacete, Spain; Juan Boubeta-Puig, Department of Computer Science and Engineering, University of Cádiz, Cádiz, Spain; Hermenegilda Macià, Department of Mathematics, Albacete Research Institute of Informatics, Universidad de Castilla-La Mancha, Albacete, Spain; Enrique Brazález, Department of Computer Science, Albacete Research Institute of Informatics, Universidad de Castilla-La Mancha, Albacete, Spain |
| Clustering of Log Traces Based on Model-checking | María José Ibáñez, Departamento de Matemáticas y Computación, Universidad de La Rioja; Javier Fabra, Instituto de Investigación en Ingeniería de Aragón (I3A), Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza; Joaquín Ezpeleta, Instituto de Investigación en Ingeniería de Aragón (I3A), Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza |
| Sesión 4 | |
| Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API | Delia Rico, ITIS Software, Universidad de Málaga, Spain; Anna Brunstrom, Computer Science, Karlstad University, Sweden; Karl-Johan Grinemmo, Computer Science, Karlstad University, Sweden; Pedro Merino, ITIS Software, Universidad de Málaga, Spain |
| Towards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking | Francisco Luque-Schempp, ITIS software, University of Malaga, Malaga, Spain; Laura Panizo, ITIS software, University of Malaga, Malaga, Spain; María-del-Mar Gallardo, ITIS software, University of Malaga, Malaga, Spain; Pedro Merino, ITIS software, University of Malaga, Malaga, Spain; Javier Rivas, ITIS software, University of Malaga, Malaga, Spain |
| Sesión 5 | |
| QSimov- Quantum Computing Framework | Hernán Indíbil de la Cruz Calvo, Departmento de Sistemas Informáticos, Universidad de Castilla-La Mancha, Albacete, Spain; José Javier Paulet González, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain, Departmento de Sistemas Informáticos, Universidad de Castilla-La Mancha, Albacete, Spain; Fernando Cuartero Gómez, Departmento de Sistemas Informáticos, Universidad de Castilla-La Mancha, Albacete, Spain; Fernando López Pelayo, Departmento de Sistemas Informáticos, Universidad de Castilla-La Mancha, Albacete, Spain |
| Quantum Byzantine Agreement for Any Number of Dishonest Parties | Vicent Cholvi,Departament de Llenguatges i Sistemes Informàtics, Universitat Jaume I, Campus Rius Sec s/n, Castelló, 12071 Spain |
| Bounded structured quantum search for 3-SAT | José Javier Paulet González, Universidad Complutense de Madrid, Madrid, Spain; Luis Fernando Llana Díaz, Universidad Complutense de Madrid, Madrid, Spain; Manuel Nuñez García, Universidad Complutense de Madrid, Madrid, Spain; Hernán Indíbil de la Cruz Calvo, Departmento de Sistemas Informáticos, Universidad de Castilla-La Mancha, Albacete, Spain; Fernando López Pelayo, Departmento de Sistemas Informáticos, Universidad de Castilla-La Mancha, Albacete, Spain |
| Sesión 6 | |
| Digital transformation of the circular economy- digital product passports for transparency, verifiability, accountability | Leandro Navarro, Universitat Politècnica de Catalunya, Spain; Javier Cano Esteban, Universitat Politècnica de Catalunya; Marc Font Miralles, Universitat Politècnica de Catalunya; David Franquesa Griso, Universitat Politècnica de Catalunya |
| Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers | Margarita Capretto, IMDEA Software Institute, Pozuelo de Alarcón, Madrid, Spain; Martín Ceresa, IMDEA Software Institute, Pozuelo de Alarcón, Madrid, Spain; Antonio Fernández Anta, IMDEA Networks Institute, Leganés, Madrid, Spain; Antonio Russo, IMDEA Networks Institute, Leganés, Madrid, Spain; César Sánchez, IMDEA Software Institute, Pozuelo de Alarcón, Madrid, Spain |
| Validated Objects- Specification, Implementation, and Applications | Antonio Fernández Anta, IMDEA Networks Institute, Spain; Chryssis Georgiou, University of Cyprus, Cyprus; Nicolas Nicolaou, Algolysis Ltd, Cyprus; Antonio Russo, IMDEA Networks Institute, Spain |