A model for quantifying the reliability of highly-reliable distributed systems based on fieldbus replicated buses. - Manuel Barranco; Francisco Pozo; Julián Proenza (ETFA, 2014)

A decomposition approach for SMT-based schedule synthesis for time-triggered networks. - Francisco Pozo; Wilfried Steiner; Guillermo Rodríguez-Navas; Hans Hansson (ETFA, 2015)

SMT-based synthesis of TTEthernet schedules: A performance study. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson; Wilfried Steiner (SIES, 2015)

Next generation real-time networks based on IT technologies. - Wilfried Steiner; Pablo Gutiérrez Peon; Marina Gutiérrez; Ayhan Mehmed; Guillermo Rodríguez-Navas; Elena Lisova; Francisco Pozo (ETFA, 2016)

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. - Francisco Pozo; Guillermo Rodríguez-Navas; Wilfried Steiner; Hans A. Hansson (RTCSA, 2016)

Cognitive radio for improved reliability in a real-time wireless MAC protocol based on TDMA. - Pablo Gutiérrez Peon; Pedro Manuel Rodriguez; Zaloa Fernández; Francisco Pozo; Elisabeth Uhlemann; Inaki Val; Wilfried Steiner (ETFA, 2017)

Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson (RTAS, 2018)

Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson (RTCSA, 2018)

A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules. - Francisco Pozo; Guillermo Rodríguez-Navas (ETFA, 2019)

Methods for Efficient and Adaptive Scheduling of Next-Generation Time-Triggered Networks. - Francisco Pozo (2019)

Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson (DSN, 2021)

An Infrastructure for Enabling Dynamic Fault Tolerance in Highly-Reliable Adaptive Distributed Embedded Systems Based on Switched Ethernet. - Alberto Ballesteros; Manuel Barranco; Julián Proenza; Luís Almeida 001; Francisco Pozo; Pere Palmer-Rodríguez (Sensors, 2022)