Hardware support for fault tolerance in triple redundant CAN controllers. - Carlos Guerrero; Guillermo Rodríguez-Navas; Julián Proenza (ICECS, 2002)

Probabilistic Analysis of CAN with Faults. - Ian Broster; Alan Burns 001; Guillermo Rodríguez-Navas (RTSS, 2002)

COTS-based hardware support to timeliness in CAN networks. - Guillermo Rodríguez-Navas; Manuel Barranco; Julián Proenza; Ian Broster (ETFA (1), 2003)

An architecture for physical injection of complex fault scenarios in CAN networks. - Guillermo Rodríguez-Navas; Jesús Jiménez; Julián Proenza (ETFA (2), 2003)

Comparing Real-Time Communication Under Electromagnetic Interference. - Ian Broster; Alan Burns 001; Guillermo Rodríguez-Navas (ECRTS, 2004)

Towards analyzing the fault-tolerant operation of server-CAN. - Thomas Nolte; Guillermo Rodríguez-Navas; Julián Proenza; Sasikumar Punnekkat; Hans Hansson (ETFA, 2005)

Timing Analysis of Real-Time Communication Under Electromagnetic Interference. - Ian Broster; Alan Burns 001; Guillermo Rodríguez-Navas (Real Time Syst., 2005)

An active star topology for improving fault confinement in CAN networks. - Manuel Barranco; Julián Proenza; Guillermo Rodríguez-Navas; Luís Almeida 001 (IEEE Trans. Ind. Informatics, 2006)

Combining operational flexibility and dependability in FTT-CAN. - Joaquim Ferreira 001; Luís Almeida 001; José Alberto Fonseca; Paulo Pedreiras; Ernesto Martins; Guillermo Rodríguez-Navas; Joan Rigo; Julián Proenza (IEEE Trans. Ind. Informatics, 2006)

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. - Guillermo Rodríguez-Navas; Julián Proenza; Hans Hansson (ICFEM, 2007)

Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. - Guillermo Rodríguez-Navas; Julián Proenza (SRDS, 2008)

Orthogonal, Fault-Tolerant, and High-Precision Clock Synchronization for the Controller Area Network. - Guillermo Rodríguez-Navas; Sebastià Roca; Julián Proenza (IEEE Trans. Ind. Informatics, 2008)

Towards the integration of flexible-time-triggered communication and replicated star topologies in CAN. - Manuel Barranco; Guillermo Rodríguez-Navas; David Gessner; Julián Proenza (ETFA, 2011)

Injection of aggregated error flags as a means to guarantee consistent error detection in CAN. - Guillermo Rodríguez-Navas; Christian Winter 004; Julián Proenza (ETFA, 2011)

Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN. - Guillermo Rodríguez-Navas; Miquel A. Ribot; Bartomeu Alorda (COMPSAC Workshops, 2012)

The design of the CANbids architecture. - Julián Proenza; Manuel Barranco; Guillermo Rodríguez-Navas; David Gessner; Fernando Guardiola; Luís Almeida 001 (ETFA, 2012)

From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? - Guillermo Rodríguez-Navas; Patrick J. Graydon; Iain Bate (Haifa Verification Conference, 2012)

Implementing a clock synchronization protocol on a multi-master Switched Ethernet network. - Mohammad Ashjaei; Moris Behnam; Guillermo Rodríguez-Navas; Thomas Nolte (ETFA, 2013)

A proposal for flexible, real-time and consistent multicast in FTT/HaRTES Switched Ethernet. - Guillermo Rodríguez-Navas; Julián Proenza (ETFA, 2013)

Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. - Guillermo Rodríguez-Navas; Julián Proenza (IEEE Trans. Software Eng., 2013)

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. - Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu; Hans Hansson; Mattias Nyberg; Oscar Ljungkrantz; Henrik Lönn (DAC, 2014)

Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet. - Alberto Ballesteros; Julián Proenza; David Gessner; Guillermo Rodríguez-Navas; Thilo Sauter (ETFA, 2014)

Reassessing the pattern-based approach for formalizing requirements in the automotive domain. - Predrag Filipovikj; Mattias Nyberg; Guillermo Rodríguez-Navas (RE, 2014)

