| 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 | 119 | 2002 |
| 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 | 95 | 2006 |
| 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 | 57 | 2006 |
| Timing analysis of real-time communication under electromagnetic interference I Broster, A Burns, G Rodriguez-Navas Real-Time Systems 30 (1), 55-81, 2005 | 54 | 2005 |
| 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 | 52 | 2004 |
| 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 | 51 | 2014 |
| The karlskrona manifesto for sustainability design C Becker, R Chitchyan, L Duboc, S Easterbrook, M Mahaux, ... arXiv preprint arXiv:1410.6968, 2014 | 50 | 2014 |
| 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 | 45 | 2015 |
| 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 | 42 | 2008 |
| 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 | 40 | 2004 |
| 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 | 37 | 2016 |
| 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 | 36 | 2016 |
| 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 | 35 | 2015 |
| 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 | 27 | 2012 |
| 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 | 20 | 2012 |
| 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 | 20 | 2003 |
| Dependable fog computing: A systematic literature review Z Bakhshi, G Rodriguez-Navas, H Hansson 2019 45th Euromicro Conference on Software Engineering and Advanced …, 2019 | 19 | 2019 |
| 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 | 18 | 2016 |
| 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 | 18 | 2016 |
| 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 | 17 | 2006 |
Hans HanssonProfessor of Real-Time Systems, Mälardalen UniversityGeverifieerd e-mailadres voor mdh.se
