Julián Proenza

Orcid: 0000-0001-7238-0557

Affiliations:
  • University of the Balearic Islands, Palma, Spain


According to our database1, Julián Proenza authored at least 90 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Speeding Task Allocation Search for Reconfigurations in Adaptive Distributed Embedded Systems Using Deep Reinforcement Learning.
Sensors, 2023

Opportunities and Specific Plans for Migrating from PRP to TSN in Substation Automation Systems.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022
An Infrastructure for Enabling Dynamic Fault Tolerance in Highly-Reliable Adaptive Distributed Embedded Systems Based on Switched Ethernet.
Sensors, 2022

HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities.
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Migrating Legacy Ethernet-Based Traffic with Spatial Redundancy to TSN networks.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

The Effects of Clock Synchronization in TSN Networks with Legacy End-Stations.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Implementing a First CNC for Scheduling and Configuring TSN Networks.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021
CSRP: An Enhanced Protocol for Consistent Reservation of Resources in AVB/TSN.
IEEE Trans. Ind. Informatics, 2021

Design and Experimental Evaluation of the Proactive Transmission of Replicated Frames Mechanism over Time-Sensitive Networking.
Sensors, 2021

Reliability Analysis of the Proactive Transmission of Replicated Frames Mechanism over Time-Sensitive Networking.
Sensors, 2021

Exploring the use of Deep Reinforcement Learning to allocate tasks in Critical Adaptive Distributed Embedded Systems.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

LETRA: Mapping Legacy Ethernet-Based Traffic into TSN Traffic Classes.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020
Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties.
CoRR, 2020

Correction to "Comparing Admission Control Architectures for Real-Time Ethernet".
IEEE Access, 2020

Comparing Admission Control Architectures for Real-Time Ethernet.
IEEE Access, 2020

Clock Synchronization in Integrated TSN-EtherCAT Networks.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019
A Fault-Tolerant Ethernet for Hard Real-Time Adaptive Systems.
IEEE Trans. Ind. Informatics, 2019

Fault Tolerance in Highly Reliable Ethernet-Based Industrial Systems.
Proc. IEEE, 2019

First exploration of the potential of diverse training and voting for increasing the accuracy of CNNs.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Analysing Termination and Consistency in the AVB's Stream Reservation Protocol.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule.
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.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Simulation of the Proactive Transmission of Replicated Frames Mechanism over TSN.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018
Towards a Fault-Tolerant Architecture Based on Time Sensitive Networking.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Reconfiguration Strategies for Critical Adaptive Distributed Embedded Systems.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Mixing Time and Spatial Redundancy Over Time Sensitive Networking.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017
Towards a dynamic task allocation scheme for highly-reliable adaptive distributed embedded systems.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Towards a time redundancy mechanism for critical frames in time-sensitive networking.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016
Guest Editorial Special Section on Communication in Automation.
IEEE Trans. Ind. Informatics, 2016

Designing fault-diagnosis and reintegration to prevent node redundancy attrition in highly reliable control systems based on FTT-Ethernet.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2016

First implementation and test of a node replication scheme on top of the flexible time-triggered replicated star for ethernet.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2016

A first qualitative comparison of the admission control in FTT-SE, HaRTES and AVB.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2016

Improving maintenance of FT4FTT: Extending it to monitor and log its available redundancy via internet.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

First implementation and test of reintegration mechanisms for node replicas in the FT4FTT Architecture.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

A first performance analysis of the Admission Control in the HaRTES Ethernet switch.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Quantitative characterization of the reliability of simplex buses and stars to compare their benefits in fieldbuses.
Reliab. Eng. Syst. Saf., 2015

Experimental evaluation of network component crashes and trigger message omissions in the Flexible Time-Triggered Replicated Star for Ethernet.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2015

Towards a layered architecture for the Flexible Time-Triggered Replicated Star for Ethernet.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

First experimental evaluation of the consistent replicated voting in the hard real-time ethernet switching architecture.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

An OMNET++ model to asses node fault-tolerance mechanisms for FTT-Ethernet DESs.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
sfiCAN: A Star-Based Physical Fault-Injection Infrastructure for CAN Networks.
IEEE Trans. Veh. Technol., 2014

