Guillermo Rodríguez-Navas

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 27

Top Topics

Spanning Tree Protocol

Switched Networks

Top Venues

Publications

Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson, Radu Prodan
Evaluation of Storage Placement in Computing Continuum for a Robotic Application. J. Grid Comput. 22 (2) (2024)
Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
Analyzing the performance of persistent storage for fault-tolerant stateful fog applications. J. Syst. Archit. 144 (2023)
Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
Fault-tolerant Permanent Storage for Container-based Fog Architectures. ICIT (2021)
Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge. ETFA (2021)
Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson
Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. DSN (2021)
Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu
Bounded invariance checking of simulink models. SAC (2019)
Francisco Pozo, Guillermo Rodríguez-Navas
A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules. ETFA (2019)
Zeinab Bakhshi, Guillermo Rodríguez-Navas
A preliminary roadmap for dependability research in fog computing. SIGBED Rev. 16 (4) (2019)
Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson
Dependable Fog Computing: A Systematic Literature Review. SEAA (2019)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. CoRR (2018)
Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu
Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. APSEC (2018)
Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson
Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. RTCSA (2018)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. ENASE (2018)
Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson
Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. RTAS (2018)
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. TACAS (2) (2017)
Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu
SMT-based consistency analysis of industrial systems requirements. SAC (2017)
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. CoRR (2017)
Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 75 (2017)
Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. COMPSAC Workshops (2016)
Wilfried Steiner, Pablo Gutiérrez Peon, Marina Gutiérrez, Ayhan Mehmed, Guillermo Rodríguez-Navas, Elena Lisova, Francisco Pozo
Next generation real-time networks based on IT technologies. ETFA (2016)
Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas
Synthesizing time-triggered schedules for switched networks with faulty links. EMSOFT (2016)
Francisco Pozo, Guillermo Rodríguez-Navas, Wilfried Steiner, Hans A. Hansson
Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. RTCSA (2016)
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova
Formal Methods in Collaborative Projects. ENASE (2016)
Guillermo Rodríguez-Navas, Avenir Kobetski, Daniel Sundmark, Thomas Gustafsson
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing. HPCC/CSS/ICESS (2015)
Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas, Hans Hansson
A decomposition approach for SMT-based schedule synthesis for time-triggered networks. ETFA (2015)
Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson, Wilfried Steiner
SMT-based synthesis of TTEthernet schedules: A performance study. SIES (2015)
Guillermo Rodríguez-Navas, Leticia Duboc, Stefanie Betz, Ruzanna Chitchyan, Birgit Penzenstadler, Colin C. Venters
Safety vs. Sustainability Design: Analogies, Differences and Potential Synergies. RE4SuSy@RE (2015)
Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC (2014)
Predrag Filipovikj, Mattias Nyberg, Guillermo Rodríguez-Navas
Reassessing the pattern-based approach for formalizing requirements in the automotive domain. RE (2014)
Christoph Becker, Ruzanna Chitchyan, Leticia Duboc, Steve Easterbrook, Martin Mahaux, Birgit Penzenstadler, Guillermo Rodríguez-Navas, Camille Salinesi, Norbert Seyff, Colin C. Venters, Coral Calero, Sedef Akinli Koçak, Stefanie Betz
The Karlskrona manifesto for sustainability design. CoRR (2014)
Alberto Ballesteros, Julián Proenza, David Gessner, Guillermo Rodríguez-Navas, Thilo Sauter
Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet. ETFA (2014)
Mohammad Ashjaei, Moris Behnam, Guillermo Rodríguez-Navas, Thomas Nolte
Implementing a clock synchronization protocol on a multi-master Switched Ethernet network. ETFA (2013)
Guillermo Rodríguez-Navas, Julián Proenza
Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. IEEE Trans. Software Eng. 39 (6) (2013)
Guillermo Rodríguez-Navas, Julián Proenza
A proposal for flexible, real-time and consistent multicast in FTT/HaRTES Switched Ethernet. ETFA (2013)
Guillermo Rodríguez-Navas, Miquel A. Ribot, Bartomeu Alorda
Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN. COMPSAC Workshops (2012)
Julián Proenza, Manuel Barranco, Guillermo Rodríguez-Navas, David Gessner, Fernando Guardiola, Luís Almeida
The design of the CANbids architecture. ETFA (2012)
Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? Haifa Verification Conference (2012)
Manuel Barranco, Guillermo Rodríguez-Navas, David Gessner, Julián Proenza
Towards the integration of flexible-time-triggered communication and replicated star topologies in CAN. ETFA (2011)
Guillermo Rodríguez-Navas, Christian Winter, Julián Proenza
Injection of aggregated error flags as a means to guarantee consistent error detection in CAN. ETFA (2011)
Guillermo Rodríguez-Navas, Julián Proenza
Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. SRDS (2008)
Guillermo Rodríguez-Navas, Sebastià Roca, Julián Proenza
Orthogonal, Fault-Tolerant, and High-Precision Clock Synchronization for the Controller Area Network. IEEE Trans. Ind. Informatics 4 (2) (2008)
Guillermo Rodríguez-Navas, Julián Proenza, Hans Hansson
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. ICFEM (2007)
Joaquim Ferreira, Luís Almeida, José Alberto Fonseca, Paulo Pedreiras, Ernesto Martins, Guillermo Rodríguez-Navas, Joan Rigo, Julián Proenza
Combining operational flexibility and dependability in FTT-CAN. IEEE Trans. Ind. Informatics 2 (2) (2006)
Manuel Barranco, Julián Proenza, Guillermo Rodríguez-Navas, Luís Almeida
An active star topology for improving fault confinement in CAN networks. IEEE Trans. Ind. Informatics 2 (2) (2006)
Ian Broster, Alan Burns, Guillermo Rodríguez-Navas
Timing Analysis of Real-Time Communication Under Electromagnetic Interference. Real Time Syst. 30 (1-2) (2005)
Thomas Nolte, Guillermo Rodríguez-Navas, Julián Proenza, Sasikumar Punnekkat, Hans Hansson
Towards analyzing the fault-tolerant operation of server-CAN. ETFA (2005)
Ian Broster, Alan Burns, Guillermo Rodríguez-Navas
Comparing Real-Time Communication Under Electromagnetic Interference. ECRTS (2004)
Guillermo Rodríguez-Navas, Jesús Jiménez, Julián Proenza
An architecture for physical injection of complex fault scenarios in CAN networks. ETFA (2) (2003)
Guillermo Rodríguez-Navas, Manuel Barranco, Julián Proenza, Ian Broster
COTS-based hardware support to timeliness in CAN networks. ETFA (1) (2003)
Carlos Guerrero, Guillermo Rodríguez-Navas, Julián Proenza
Hardware support for fault tolerance in triple redundant CAN controllers. ICECS (2002)
Ian Broster, Alan Burns, Guillermo Rodríguez-Navas
Probabilistic Analysis of CAN with Faults. RTSS (2002)