Position | Associate professor Email | julian.proenza@uib.es Home page | http://dmi.uib.es/~jproenza/ Research lines: Dependable and Real-Time Systems Fault-tolerant distributed systems Adaptive systems Clock synchronization Field-bus networks

Julián Proenza received the ‘Licenciatura’ degree in Physics from the University of the Balearic Islands (UIB), Palma de Mallorca, Spain, in 1989, and a Ph.D. in Informatics from the same university in 2007. He is currently an Associate Professor in the Department of Mathematics and Informatics at the UIB. During his years as a lecturer he had additional academic responsibilities such as Secretary of the Faculty of Informatics, member of the Academic Board of the Doctorate in Electronics Engineering, member of the Quality Supervision Boards of the degree in Informatics and the Master in Electronics Engineering, and Student Mobility Coordinator for the degree in Informatics. He is currently Secretary of the Politechnical School and thus a member of the management team of all engineering bachelor degrees in the UIB. Moreover, he has been the academic coordinator of UIB in the Erasmus Mundus Projects ‘EUROWEB’ and ’EUROWEB +’, facilitating scholarships for students on undergraduate, master, doctoral and post-doctoral level, as well as for university staff in academic or administrative positions, financed by the European Commission. He is currently the academic coordinator of the UIB for the EU EMJMD Programme on the Engineering of Data-intensive Intelligent Software Systems (EDISS), which received its first students in August 2021.

Dr. Proenza’s research interests include Dependable and Real-Time Systems, Fault-Tolerant Distributed Systems, Adaptive Systems, Clock Synchronization, and Fieldbus and Industrial Networks. He is co-author of more than 100 publications in international scientific conferences and journals, and co-author of 3 patents. Papers co-authored by him received the best paper award at the IEEE Workshop on Factory Communication Systems (WFCS) 2004; the best work-in-progress paper award at the IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2012), at WFCS 2014 and at WFCS 2016; and the Factory Automation Best Paper Award at the ETFA 2023 conference. He has supervised 6 PhD theses and is currently supervising 2 more. He has been involved in several national research projects, in some cases as a member of the research team and in others as main responsible for the project. He was a visiting researcher at Mälardalen University (MDH) in 2008, at Universidade do Porto in 2010 and 2012, and at Teesside University in 2012.

He has acted as Guest Editor for two Special Sections on Industrial Communication Systems of the IEEE Transactions on Industrial Informatics in 2010 and 2016. He has served as General Co-Chairman for the 2015 edition of the IEEE WFCS and for the 2021 edition of the IEEE International Conference on Industrial Informatics (INDIN). He has served as Program Co-Chairman for the 2010 edition and as WiP Co-Chairman for the 2016 edition of the IEEE WFCS. He has acted as Co-Chairman for the Track on Industrial Communication Systems for the 2008, 2009, 2010, 2014 and 2020 editions of the IEEE ETFA Conference. He has co-organized several editions and later joined the steering committee of the Workshop on Adaptive and Reconfigurable Embedded Systems (APRES). He has co-organized a Special Session on Fault Tolerance Techniques in Distributed Embedded and Automation Systems in the ETFA conference in 2012, 2014 and 2015. He has also served as member of the Program Committee of several international conferences, including the International Workshop on Real-Time Networks (RTN), the International Workshop on Dependable Embedded Systems (WDES), the IEEE International Conference on Industrial Technology (ICIT), ETFA and WFCS. He has acted as a technical reviewer for several conferences, journals and the Spanish ANEP. He is a member of the Institute of Electrical and Electronic Engineers (IEEE) and has been elevated to Senior Member in 2013. Within the IEEE organization he is one of the Co-Chairmen of the Sub-Committee on Fault-Tolerant and Dependable Systems of the Technical Committee on Factory Automation of the IEEE Industrial Electronics Society (https://tcfa.ieee-ies.org/index.html).

(Last update: October 2023)

Publication Statistics: ORCID, Google Scholar, Scopus, ResearcherID, ResearchGate

PUBLICATIONS

2024

M. Jover, M. A. Barranco, J. A. Naranjo, J. Proenza, A. Ballesteros. Characterizing the Tradeoff between Fault Tolerance and Cost of Redundant TSN Networks. In 29th International Conference on Emerging Technologies and Factory Automation (ETFA24), Padova, Italy, 2024.

J. Evangelisti, M. A. Barranco, J. Proenza, A. Ballesteros, M. Jover. Towards a Node Active Replication Schema for Highly Reliable Distributed Control Systems Based on TSN. In 29th International Conference on Emerging Technologies and Factory Automation (ETFA24), Padova, Italy, pp. 1-4, 2024.

M. Jover, A. Ballesteros, M. A. Barranco, J. Proenza. Mapping IEC 61850 GOOSE messages into Time-Sensitive Networking. In 29th International Conference on Emerging Technologies and Factory Automation (ETFA24), Padova, Italy, pp. 1-4, 2024.

2023

M. Jover, M. A. Barranco, J. Proenza. Opportunities and Specific Plans for Migrating from PRP to TSN in Substation Automation Systems. In Proceedings of the IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023), Sinaia, Romania, pp. 1-4, 2023.