The Karlskrona manifesto for sustainability design. - Christoph Becker 001; 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; et al. (CoRR, 2014)

A decomposition approach for SMT-based schedule synthesis for time-triggered networks. - Francisco Pozo; Wilfried Steiner; Guillermo Rodríguez-Navas; Hans Hansson (ETFA, 2015)

Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing. - Guillermo Rodríguez-Navas; Avenir Kobetski; Daniel Sundmark; Thomas Gustafsson (HPCC/CSS/ICESS, 2015)

Safety vs. Sustainability Design: Analogies, Differences and Potential Synergies. - Guillermo Rodríguez-Navas; Leticia Duboc; Stefanie Betz; Ruzanna Chitchyan; Birgit Penzenstadler; Colin C. Venters (RE4SuSy@RE, 2015)

SMT-based synthesis of TTEthernet schedules: A performance study. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson; Wilfried Steiner (SIES, 2015)

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. - Predrag Filipovikj; Trevor Jagerfield; Mattias Nyberg; Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu (COMPSAC Workshops, 2016)

Synthesizing time-triggered schedules for switched networks with faulty links. - Guy Avni; Shibashis Guha; Guillermo Rodríguez-Navas (EMSOFT, 2016)

Formal Methods in Collaborative Projects. - Anna Zamansky; Guillermo Rodríguez-Navas; Mark Adams; Maria Spichkova (ENASE, 2016)

Next generation real-time networks based on IT technologies. - Wilfried Steiner; Pablo Gutiérrez Peon; Marina Gutiérrez; Ayhan Mehmed; Guillermo Rodríguez-Navas; Elena Lisova; Francisco Pozo (ETFA, 2016)

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. - Francisco Pozo; Guillermo Rodríguez-Navas; Wilfried Steiner; Hans A. Hansson (RTCSA, 2016)

SMT-based consistency analysis of industrial systems requirements. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Mattias Nyberg; Cristina Seceleanu (SAC, 2017)

Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. - Guy Avni; Shubham Goel 001; Thomas A. Henzinger; Guillermo Rodríguez-Navas (TACAS (2), 2017)

Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Cristina Seceleanu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017)

Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. - Nesredin Mahmud; Guillermo Rodríguez-Navas; Hamid Faragardix; Saad Mubeen; Cristina Seceleanu (APSEC, 2018)

Towards Classification of Lightweight Formal Methods. - Anna Zamansky; Maria Spichkova; Guillermo Rodríguez-Navas; Peter Herrmann; Jan Olaf Blech (ENASE, 2018)

Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson (RTAS, 2018)

Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson (RTCSA, 2018)

A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules. - Francisco Pozo; Guillermo Rodríguez-Navas (ETFA, 2019)

Dependable Fog Computing: A Systematic Literature Review. - Zeinab Bakhshi; Guillermo Rodríguez-Navas; Hans Hansson (SEAA, 2019)

Bounded invariance checking of simulink models. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Cristina Seceleanu (SAC, 2019)

A preliminary roadmap for dependability research in fog computing. - Zeinab Bakhshi; Guillermo Rodríguez-Navas (SIGBED Rev., 2019)

Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson (DSN, 2021)

Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge. - Zeinab Bakhshi; Guillermo Rodríguez-Navas; Hans Hansson (ETFA, 2021)

Fault-tolerant Permanent Storage for Container-based Fog Architectures. - Zeinab Bakhshi; Guillermo Rodríguez-Navas; Hans Hansson (ICIT, 2021)

Analyzing the performance of persistent storage for fault-tolerant stateful fog applications. - Zeinab Bakhshi; Guillermo Rodríguez-Navas; Hans Hansson (J. Syst. Archit., 2023)

SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. - Predrag Filipovikj; Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodríguez-Navas; Oscar Ljungkrantz; Henrik Lönn (ISoLA (3), 2024)

Argument for Convergence: Sustainability Diaspora to Corrective Transdiscipline. - Susan P. Krumdieck; Stephen Doughty; Guillermo Rodríguez-Navas; Alan Whiteside; Ian Roderick (TE, 2024)

Evaluation of Storage Placement in Computing Continuum for a Robotic Application. - Zeinab Bakhshi; Guillermo Rodríguez-Navas; Hans Hansson; Radu Prodan (J. Grid Comput., 2024)