Daniel Bujosa Mateu

Position | Technician

PUBLICATIONS

2019

D. Bujosa, D. Cavka, I. Alvarez, J. Proenza. First Analysis of the AVB’s Stream Reservation Protocol in the Context of TSN. In 17th International Workshop on Real-Time Networks (RTN 2019), 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.

D. Bujosa, I. Alvarez, D. Cavka, J. Proenza. Analysing Termination and Consistency in the AVB’s Stream Reservation Protocol. 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


Uso de cookies

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR
Aviso de cookies