Guillermo Rodriguez-Navas
Guillermo Rodriguez-Navas
Nokia Bell Labs
Dirección de correo verificada de nokia-bell-labs.com - Página principal
TítuloCitado porAño
Probabilistic analysis of CAN with faults
I Broster, A Burns, G Rodríguez-Navas
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 269-278, 2002
1062002
An active star topology for improving fault confinement in CAN networks
M Barranco, J Proenza, G Rodríguez-Navas, L Almeida
IEEE transactions on industrial informatics 2 (2), 78-85, 2006
762006
Combining operational flexibility and dependability in FTT-CAN
J Ferreira, L Almeida, A Fonseca, P Pedreiras, E Martins, ...
IEEE Transactions on Industrial Informatics 2 (2), 95-102, 2006
532006
Comparing real-time communication under electromagnetic interference
I Broster, A Burns, G Rodriguez-Navas
Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS …, 2004
462004
Timing analysis of real-time communication under electromagnetic interference
I Broster, A Burns, G Rodriguez-Navas
Real-Time Systems 30 (1-2), 55-81, 2005
442005
Reassessing the pattern-based approach for formalizing requirements in the automotive domain
P Filipovikj, M Nyberg, G Rodriguez-Navas
2014 IEEE 22nd International Requirements Engineering Conference (RE), 444-450, 2014
362014
Orthogonal, fault-tolerant, and high-precision clock synchronization for the controller area network
G Rodriguez-Navas, S Roca, J Proenza
IEEE Transactions on Industrial Informatics 4 (2), 92-101, 2008
332008
CANcentrate: An active star topology for CAN networks
M Barranco, G Rodriguez-Navas, J Proenza, L Almeida
IEEE International Workshop on Factory Communication Systems, 2004 …, 2004
332004
The karlskrona manifesto for sustainability design
C Becker, R Chitchyan, L Duboc, S Easterbrook, M Mahaux, ...
arXiv preprint arXiv:1410.6968, 2014
282014
Next generation real-time networks based on IT technologies
W Steiner, PG Peón, M Gutiérrez, A Mehmed, G Rodriguez-Navas, ...
2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016
192016
A decomposition approach for SMT-based schedule synthesis for time-triggered networks
F Pozo, W Steiner, G Rodriguez-Navas, H Hansson
2015 IEEE 20th conference on emerging technologies & factory automation …, 2015
182015
The design of the CANbids architecture
J Proenza, M Barranco, G Rodríguez-Navas, D Gessner, F Guardiola, ...
Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012
182012
Using timed automata for modeling distributed systems with clocks: Challenges and solutions
G Rodriguez-Navas, J Proenza
IEEE Transactions on Software Engineering 39 (6), 857-868, 2012
172012
An architecture for physical injection of complex fault scenarios in CAN networks
G Rodriguez-Navas, J Jiménez, J Proenza
EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory …, 2003
162003
Hardware support for fault tolerance in triple redundant CAN controllers
C Guerrero, G Rodriguez-Navas, J Proenza
9th International Conference on Electronics, Circuits and Systems 2, 457-460, 2002
162002
SMT-based synthesis of TTEthernet schedules: A performance study
F Pozo, G Rodriguez-Navas, H Hansson, W Steiner
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-4, 2015
152015
Synthesizing time-triggered schedules for switched networks with faulty links
G Avni, S Guha, G Rodriguez-Navas
2016 International Conference on Embedded Software (EMSOFT), 1-10, 2016
142016
Dependable automotive CAN networks
J Pimentel, J Proenza, L Almeida, G Rodriguez-Navas, M Barranco, ...
Automotive Embedded Systems Handbook, 2009
132009
Formal Methods in Collaborative Projects.
A Zamansky, G Rodriguez-Navas, M Adams, M Spichkova
ENASE, 396-402, 2016
122016
An UPPAAL model for formal verification of master/slave clock synchronization over the controller area network
G Rodriguez-Navas, J Proenza, H Hansson
Proc. of the 6th IEEE International Workshop on Factory Communication …, 2006
122006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20