I'm a Ph.D. Student in the Formal Modelling and Analysis of Embedded Systems Group. I'm currently involved in the RetNet project that aim to advance the state of the art and practice in predictable realtime and Internet networking. I obtained the title of Computer Engineering (Msc) by the University of Illes Balears, Spain, in 2014 and the title of Embedded Systems Master Degree by the University of País Vasco, Spain, in 2014.
My first approach research was about quantify the reliability of a replicated buses system based on CAN. My actual research, part of the RetNet project, is an adaptive approach of mixed-criticaly networks.
Cognitive Radio for Improved Reliability in a Real-Time Wireless MAC Protocol based on TDMA (Sep 2017) Pablo Gutiérrez Peón, Pedro Manuel Rodríguez , Zaloa Fernández , Francisco Pozo, Elisabeth Uhlemann, Iñaki Val , Wilfried Steiner International Conference on Emerging Technologies And Factory Automation (ETFA'17)
Schedule Synthesis for Next Generation Time-Triggered Networks (Feb 2017) Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)
Next Generation Real-Time Networks Based on IT Technologies (Sep 2016) Wilfried Steiner , Pablo Gutiérrez Peón, Marina Gutiérrez, Ayhan Mehmed, Guillermo Rodriguez-Navas, Elena Lisova, Francisco Pozo 21st IEEE Conference on Emerging Technologies and Factory Automation (ETFA'16)
Period-Aware Segmented Synthesis of Schedules for Multi-Hop Time-Triggered Networks (Aug 2016) Francisco Pozo, Guillermo Rodriguez-Navas, Wilfried Steiner , Hans Hansson The 22th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'16)
Current Techniques, Trends and New Horizons In Avionics Networks Configuration (Sep 2015) Wilfried Steiner , Marina Gutiérrez, Zoltan Matyas , Francisco Pozo, Guillermo Rodriguez-Navas Digital Avionics Systems Conference (DASC-34)
A decomposition Approach for SMT-based Schedule Synthesis for Time-Triggered Networks (Sep 2015) Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'15)