R. Rotaeche, A. Ballesteros, J. Proenza. Speeding Task Allocation Search for Reconfigurations in Adaptive Distributed Embedded Systems Using Deep Reinforcement Learning. In Sensors, MDPI, vol. 23, no. 1, January, 2023 .

D. Bujosa, J. Proenza, A. Papadopoulos, T. Nolte, M. Ashjaei. Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes. In Proceedings of the IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023), Sinaia, Romania, pp. 1-4, 2023.

A. Ballesteros, J. Proenza, M. A. Barranco. Adding Flexibility to Node-Level Fault Tolerance in Distributed Embedded Systems Based on Real-Time Ethernet. Universitat de les Illes Balears, 2023.

2022

I. Álvarez, A. Servera, J. Proenza, M. Ashjaei, S. Mubeen. Implementing a First CNC for Scheduling and Configuring TSN Networks. In Proceedings of the IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), Stuttgart, Germany, Stuttgart, Germany, pp. 1-4, 2022.

D. Bujosa, A. Johansson, M. Ashjaei, A. Papadopoulos, J. Proenza, T. Nolte. The Effects of Clock Synchronization in TSN Networks with Legacy End-stations. In Proceedings of the IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), Stuttgart, Germany, pp. 1-4, 2022.

A. Ballesteros, M. A. Barranco, J. Proenza, L. Almeida, F. Pozo, P. Palmer-Rodríguez. An Infrastructure for Enabling Dynamic Fault Tolerance in Highly-Reliable Adaptive Distributed Embedded Systems Based on Switched Ethernet. In Sensors, MDPI, vol. 22, no. 18, December, 2022 .

R. Rotaeche, A. Ballesteros, J. Proenza. Exploring the use of Deep Reinforcement Learning to allocate tasks in Critical Adaptive Distributed Embedded Systems. Universitat de les Illes Balears, Palma de Mallorca, 2022.

D. Bujosa, M. Ashjaei, A. Papadopoulos, T. Nolte, J. Proenza. HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities. In In Proceedings of the 30th International Conference on Real-Time Networks and Systems (RTNS ’22), Paris, France, pp. 1-11, 2022 .

M. Jover, M. A. Barranco, I. Álvarez, J. Proenza. Migrating Legacy Ethernet-Based Traffic with Spatial Redundancy to TSN networks. In Proceedings of the IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), Stuttgart, Germany, pp. 1-8, 2022 .

2021

I. Álvarez, I. Furió, J. Proenza, M. A. Barranco. Design and Experimental Evaluation of the Proactive Transmission of Replicated Frames Mechanism over Time-Sensitive Networking. In Sensors, MDPI, vol. 21, no. 3, January, 2021 .

D. Bujosa, I. Álvarez, J. Proenza. CSRP: an Enhanced Protocol for Consistent Reservation of Resources in AVB/TSN. In IEEE Transactions on Industrial Informatics , vol. 17, no. 5, pp. 3640-3650, May, 2021 .

B. Alcover, A. Ballesteros, J. Proenza. Evaluación de Técnicas de Búsqueda de Configuraciones en Sistemas Empotrados Distribuidos Adaptativos. Universitat de les Illes Balears, M. Sc. Thesis, 2021.

A. Servera, I. Álvarez, J. Proenza. Development of a Centralized Network Controller for Networks based on the Time-Sensitive Networking (TSN) Ethernet Standards. Universitat de les Illes Balears, M. Sc. Thesis, 2021.

I. Álvarez, J. Proenza, M. A. Barranco. Time Redundancy Mechanisms for Tolerating Temporary Faults in the Communication Subsystem of Systems based on Time-Sensitive Networking Standards. University of the Balearic Islands, Ph. D. Thesis, 2021.

R. Rotaeche, A. Ballesteros, J. Proenza. Exploring the use of Deep Reinforcement Learning to allocate tasks in Critical Adaptive Distributed Embedded Systems. In Proceedings of the IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA 2021), Västerås (Sweden), 2021.

D. Bujosa, M. Ashjaei, A. Papadopoulos, J. Proenza, T. Nolte. LETRA: Mapping Legacy Ethernet-Based Traffic into TSN Traffic Classes. In Proceedings of the IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA 2021), Västerås (Sweden), 2021.

I. Álvarez, M. A. Barranco, J. Proenza. Dataset: Reliability Sensitivity Analyses of TSN and PTRF in the presence of temporary faults.

I. Álvarez, M. A. Barranco, J. Proenza. Reliability Analysis of the Proactive Transmission of Replicated Frames Mechanism over Time-Sensitive Networking. In Sensors, MDPI, vol. 21, no. 24, December, 2021 .

2020

