Sergi Arguimbau Guarinos Lines of Research Publications Temporal Replication of Messages for Adaptive Systems using a Holistic Approach Date: 2019-09-01 Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule Date: 2019-09-01 Towards a Dynamic Replication of Messages in a Network with Flexible Real-Time Guarantees Date: 2019-06-01 Verification of the Schedule Consistent Update Mechanisms of FTTRS with UPPAAL Date: 2018-07-01 Implementation and Validation of the Fundamental Mechanisms of the Flexible Time-Triggered Communication Paradigm for Ethernet-based Highly-Reliable Systems Date: 2017-10-01
Systems, Robotics & Vision GroupSystems, Robotics & Vision Group