Search the dblp DataBase

Publications of Author

1. Guillem Bernat, José Miró-Julià, Julian Proenza
   A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System. [Citation Graph (0, 0)][DBLP]
   HASE, 1997, pp:221-0 [Conf]
   
2. Julian Proenza, José Miró-Julià
   MajorCAN: A Modification to the Controller Area Network Protocol to Achieve Atomic Broadcast. [Citation Graph (0, 0)][DBLP]
   ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
   
3. Guillem Bernat, José Miró-Julià, Julian Proenza
   Fixed Priority Schedulability Analysis of a Distributed Real-Time Fault Tolerant Architecture. [Citation Graph (0, 0)][DBLP]
   PDPTA, 1997, pp:479-487 [Conf]
   
4. Guillermo Rodríguez-Navas, Julian Proenza, Hans Hansson
   Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2007, pp:307-326 [Conf]
   
5. Thomas Nolte, Guillermo Rodríguez-Navas, Julian Proenza, Sasikumar Punnekkat, Hans Hansson
   Towards analyzing the fault-tolerant operation of server-CAN. [Citation Graph (0, 0)][DBLP]
   ETFA, 2005, pp:- [Conf]
   
6. 
   Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. [Citation Graph (, )][DBLP]
   
   
7. 
   Designing and verifying media management in ReCANcentrate. [Citation Graph (, )][DBLP]
   
   
8. 
   Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate. [Citation Graph (, )][DBLP]