D. Bujosa, D. Hallmans, M. Ashjaei, A. Papadopoulos, J. Proenza, T. Nolte. Clock Synchronization in Integrated TSN-EtherCAT Networks. In 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2020), Vienna, 2020.

D. Bujosa, I. Álvarez, J. Proenza. Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties. arXiv:2007.15712 [cs.NI], July, 2020 .

I. Álvarez, L. Moutinho, P. Pedreiras, D. Bujosa, J. Proenza, L. Almeida. Comparing Admission Control Architectures for Real-Time Ethernet. In IEEEAccess, IEEE, vol. 8, pp. 105521-105534, June, 2020 .

M. A. Barranco, S. Derasevic, J. Proenza. An Architecture for Highly Reliable Fault-Tolerant Adaptive Distributed Embedded Systems. In Computer, vol. 53, no. 3, pp. 38-46, March, 2020 .

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.

I. Álvarez, A. Ballesteros, M. A. Barranco, D. Gessner, S. Derasevic, J. Proenza. Fault Tolerance in Highly-Reliable Ethernet-based Industrial Systems. In Proceedings of the IEEE, vol. 107, no. 6, pp. 977-1010, June, 2019 .

D. Gessner, J. Proenza, M. A. Barranco, A. Ballesteros. A Fault-Tolerant Ethernet for Hard Real-Time Adaptive Systems. In IEEE Transactions on Industrial Informatics, IEEE, vol. 15, no. 5, pp. 2980 - 2991, May, 2019 .

D. Bujosa, D. Cavka, I. Álvarez, J. Proenza. First Analysis of the AVB’s Stream Reservation Protocol in the Context of TSN (Technical Report). May, 2019.

A. Ballesteros, J. Proenza, M. A. Barranco, L. Almeida, P. Palmer-Rodríguez. First Description of a Self-Reconfigurable Infrastructure for Critical Adaptive Distributed Embedded Systems. May, 2019.

I. Álvarez, M. A. Barranco, J. Proenza. Towards a Fault-Tolerant Architecture based on Time-Sensitive Networking. In 4ª Edición de las Jornadas de ACM Celebrations: Informática para tod@s, A Coruña, Spain, 2019.

D. Bujosa, D. Cavka, I. Álvarez, 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.

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, I. Álvarez, J. Proenza. Estudio de la idoneidad del Stream Reservation Protocol para dar soporte a Sistemas Empotrados Distribuidos Críticos Adaptativos. Universitat de les Illes Balears, 2019.

I. Álvarez, D. Cavka, J. Proenza, M. A. Barranco. Simulation of the Proactive Transmission of Replicated Frames Mechanism over TSN. 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.

D. Bujosa, I. Álvarez, 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.

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

I. Álvarez, M. A. Barranco, J. Proenza. Towards a Fault-Tolerant Architecture based on Time Sensitive Networking. In Proceedings of the IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA 2018), Torino, 2018.

I. Álvarez, J. Proenza, M. A. Barranco. Mixing Time and Spatial Redundancy over Time Sensitive Networking. In Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Luxemburg, 2018.

I. Álvarez, D. Cavka, J. Proenza, M. A. Barranco. First Study of the Proactive Transmission of Replicated Frames Mechanism over TSN. In 16th International Workshop on Real-Time Networks (RTN 2018), Barcelona, 2018.

A. Ballesteros, J. Proenza, M. A. Barranco, L. Almeida, P. Palmer-Rodríguez. Towards a Self-Reconfigurable Infrastructure for Critical Adaptive Distributed Embedded Systems. In 16th International Workshop on Real-Time Networks (RTN 2018), Barcelona, 2018.

D. Cavka, I. Álvarez, J. Proenza. An OMNeT++ Simulation Model for the Proactive Transmission of Replicated Frames Mechanism over TSN. Illes Balears, 2018.

S. Derasevic, M. A. Barranco, J. Proenza. Node Fault Tolerance for Distributed Embedded Systems based on FTT-Ethernet. University of the Balearic Islands, 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.

A. Ballesteros, J. Proenza, M. A. Barranco, L. Almeida. Reconfiguration Strategies for Critical Adaptive Distributed Embedded Systems. In Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018), Luxembourg, 2018.

2017

I. Álvarez, J. Proenza, M. A. Barranco, M. Knezic. Towards a Time Redundancy Mechanism for Critical Frames in Time-Sensitive Networking. In Proceedings of the 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017), Cyprus, 2017.

A. Ballesteros, J. Proenza, P. Palmer-Rodríguez. Towards a Dynamic Task Allocation Scheme for Highly-Reliable Adaptive Distributed Embedded Systems. In Proceedings of the 22th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017), Limassol, 2017.

I. Álvarez, J. Proenza, L. Almeida, M. Knezic. Estudio del Control de Admisión en los Protocolos de Comunicación Flexible Time-Triggered y Audio Video Bridging. In 2ª Edición de las Jornadas de ACM Celebrations: Informática para tod@s, Palma, Spain, 2017.

