| 2008 |
|---|
| 10 | EE | Manuel Barranco,
Julian Proenza,
Luís Almeida:
Designing and verifying media management in ReCANcentrate.
ETFA 2008: 484-487 |
| 9 | EE | Guillermo Rodríguez-Navas,
Julian Proenza:
Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN.
SRDS 2008: 33-42 |
| 8 | EE | Guillermo Rodríguez-Navas,
Sebastià Roca,
Julian Proenza:
Orthogonal, Fault-Tolerant, and High-Precision Clock Synchronization for the Controller Area Network.
IEEE Trans. Industrial Informatics 4(2): 92-101 (2008) |
| 2007 |
|---|
| 7 | EE | Guillermo Rodríguez-Navas,
Julian Proenza,
Hans Hansson:
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.
ICFEM 2007: 307-326 |
| 2006 |
|---|
| 6 | EE | Manuel Barranco,
Julian Proenza,
Guillermo Rodríguez-Navas,
Luís Almeida:
An active star topology for improving fault confinement in CAN networks.
IEEE Trans. Industrial Informatics 2(2): 78-85 (2006) |
| 5 | EE | Joaquim Ferreira,
Luís Almeida,
Alberto Fonseca,
Paulo Pedreiras,
Ernesto Martins,
Guillermo Rodríguez-Navas,
Joan Rigo,
Julian Proenza:
Combining operational flexibility and dependability in FTT-CAN.
IEEE Trans. Industrial Informatics 2(2): 95-102 (2006) |
| 2005 |
|---|
| 4 | EE | Thomas Nolte,
Guillermo Rodríguez-Navas,
Julian Proenza,
Sasikumar Punnekkat,
Hans Hansson:
Towards analyzing the fault-tolerant operation of server-CAN.
ETFA 2005 |
| 2000 |
|---|
| 3 | | Julian Proenza,
José Miró-Julià:
MajorCAN: A Modification to the Controller Area Network Protocol to Achieve Atomic Broadcast.
ICDCS Workshop on Group Communications and Computations 2000: C72-C79 |
| 1997 |
|---|
| 2 | EE | Guillem Bernat,
José Miró-Julià,
Julian Proenza:
A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System.
HASE 1997: 221- |
| 1 | | Guillem Bernat,
José Miró-Julià,
Julian Proenza:
Fixed Priority Schedulability Analysis of a Distributed Real-Time Fault Tolerant Architecture.
PDPTA 1997: 479-487 |
