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 | 79 | 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 | 57 | 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 | 43 | 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 | 33 | 2018 |
Methods for large-scale time-triggered network scheduling F Pozo, G Rodriguez-Navas, H Hansson Electronics 8 (7), 738, 2019 | 23 | 2019 |
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 | 23 | 2016 |
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 | 12 | 2015 |
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 | 8 | 2022 |
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 | 8 | 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 | 5 | 2014 |
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 | 4 | 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 | 3 | 2021 |
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 | 2 | 2024 |
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 | 2 | 2019 |
Synthesis of extremely large time-triggered network schedules F Pozo Proceedings 1 (3), 171, 2017 | 2 | 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 | 1 | 2017 |
Caracterización de la fecundación in vitro y desarrollo larval de Echinometria vanbruti F Pozo Bioma 1 (2), 9-11, 2012 | 1 | 2012 |