A proposal for managing the redundancy provided by the flexible time-triggered replicated star for ethernet.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

A proposal for master replica control in the flexible time-triggered replicated star for ethernet.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Towards extending the OMNeT++ INET framework for simulating fault injection in ethernet-based Flexible Time-Triggered systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Towards a reliability analysis of the design space for the communication subsystem of FT4FTT.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Towards an experimental assessment of the slave elementary cycle synchronization in the Flexible Time-Triggered Replicated Star for Ethernet.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Using FTT-ethernet for the coordinated dispatching of tasks and messages for node replication.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Appropriate consistent replicated voting for increased reliability in a node replication scheme over FTT.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A model for quantifying the reliability of highly-reliable distributed systems based on fieldbus replicated buses.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions.
IEEE Trans. Software Eng., 2013

Design and Verification of a Media Redundancy Management Driver for a CAN Star Topology.
IEEE Trans. Ind. Informatics, 2013

A proposal for flexible, real-time and consistent multicast in FTT/HaRTES Switched Ethernet.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards a Flexible Time-Triggered replicated star for ethernet.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards dynamic fault tolerance on FTT-based distributed embedded systems.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards preventing error propagation in a real-time Ethernet switch.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards Efficient Probabilistic Scheduling Guarantees for Real-Time Systems Subject to Random Errors and Random Bursts of Errors.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012
The design of the CANbids architecture.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Using FTT and stars to simplify node replication in CAN-based systems.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A first qualitative evaluation of star replication schemes for FTT-CAN.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Developing TOBE-CAN: Total order broadcast enforcement in CAN.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Probabilistic scheduling guarantees in distributed real-time systems under error bursts.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Quantitative Comparison of the Error-Containment Capabilities of a Bus and a Star Topology in CAN Networks.
IEEE Trans. Ind. Electron., 2011

Injection of aggregated error flags as a means to guarantee consistent error detection in CAN.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Designing sfiCAN: A star-based physical fault injector for CAN.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Towards the integration of flexible-time-triggered communication and replicated star topologies in CAN.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Towards understanding the sensitivity of the reliability achievable by simplex and replicated star topologies in CAN.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
First prototype and experimental assessment of media management in ReCANcentrate.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009
Managing redundancy in CAN-based networks supporting N-Version Programming.
Comput. Stand. Interfaces, 2009

Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate.
Computer, 2009

A First Design for CANsistant: A Mechanism to Prevent Inconsistent Omissions in CAN in the Presence of Multiple Errors.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

First Quantitative Results of the Dependability Improvement Achieved by ReCANcentrate.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Demonstrating the Feasibility of Media Management in ReCANcentrate.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008
Orthogonal, Fault-Tolerant, and High-Precision Clock Synchronization for the Controller Area Network.
IEEE Trans. Ind. Informatics, 2008

Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN.
Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

Designing and verifying media management in ReCANcentrate.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.
Proceedings of the Formal Methods and Software Engineering, 2007

Modelling MajorCAN with UPPAAL.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006
Combining operational flexibility and dependability in FTT-CAN.
IEEE Trans. Ind. Informatics, 2006

An active star topology for improving fault confinement in CAN networks.
IEEE Trans. Ind. Informatics, 2006

2005
Towards analyzing the fault-tolerant operation of server-CAN.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2003
An architecture for physical injection of complex fault scenarios in CAN networks.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

COTS-based hardware support to timeliness in CAN networks.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002
Hardware support for fault tolerance in triple redundant CAN controllers.
Proceedings of the 2002 9th IEEE International Conference on Electronics, 2002

2000
MajorCAN: A Modification to the Controller Area Network Protocol to Achieve Atomic Broadcast.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999
A low-cost fail-safe circuit for fault-tolerant control systems.
Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

A cost-effective hardware architecture for fail-safe autonomous underwater vehicles.
Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

1997
Fixed Priority Schedulability Analysis of a Distributed Real-Time Fault Tolerant Architecture.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997


  Loading...