Julián Proenza
Orcid: 0000-0001-7238-0557Affiliations:
- University of the Balearic Islands, Palma, Spain
According to our database1,
Julián Proenza
authored at least 93 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Characterizing the Tradeoff between Fault Tolerance and Cost of Redundant TSN Networks.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Towards a Node Active Replication Schema for Highly Reliable Distributed Control Systems Based on TSN.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
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
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
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2021
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
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
IEEE Access, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
2019
IEEE Trans. Ind. Informatics, 2019
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
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
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018
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
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
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
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
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
2014
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
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
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
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
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
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
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
2009
Comput. Stand. Interfaces, 2009
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
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
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
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
2006
IEEE Trans. Ind. Informatics, 2006
IEEE Trans. Ind. Informatics, 2006
2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
2002
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
Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999
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