| 2024 | ISoLA | SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. | Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodrguez-Navas, Oscar Ljungkrantz, Henrik Lnn |
| 2021 | DSN | Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. | Francisco Pozo, Guillermo Rodrguez-Navas, Hans Hansson |
| 2021 | ETFA | Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge. | Zeinab Bakhshi, Guillermo Rodrguez-Navas, Hans Hansson |
| 2019 | ETFA | A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules. | Francisco Pozo, Guillermo Rodrguez-Navas |
| 2019 | SAC | Bounded invariance checking of simulink models. | Predrag Filipovikj, Guillermo Rodrguez-Navas, Cristina Seceleanu |
| 2018 | APSEC | Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. | Nesredin Mahmud, Guillermo Rodrguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu |
| 2018 | ENASE | Towards Classification of Lightweight Formal Methods. | Anna Zamansky, Maria Spichkova, Guillermo Rodrguez-Navas, Peter Herrmann, Jan Olaf Blech |
| 2018 | RTAS | Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. | Francisco Pozo, Guillermo Rodrguez-Navas, Hans Hansson |
| 2018 | RTCSA | Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. | Francisco Pozo, Guillermo Rodrguez-Navas, Hans Hansson |
| 2017 | SAC | SMT-based consistency analysis of industrial systems requirements. | Predrag Filipovikj, Guillermo Rodrguez-Navas, Mattias Nyberg, Cristina Seceleanu |
| 2017 | TACAS | Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. | Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodrguez-Navas |
| 2016 | COMPSAC | Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. | Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu |
| 2016 | EMSOFT | Synthesizing time-triggered schedules for switched networks with faulty links. | Guy Avni, Shibashis Guha, Guillermo Rodrguez-Navas |
| 2016 | ENASE | Formal Methods in Collaborative Projects. | Anna Zamansky, Guillermo Rodrguez-Navas, Mark Adams, Maria Spichkova |
| 2016 | ETFA | Next generation real-time networks based on IT technologies. | Wilfried Steiner, Pablo Gutirrez Peon, Marina Gutirrez, Ayhan Mehmed, Guillermo Rodrguez-Navas, Elena Lisova, Francisco Pozo |
| 2016 | RTCSA | Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. | Francisco Pozo, Guillermo Rodrguez-Navas, Wilfried Steiner, Hans A. Hansson |
| 2015 | ETFA | A decomposition approach for SMT-based schedule synthesis for time-triggered networks. | Francisco Pozo, Wilfried Steiner, Guillermo Rodrguez-Navas, Hans Hansson |
| 2015 | HPCC | Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing. | Guillermo Rodrguez-Navas, Avenir Kobetski, Daniel Sundmark, Thomas Gustafsson |
| 2015 | RE | Safety vs. Sustainability Design: Analogies, Differences and Potential Synergies. | Guillermo Rodrguez-Navas, Leticia Duboc, Stefanie Betz, Ruzanna Chitchyan, Birgit Penzenstadler, Colin C. Venters |
| 2014 | DAC | Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. | Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | ETFA | Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet. | Alberto Ballesteros, Julin Proenza, David Gessner, Guillermo Rodrguez-Navas, Thilo Sauter |
| 2014 | RE | Reassessing the pattern-based approach for formalizing requirements in the automotive domain. | Predrag Filipovikj, Mattias Nyberg, Guillermo Rodrguez-Navas |
| 2013 | ETFA | Implementing a clock synchronization protocol on a multi-master Switched Ethernet network. | Mohammad Ashjaei, Moris Behnam, Guillermo Rodrguez-Navas, Thomas Nolte |
| 2013 | ETFA | A proposal for flexible, real-time and consistent multicast in FTT/HaRTES Switched Ethernet. | Guillermo Rodrguez-Navas, Julin Proenza |
| 2012 | COMPSAC | Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN. | Guillermo Rodrguez-Navas, Miquel A. Ribot, Bartomeu Alorda |
| 2012 | ETFA | The design of the CANbids architecture. | Julin Proenza, Manuel Barranco, Guillermo Rodrguez-Navas, David Gessner, Fernando Guardiola, Lus Almeida |
| 2011 | ETFA | Towards the integration of flexible-time-triggered communication and replicated star topologies in CAN. | Manuel Barranco, Guillermo Rodrguez-Navas, David Gessner, Julin Proenza |
| 2011 | ETFA | Injection of aggregated error flags as a means to guarantee consistent error detection in CAN. | Guillermo Rodrguez-Navas, Christian Winter, Julin Proenza |
| 2008 | SRDS | Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. | Guillermo Rodrguez-Navas, Julin Proenza |
| 2007 | ICFEM | Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. | Guillermo Rodrguez-Navas, Julin Proenza, Hans Hansson |
| 2005 | ETFA | Towards analyzing the fault-tolerant operation of server-CAN. | Thomas Nolte, Guillermo Rodrguez-Navas, Julin Proenza, Sasikumar Punnekkat, Hans Hansson |
| 2004 | ECRTS | Comparing Real-Time Communication Under Electromagnetic Interference. | Ian Broster, Alan Burns, Guillermo Rodrguez-Navas |
| 2003 | ETFA | COTS-based hardware support to timeliness in CAN networks. | Guillermo Rodrguez-Navas, Manuel Barranco, Julin Proenza, Ian Broster |
| 2003 | ETFA | An architecture for physical injection of complex fault scenarios in CAN networks. | Guillermo Rodrguez-Navas, Jess Jimnez, Julin Proenza |
| 2002 | RTSS | Probabilistic Analysis of CAN with Faults. | Ian Broster, Alan Burns, Guillermo Rodrguez-Navas |