Francisco Pozo

A decomposition approach for SMT-based schedule synthesis for time-triggered networks

Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas et al. · 2015 · 60 citations

Engineering, Network Planning, Computer Architecture +19

SMT-based synthesis of TTEthernet schedules: A performance study

Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson et al. · 2015 · 43 citations

Industrial Design, Smt Solver Parameters, Engineering +15

Next generation real-time networks based on IT technologies

Wilfried Steiner, Pablo Gutiérrez Peón, Marina Gutiérrez et al. · 2016 · 30 citations

Time-sensitive Networking, Technology, Ethernet Variants +15

Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures

Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson · 2018 · 21 citations

Fault-tolerant Network, Network Science, Engineering +13

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks

Francisco Pozo, Guillermo Rodríguez-Navas, Wilfried Steiner et al. · 2016 · 14 citations

Engineering, Period-aware Segmented Synthesis, Computer Architecture +18