Guillermo Rodriguez-Navas
Guillermo Rodriguez-Navas
Nokia Bell Labs
Dirección de correo verificada de nokia-bell-labs.com - Página principal
Título
Citado por
Citado por
Añ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
1082002
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
852006
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
542006
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
502005
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
472004
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
392014
The karlskrona manifesto for sustainability design
C Becker, R Chitchyan, L Duboc, S Easterbrook, M Mahaux, ...
arXiv preprint arXiv:1410.6968, 2014
372014
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
372004
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
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
312015
Synthesizing time-triggered schedules for switched networks with faulty links
G Avni, S Guha, G Rodriguez-Navas
Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016
252016
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
242016
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
232015
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
222012
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
192012
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
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
152003
Period-aware segmented synthesis of schedules for multi-hop time-triggered networks
F Pozo, G Rodriguez-Navas, W Steiner, H Hansson
2016 IEEE 22nd international conference on embedded and real-time computing …, 2016
142016
Formal Methods in Collaborative Projects.
A Zamansky, G Rodriguez-Navas, M Adams, M Spichkova
ENASE, 396-402, 2016
142016
Integrating pattern-based formal requirements specification in an industrial tool-chain
P Filipovikj, T Jagerfield, M Nyberg, G Rodriguez-Navas, C Seceleanu
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016
132016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20