| Position | Former member |  |
PUBLICATIONS
2019
A. Ballesteros, M. A. Barranco, S. Arguimbau, M. Costa, J. Proenza. Towards a Dynamic Replication of Messages in a Network with Flexible Real-Time Guarantees. In 17th International Workshop on Real-Time Networks (RTN 2019), Stuttgart, 2019.
D. Bujosa, S. Arguimbau, P. Arguimbau, J. Proenza, M. A. Barranco. Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019
.
.A. Ballesteros, M. A. Barranco, S. Arguimbau, M. Costa, J. Proenza. Temporal Replication of Messages for Adaptive Systems using a Holistic Approach. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019.
.2018
D. Bujosa, S. Arguimbau, P. Arguimbau, J. Proenza, M. A. Barranco. Verification of the Schedule Consistent Update Mechanisms of FTTRS with UPPAAL. In 16th International Workshop on Real-Time Networks (RTN2018), Barcelona, 2018.
.2017
S. Arguimbau, A. Ballesteros. Implementation and Validation of the Fundamental Mechanisms of the Flexible Time-Triggered Communication Paradigm for Ethernet-based Highly-Reliable Systems. Universitat de les Illes Balears, Palma de Mallorca, 2017.
.