Position | Former member Email | patricia.arguimbau@uib.es | ![]() |
PUBLICATIONS
2019
J. Proenza, Y. González, P. Arguimbau. First exploration of the potential of diverse training and voting for increasing the accuracy of CNNs. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 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
.

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
.
