Guillermo Rodríguez-Navas

Probabilistic analysis of CAN with faults

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas · 2003 · 96 citations

Engineering, Verification, Network Analysis +21

An Active Star Topology for Improving Fault Confinement in CAN Networks

Manuel Barranco, Julián Proenza, Guillermo Rodríguez-Navas et al. · IEEE Transactions on Industrial Informatics · 2006 · 70 citations

Engineering, Active Star Topology, Network Analysis +21

A decomposition approach for SMT-based schedule synthesis for time-triggered networks

Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas et al. · 2015 · 60 citations

Engineering, Network Planning, Computer Architecture +19

Timing Analysis of Real-Time Communication Under Electromagnetic Interference

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas · Real-Time Systems · 2005 · 44 citations

Engineering, Timing Analysis, Systems Engineering +4

SMT-based synthesis of TTEthernet schedules: A performance study

Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson et al. · 2015 · 43 citations

Industrial Design, Smt Solver Parameters, Engineering +15