עקוב אחר
Guillermo Rodriguez-Navas
Guillermo Rodriguez-Navas
כתובת אימייל מאומתת בדומיין nokia.com - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Probabilistic analysis of CAN with faults
I Broster, A Burns, G Rodriguez-Navas
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 269-278, 2002
1252002
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
1042006
The Karlskrona manifesto for sustainability design
C Becker, R Chitchyan, L Duboc, S Easterbrook, M Mahaux, ...
arXiv preprint arXiv:1410.6968, 2014
822014
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
722015
Timing analysis of real-time communication under electromagnetic interference
I Broster, A Burns, G Rodriguez-Navas
Real-Time Systems 30, 55-81, 2005
632005
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
592006
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
582014
Comparing real-time communication under electromagnetic interference
I Broster, A Burns, G Rodríguez-Navas
Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS …, 2004
562004
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
552015
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
522008
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
412016
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
402004
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
382016
Dependable fog computing: A systematic literature review
Z Bakhshi, G Rodriguez-Navas, H Hansson
2019 45th Euromicro Conference on Software Engineering and Advanced …, 2019
362019
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
342012
Schedule reparability: Enhancing time-triggered network recovery upon link failures
F Pozo, G Rodriguez-Navas, H Hansson
2018 IEEE 24th International Conference on Embedded and Real-Time Computing …, 2018
312018
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
252016
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
232006
SMT-based consistency analysis of industrial systems requirements
P Filipovikj, G Rodriguez-Navas, M Nyberg, C Seceleanu
Proceedings of the Symposium on Applied Computing, 1272-1279, 2017
212017
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
212016
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20