Francisco Pozo
Francisco Pozo
Software Technical Architect at Hitachi-ABB Power Grids
Verified email at
Cited by
Cited by
A decomposition approach for SMT-based schedule synthesis for time-triggered networks
F Pozo, W Steiner, G Rodriguez-Navas, H Hansson
2015 IEEE 20th conference on emerging technologies & factory automation …, 2015
SMT-based synthesis of TTEthernet schedules: A performance study
F Pozo, G Rodriguez-Navas, H Hansson, W Steiner
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-4, 2015
Next generation real-time networks based on IT technologies
W Steiner, PG Peón, M Gutiérrez, A Mehmed, G Rodriguez-Navas, ...
Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st …, 2016
Schedule reparability: Enhancing time-triggered network recovery upon link failures
F Pozo, G Rodriguez-Navas, H Hansson
2018 IEEE 24th International Conference on Embedded and Real-Time Computing …, 2018
Period-aware segmented synthesis of schedules for multi-hop time-triggered networks
F Pozo, G Rodriguez-Navas, W Steiner, H Hansson
2016 IEEE 22nd international conference on embedded and real-time computing …, 2016
Methods for large-scale time-triggered network scheduling
F Pozo, G Rodriguez-Navas, H Hansson
Electronics 8 (7), 738, 2019
Current techniques, trends, and new horizons in avionics networks configuration
W Steiner, M Gutierrez, Z Matyas, F Pozo, G Rodriguez-Navas
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 6C3-1-6C3-10, 2015
Schedule synthesis for next generation time-triggered networks
F Pozo, G Rodriguez-Navas, HA Hansson, W Steiner
Mälardalen Real-Time Research Centre, Mälardalen University, 2017
A model for quantifying the reliability of highly-reliable distributed systems based on fieldbus replicated buses
M Barranco, F Pozo, J Proenza
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
An infrastructure for enabling dynamic fault tolerance in highly-reliable adaptive distributed embedded systems based on switched ethernet
A Ballesteros, M Barranco, J Proenza, L Almeida, F Pozo, ...
Sensors 22 (18), 7099, 2022
Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules
F Pozo, G Rodriguez-Navas, H Hansson
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2018
Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks
F Pozo, G Rodriguez-Navas, H Hansson
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules
F Pozo, G Rodriguez-Navas
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
Synthesis of extremely large time-triggered network schedules
F Pozo
Proceedings 1 (3), 171, 2017
Cognitive radio for improved reliability in a real-time wireless MAC protocol based on TDMA
PG Peón, PM Rodríguez, Z Fernández, F Pozo, E Uhlemann, I Val, ...
2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017
Optimized swarming motility assay to identify anti-virulence products against Vibrio parahaemolyticus, a pathogen of farmed shrimp
F Pozo, M Borbor, R Solórzano, S Sonnenholzner, B Bayot
MethodsX 12, 102622, 2024
The system can't perform the operation now. Try again later.
Articles 1–16