D. Gessner, J. Proenza, M. A. Barranco. Adding Fault Tolerance To a Flexible Real-Time Ethernet Network for Embedded Systems. University of the Balearic Islands, 2017.

2016

A. Ballesteros, J. Proenza, M. A. Barranco. Implementation and Testing of the Node Replication Scheme of the FT4FTT Architecture. Universitat de les Illes Balears, 2016.

A. Ballesteros, S. Derasevic, D. Gessner, F. Font, I. Álvarez, M. A. Barranco, J. Proenza. First Implementation and Test of a Node Replication Scheme on top of the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 12th IEEE World Conference on Factory Communication Systems (WFCS 2016), Aveiro, 2016.

I. Álvarez, L. Almeida, J. Proenza. A First Qualitative Comparison of the Admission Control in FTT-SE, HaRTES and AVB. In Proceedings of the 12th IEEE World Conference on Factory Communication Systems (WFCS 2016), Aveiro, 2016.

I. Álvarez, J. Proenza, L. Almeida. Study of the Admission Control in the Flexible Time-Triggered and the Audio Video Bridging Communication Protocols. Universitat de les Illes Balears, 2016.

S. Derasevic, M. A. Barranco, J. Proenza. Designing fault-diagnosis and reintegration to prevent node redundancy attrition in highly reliable control systems based on FTT-Ethernet. In Proceedings of the 12th IEEE World Conference on Factory Communication Systems (WFCS 2016), Aveiro, 2016.

A. Ballesteros, S. Derasevic, M. A. Barranco, J. Proenza. First Implementation and Test of Reintegration Mechanisms for Node Replicas in the FT4FTT Architecture. In Proceedings of the 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, 2016.

I. Álvarez, M. Knezic, L. Almeida, J. Proenza. A First Performance Analysis of the Admission Control in the HaRTES Ethernet Switch. In Proceedings of the 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), 2016.

M. A. Barranco, A. Zendouh, A. Ballesteros, J. Proenza. Improving Maintenance of FT4FTT: Extending it to Monitor and Log its Available Redundancy via Internet. In Proceedings of the 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), 2016.

2015

A. Adrover, A. Ballesteros, J. Proenza. Infraestructura d’injecció de fallades per a Ethernet amb funcions específiques per a FTT. Universitat de les Illes Balears, 2015.

S. Derasevic, M. Melià, A. Ballesteros, M. A. Barranco, J. Proenza. First Experimental Evaluation of the Consistent Replicated Voting in the Hard Real-Time Ethernet Switching architecture. In Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxemburg, 2015.

D. Gessner, I. Furió, J. Proenza. Towards a Layered Architecture for the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxemburg, 2015.

S. Derasevic, M. A. Barranco, J. Proenza. An OMNET++ model to asses node fault-tolerance mechanisms for FTT-Ethernet DESs. In Emerging Technology and Factory Automation (ETFA), 2015 IEEE , Luxembourg, 2015.

M. A. Barranco, J. Proenza, L. Almeida. Quantitative characterization of the reliability of simplex buses and stars to compare their benefits in fieldbuses. In Reliability Engineering & System Safety, ELSEVIER, vol. 142, pp. 163–175, June , 2015.

D. Gessner, A. Ballesteros, A. Adrover, J. Proenza. Experimental Evaluation of Network Component Crashes and Trigger Message Omissions in the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 2015 IEEE World Conference on Factory Communication Systems (WFCS), Palma de Mallorca, Spain, 2015.

M. Melià, J. Proenza, A. Ballesteros. Implementació i validació de mecanismes per a l’intercanvi consistent d’informació entre nodes d’un sistema encastat distribuït basat en HaRTES. Universitat de les Illes Balears, 2015.

2014

D. Gessner, M. A. Barranco, A. Ballesteros, J. Proenza. sfiCAN: a Star-based Physical Fault-Injection Infrastructure for CAN networks. In IEEE Transactions on Vehicular Technology, IEEE, vol. 63, no. 3, pp. 1335-1349, March, 2014 .

D. Gessner, J. Proenza, M. A. Barranco. A Proposal for Master Replica Control in the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014), Toulouse, France, 2014.

D. Gessner, J. Proenza, M. A. Barranco. A Proposal for Managing the Redundancy Provided by the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014), Toulouse, France, 2014.

A. Ballesteros, J. Proenza, D. Gessner, G. Rodríguez-Navas, T. Sauter. Achieving Elementary Cycle Synchronization between Masters in the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

D. Gessner, P. Portugal, J. Proenza, M. A. Barranco. Towards a reliability analysis of the design space for the communication subsystem of FT4FTT. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), 2014.

D. Gessner, I. Álvarez, A. Ballesteros, M. A. Barranco, J. Proenza. Towards an Experimental Assessment of the Slave Elementary Cycle Synchronization in the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

