Sergi Arguimbau

According to our database, Sergi Arguimbau authored at least 2 papers in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule.

Daniel Bujosa, Sergi Arguimbau, Patricia Arguimbau, Julián Proenza, Manuel Barranco

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Temporal Replication of Messages for Adaptive Systems using a Holistic Approach.

Alberto Ballesteros, Manuel Barranco, Sergi Arguimbau, Marc Costa, Julián Proenza

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019