| 2007 |
|---|
| 5 | 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 |
| 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 |