M. A. Barranco, F. Pozo, J. Proenza. A Model for Quantifying the Reliability of Highly-Reliable Distributed Systems based on Fieldbus Replicated Buses. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

M. Knezic, A. Ballesteros, J. Proenza. Towards Extending the OMNeT++ INET Framework for Simulating Fault Injection in Ethernet-Based Flexible Time-Triggered Systems. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

S. Derasevic, M. A. Barranco, J. Proenza. Appropriate consistent replicated voting for increased reliability in a node replication scheme over FTT. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

S. Derasevic, J. Proenza, M. A. Barranco. Using FTT-Ethernet for the coordinated dispatching of tasks and messages for node replication. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

I. Álvarez, J. Proenza, M. A. Barranco. Implementation and Verification of the Slave Elementary Cycle Synchronization Mechanism of the Flexible Time-Triggered Replicated Star for Ethernet. Universitat de les Illes Balears, 2014.

F. Pozo, M. A. Barranco, J. Proenza. Modelado mediante Stochastic Activity Networks (SANs) de la Fiabilidad de un Sistema Distribuido en el que los nodos se comunican a través de una red con Topología de Bus Replicado basada en el protocolo Controller Area Network (CAN). Universitat de les Illes Balears, 2014.

2013

D. Gessner, M. A. Barranco, J. Proenza. Design and verification of a media redundancy management driver for a CAN star topology. In IEEE Transactions on Industrial Informatics, IEEE, vol. 9, no. 1, pp. 237-245, February, 2013 .

G. Rodríguez-Navas, J. Proenza. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. In IEEE Transactions on Software Engineering, IEEE Computer Society, vol. 39, no. 6, pp. 857-868, 2013 .

J. Proenza, D. Gessner. Recommendations for reviewing papers in engineering-related research areas. May, 2013.

