Sergi Arguimbau Guarinos Lines of Research Publications Temporal Replication of Messages for Adaptive Systems using a Holistic Approach Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019) Alberto Ballesteros; Manuel Alejandro Barranco González; Sergi Arguimbau Guarinos; Marc Costa; Julián Proenza Arenas. September, 2019. Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019) Daniel Bujosa Mateu; Sergi Arguimbau Guarinos; Patricia Arguimbau Guarinos; Julián Proenza Arenas; Manuel Alejandro Barranco González. September, 2019. Towards a Dynamic Replication of Messages in a Network with Flexible Real-Time Guarantees 17th International Workshop on Real-Time Networks (RTN 2019) Alberto Ballesteros; Manuel Alejandro Barranco González; Sergi Arguimbau Guarinos; Marc Costa; Julián Proenza Arenas. June, 2019. Verification of the Schedule Consistent Update Mechanisms of FTTRS with UPPAAL 16th International Workshop on Real-Time Networks (RTN2018) Daniel Bujosa Mateu; Sergi Arguimbau Guarinos; Patricia Arguimbau Guarinos; Julián Proenza Arenas; Manuel Alejandro Barranco González. July, 2018. Implementation and Validation of the Fundamental Mechanisms of the Flexible Time-Triggered Communication Paradigm for Ethernet-based Highly-Reliable Systems Sergi Arguimbau Guarinos; Alberto Ballesteros. October, 2017.
Systems, Robotics & Vision GroupSystems, Robotics & Vision Group