M. Short, J. Proenza. Towards efficient probabilistic scheduling guarantees for real-time systems subject to random errors and random bursts of errors. In Proceedings of the 25th EUROMICRO Conference on Real-Time Systems (ECRTS'13), Paris, France, 2013.

G. Rodríguez-Navas, J. Proenza. A proposal for Flexible, Real-Time and Consistent Multicast in FTT/HaRTES Switched Ethernet. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 2013.

S. Derasevic, J. Proenza, D. Gessner. Towards Dynamic Fault Tolerance on FTT-based Distributed Embedded Systems. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 2013.

D. Gessner, J. Proenza, M. A. Barranco, L. Almeida. Towards a Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 2013.

A. Ballesteros, D. Gessner, J. Proenza, M. A. Barranco, P. Pedreiras. Towards Preventing Error Propagation in a Real-Time Ethernet Switch. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 2013 .

L. Almeida, Z. Iqbal, P. Pedreiras, R. Marau, L. Silva, M. Ashjaei, M. Behnam, T. Nolte, J. Proenza, M. A. Barranco, D. Gessner, G. Rodríguez-Navas, A. Ballesteros, S. Derasevic. Developments in Flexible Time-Triggered Switched Ethernet. In Workshop on Real-Time Ethernet (RATE 2013) in conjunction with RTSS 2013, 2013.

A. Ballesteros, J. Proenza. A description of the FTT-SE protocol. December, 2013.

2012

A. Ballesteros, D. Gessner, M. A. Barranco, J. Proenza. Diseño de sfiCAN: un inyector físico de fallos para redes CAN basado en una topología en estrella. June, 2012.

J. Proenza, M. A. Barranco, G. Rodríguez-Navas, D. Gessner, F. Guardiola, L. Almeida. The design of the CANbids architecture. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

H. Aysan, R. Dobrin, S. Punnekkat, J. Proenza. Probabilistic Scheduling Guarantees in Distributed Real-Time Systems under Error Bursts. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

D. Gessner, M. A. Barranco, J. Proenza, M. Short. A first qualitative evaluation of star replication schemes for FTT-CAN. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

J. Proenza, M. A. Barranco, J. Llodrà, L. Almeida. Using FTT and stars to simplify node replication in CAN-based systems. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

M. A. Barranco, J. Proenza. Developing TOBE-CAN: Total Order Atomic Broadcast Enforcement in CAN. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

A. Ballesteros, J. Proenza, M. A. Barranco. Construction of sfiCAN: a star-based fault-injection infrastructure for the Controller Area Network. Universitat de les Illes Balears, 2012.

C. Winter, J. Proenza, G. Rodríguez-Navas. Mejora, integración y verificación experimental de los mecanismos de resolución de inconsistencias del proyecto CANbids. Universitat de les Illes Balears, 2012.

2011

M. A. Barranco, J. Proenza. Towards Understanding the Sensitivity of the Reliability Achievable by Simplex and Replicated Star Topologies in CAN. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 2011.

D. Gessner, M. A. Barranco, A. Ballesteros, J. Proenza. Designing sfiCAN: a star-based physical fault injector for CAN. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 2011.

G. Rodríguez-Navas, C. Winter, J. Proenza. Injection of Aggregated Error Flags as a Means to Guarantee Consistent Error Detection in CAN. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 2011.

M. A. Barranco, G. Rodríguez-Navas, D. Gessner, J. Proenza. Towards the Integration of Flexible-Time-Triggered Communication and Replicated Star Topologies in CAN. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 2011.

D. Gessner, J. Proenza, M. A. Barranco. Design and verification by means of model checking of reCANdrv: a media redundancy management driver for the nodes of a ReCANcentrate network. Universitat de les Illes Balears, 2011.

M. A. Barranco, J. Proenza, L. Almeida. Quantitative comparison of the error-containment capabilities of a bus and a star topology in CAN networks. In IEEE Transactions on Industrial Electronics, vol. 58, no. 3, pp. 802--813, March, 2011 .

2010

M. A. Barranco, J. Proenza, L. Almeida. Improving error containment and reliability of communication subsystems based on controller area network (CAN) by means of adequate star topologies. Universitat de les Illes Balears, 2010.

M. A. Barranco, D. Gessner, J. Proenza, L. Almeida. First prototype and experimental assessment of media management in ReCANcentrate. In Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, 2010.

M. A. Barranco, J. Proenza, L. Almeida. Reliability Improvement Achievable in CAN-based Systems by Means of the ReCANcentrate Replicated Star Topology. In Proceedings of the 8th IEEE Workshop on Factory Communication Systems (WFCS 2010), Nancy, France, 2010.

D. Gessner, M. A. Barranco, J. Proenza, L. Almeida. Evaluation of different approaches for the media management in ReCANcentrate nodes. July, 2010.

G. Rodríguez-Navas, J. Proenza. Design and Formal Verification of a Fault-tolerant Clock Synchronization Subsystem for the Controller Area Network. Universitat de les Illes Balears, 2010.

D. Gessner, J. Proenza, M. A. Barranco. Construction of a Hardware Prototype of ReCANcentrate and Implementation of a Media Management Driver for the Nodes of the Prototype. Universitat de les Illes Balears, 2010.

2009

J. Proenza, J. Miro-Julia, H. Hansson. Managing redundancy in CAN-based networks supporting N-Version Programming. In Computer Standards and Interfaces, vol. 31, no. 1, pp. 120--127, 2009.

J. Pimentel, J. Proenza, L. Almeida, G. Rodríguez-Navas, M. A. Barranco, J. Ferreira. Dependable Automotive CAN Networks. In Handbook on Automotive Embedded Systems, CRC Press, Nicolas Navet and Françoise Simonot-Lion , pp. 6-(1-51), 2009.

M. A. Barranco, J. Proenza, L. Almeida. First quantitative results of the dependability improvement achieved by ReCANcentrate. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, 2009.

M. A. Barranco, D. Gessner, J. Proenza, L. Almeida. Demonstrating the feasibility of media management in ReCANcentrate. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, 2009.

J. Proenza, E. Sigg. A first design for CANsistant: a mechanism to prevent inconsistent omissions in CAN in the presence of multiple errors. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, 2009.

G. Rodríguez-Navas, J. Proenza, H. Hansson, P. Pettersson. Chapter VII: Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems. In Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Global, Gomes, Luís and Fernandes, João M. , 2009.

M. A. Barranco, J. Proenza, L. Almeida. Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate. In Computer, vol. 42, no. 5, pp. 66--73, May, 2009.

2008

G. Rodríguez-Navas, S. Roca, J. Proenza. Orthogonal, Fault-tolerant and High-precision Clock Synchronization for the Controller Area Network. In IEEE Transactions on Industrial Informatics, vol. 4, no. 2, pp. 92--101, 2008.

M. A. Barranco, J. Proenza, L. Almeida. Management of Media Replication in ReCANcentrate. In International CAN Conference (iCC), 2008.

M. A. Barranco, J. Proenza, L. Almeida. Maintaining data consistency in ReCANcentrate during hub decouplings. In IEEE Workshop on Factory Communication Systems (WFCS), Dresde (Germany), 2008.

M. A. Barranco, J. Proenza, L. Almeida. Designing and Verifying Media Management in ReCANcentrate. In IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg (Germany), 2008.

G. Rodríguez-Navas, J. Proenza. Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. In IEEE Symposium on Reliable Distributed Systems (SRDS), Napoli (Italy), 2008.

2007

J. Proenza, J. Miro-Julia, H. Hansson. Redundancy Management in a Low-Cost Distributed Hardware and Firmware Support for Software-Fault Tolerance. 2007.

J. Proenza, L. Almeida. Position Paper on Dependability and Reconfigurability in Distributed Embedded Systems. In International Workshop on Real-Time Networks (RTN), Pisa (Italy), 2007 .

M. Bonet, G. Donaire, J. Proenza. Modelling MajorCAN with UPPAAL. In IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Patras (Greece), 2007.

G. Rodríguez-Navas, J. Proenza, H. Hansson. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. In International Conference on Formal Engineering Methods (ICFEM, LNCS 4789), Boca Raton (Florida, USA), 2007.

M. A. Barranco, J. Proenza, L. Almeida. Experimental assessment of ReCANcentrate, a replicated star topology for CAN. In SAE 2006 Transactions Journal of Passenger Cars: Electronic and Electrical Systems, SAE international, pp. 437--446, 2007.

J. Proenza, J. Miró. RCMBnet: A distributed Hardware and Firmware Support for Software Fault Tolerance. Universitat de les Illes Balears, 2007.

M. A. Barranco, J. Proenza, L. Almeida. Enhancing the response of ReCANcentrate in presence of faults. 2007.

M. A. Barranco, J. Proenza, L. Almeida. On the Management of Media Replication in ReCANcentrate. 2007.

2006

G. Rodríguez-Navas, J. Proenza, H. Hansson. An UPPAAL Model for Formal Verification of Master/slave Clock Synchronization over the Controller Area Network. In IEEE International Workshop on Factory Communication Systems (WFCS), Torino (Italy), 2006.

M. A. Barranco, J. Proenza, L. Almeida. First results of the assessment of the improvement of error containment achieved by CANcentrate. In IEEE International Workshop on Factory Communication Systems (WFCS), Torino (Italy), 2006.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. An Active Star Topology for Improving Fault Confinement in CAN Networks. In IEEE Transactions on Industrial Informatics, vol. 2, no. 2, pp. 78--85, 2006.

J. Ferreira, L. Almeida, J. Alberto, P. Pedreiras, E. Martins, G. Rodríguez-Navas, J. Rigo, J. Proenza. Combining Operational Flexibility and Dependability in FTT-CAN. In IEEE Transactions on Industrial Informatics, vol. 2, no. 2, pp. 95--102, 2006.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. Pushing error containment and fault tolerance. In CAN Newsletter. Special Edition on Automotive Networks, CAN in Automation GmbH, 2006.

2005

G. Rodríguez-Navas, J. Proenza, H. Hansson. An UPPAAL Model for Formal Verification of Clock Synchronization over CAN. 2005.

M. A. Barranco, L. Almeida, J. Proenza. ReCANcentrate: A replicated star topology for CAN networks. In IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Catania (Italy), 2005.

G. Rodríguez-Navas, J. Proenza, H. Hansson. Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network. In IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Catania (Italy), 2005.

T. Nolte, G. Rodríguez-Navas, J. Proenza, S. Punnekkat, H. Hansson. Towards analyzing the fault-tolerant operation of Server-CAN. In IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Catania (Italy), 2005.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. A CAN hub with Improved Error Detection and Isolation. In International CAN Conference (iCC), 2005.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. Design and implementation of CANcentrate: an active star topology for improving fault confinement in CAN networks. 2005.

2004

G. Rodríguez-Navas, J. Proenza. Clock Synchronization in CAN Distributed Embedded Systems. In International Workshop on Real-Time Networks (RTN), Catania (Italy), 2004.

M. A. Barranco, G. Rodríguez-Navas, J. Proenza, L. Almeida. CANcentrate: An Active Star Topology for CAN Networks. In IEEE International Workshop on Factory Communication Systems (WFCS), Vienna (Austria), 2004.

G. Rodríguez-Navas, J. Proenza, J. Rigo, J. Ferreira, L. Almeida, J. A. Fonseca. Design and Modeling of a Protocol to Enforce Consistency among Replicated Masters in FTT-CAN. In IEEE International Workshop on Factory Communication Systems (WFCS), Vienna (Austria), 2004.

J. Proenza, J. Miro-Julia. System Partitioning of a Low-Cost Distributed Hardware and Firmware Support for Software-Fault Tolerance. 2004.

2003

J. Ferreira, L. Almeida, J. A. Fonseca, G. Rodríguez-Navas, J. Proenza. Enforcing Consistency of Communication Requirements Updates in FTT-CAN. In International Workshop on Dependable Embedded Systems (DES), Florence (Italy), 2003.

G. Rodríguez-Navas, J. Proenza. Analyzing Atomic Broadcast in TTCAN Networks. In IFAC International Conference on Fieldbus Systems and their Applications (FET), Aveiro (Portugal), 2003.

G. Rodríguez-Navas, J. Jiménez, J. Proenza. An Architecture for Physical Injection of Complex Fault Scenarios in CAN Networks. In IEEE International Conference on Emerging Technology and Factory Automation (ETFA), Lisbon (Portugal), 2003.

G. Rodríguez-Navas, J. Proenza. Harmonizing Dependability and Real Time in CAN Networks. In Second International Workshop on Real-Time LANs in the Internet Age (RTLIA), Lisbon (Portugal), 2003.

G. Rodríguez-Navas, J. Juan, J. Proenza. Hardware Design of a High-Precision and Fault-Tolerant Clock Subsystem for CAN Networks. In IFAC International Conference on Fieldbus Systems and their Applications (FET), Aveiro (Portugal), 2003.

G. Rodríguez-Navas, M. A. Barranco, J. Proenza, I. Broster. COTS-based Hardware Support to Timeliness in CAN Networks. In IEEE International Conference on Emerging Technology and Factory Automation (ETFA), Lisbon (Portugal), 2003.

G. Rodríguez-Navas, J. Proenza. Una descripción de los fundamentos del protocolo TTCAN diseñado por Bosch. 2003.

G. Rodríguez-Navas, J. Proenza. On the Design of a Clock Service for CAN Networks. 2003.

2002

C. Guerrero, G. Rodríguez-Navas, J. Proenza. Hardware Support for Fault Tolerance in Triple Redundant CAN Controllers. In IEEE International Conference on Electronics, Circuits and Systems (ICECS), Dubrovnik (Croatia), 2002.

C. Guerrero, G. Rodríguez-Navas, J. Proenza. Design and Implementation of a Redundancy Manager for Triple Redundant CAN Controllers. In Annual Conference of the IEEE Industrial Electronics Society (IECON), Sevilla (Spain), 2002.

G. Rodríguez-Navas, J. Proenza. An Orthogonal and Fault-Tolerant Subsystem for High-Precision Clock Synchronization in CAN Networks. In WSEAS International Conference on Signal Processing, Robotics and Automation (ISPRA), Chiclana, Cádiz (Spain), 2002.

2000

J. Proenza, J. Miro-Julia. Consistent management and slow attrition of redundancy in a distributed hardware support for NVP execution. In First International Conference on Dependable Systems and Networks (ICDSN), New York (USA), 2000.

J. Proenza, A. Ortiz, F. Prats, B. Santandreu, G. Oliver. Incorporating A Safety Hardware Module On A Low-Cost AUV. In International Symposium on Robotics and Automation (ISRA), Monterrey (Mexico), 2000.

J. Proenza, J. Miro-Julia. MajorCAN: A modification to the Controller Area Network protocol to achieve Atomic Broadcast. In First International Workshop on Group Communications and Computations (IWGCC), Taipei (Taiwan), 2000 .

D. Avià, M. D. Diego, G. Oliver, A. Ortiz, J. Proenza. RAO: A Low-Cost AUV for Testing. In MTS/IEEE Oceans, Providence-RI (USA), 2000.

A. Ortiz, J. Proenza, G. Oliver. Automatic Inspection of Underwater Environments by Means of a Fleet of Submersible Agents. In Pattern Recognition Advances in Iberoamerica, Barcelona (Spain), 2000.

F. Navarro, J. Proenza, A. Ortiz. Disseny i implementació d’un sistema tolerant a fallades emprant el bus CAN. Universitat de les Illes Balears, 2000.

F. PRATS, G. Oliver, J. Proenza. Implementación de un módulo hardware de emergencia aplicado a vehículos autónomos submarinos. Universitat de les Illes Balears, 2000.

B. SANTANDREU, G. Oliver, J. Proenza. Diseño y construcción de un módulo de emergencia (EHM) aplicado a un vehículo autonomo submarino. Universitat de les Illes Balears, 2000.

1999

J. Proenza, J. Pons, J. Miro-Julia. A low-cost fail-safe circuit for fault-tolerant control systems. In IEEE International Conference on Electronics, Circuits and Systems (ICECS), Paphos (Cyprus), 1999.

J. Proenza, A. Ortiz, G. Bernat, G. Oliver. A Cost-Effective Hardware Architecture for Fail-Safe Autonomous Underwater Vehicles. In IEEE International Conference on Electronics, Circuits and Systems (ICECS), Paphos (Cyprus), 1999.

A. Ortiz, J. Proenza, G. Bernat, G. Oliver. Improving the Safety of AUVs. In MTS/IEEE Oceans, Seattle-WA (USA), 1999.

1998

P. Ferriol, F. Navio, J. José, J. Pons, J. Proenza, J. Miro-Julia. Un circuito de bajo coste para la tolerancia a fallos en sistemas de control industrial. In Seminario Anual de Automática, Electrónica Industrial e Instrumentación (SAAEI), Pamplona (Spain), 1998.

G. Bernat, J. Miro-Julia, J. Proenza. Fixed priority schedulability analysis of a distributed real-time fault-tolerant architecture. In International Conference on Parallel and Distributed Techniques and Applications (PDPTA), Las Vegas (USA), 1998.

G. Bernat, J. Miro-Julia, J. Proenza. A technique to analyse the tolerance to transient overloads of a fault-tolerant real-time system. In IEEE High Accurance Systems Engineering Workshop (HASE), Washington (USA), 1998.

P. Ferriol, F. Navio, J. José, J. Pons, J. Proenza, J. Miro-Julia. A double CAN architecture for fault-tolerant control systems. In International CAN Conference (ICC), 1998.