Guillermo Rodríguez-Navas

According to our database, Guillermo Rodríguez-Navas authored at least 50 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., June, 2024

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023

Analyzing the performance of persistent storage for fault-tolerant stateful fog applications.

Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson

J. Syst. Archit., November, 2023

2021

Fault-tolerant Permanent Storage for Container-based Fog Architectures.

Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 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

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks.

Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2019

A preliminary roadmap for dependability research in fog computing.

Zeinab Bakhshi, Guillermo Rodríguez-Navas

SIGBED Rev., 2019

Bounded invariance checking of simulink models.

Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Dependable Fog Computing: A Systematic Literature Review.

Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules.

Francisco Pozo, Guillermo Rodríguez-Navas

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures.

Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules.

Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Towards Classification of Lightweight Formal Methods.

Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications.

Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

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

Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults.

Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

SMT-based consistency analysis of industrial systems requirements.

Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu

Proceedings of the Symposium on Applied Computing, 2017

2016

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks.

Francisco Pozo, Guillermo Rodríguez-Navas, Wilfried Steiner, Hans A. Hansson

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 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

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Formal Methods in Collaborative Projects.

Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova

Proceedings of the ENASE 2016, 2016

Synthesizing time-triggered schedules for switched networks with faulty links.

Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas

Proceedings of the 2016 International Conference on Embedded Software, 2016

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.

Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

SMT-based synthesis of TTEthernet schedules: A performance study.

Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson, Wilfried Steiner

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 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

Proceedings of the Fourth International Workshop on Requirements Engineering for Sustainable Systems, 2015

Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing.

Guillermo Rodríguez-Navas, Avenir Kobetski, Daniel Sundmark, Thomas Gustafsson

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

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

Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas, Hans Hansson

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

The Karlskrona manifesto for sustainability design.

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

CoRR, 2014

Reassessing the pattern-based approach for formalizing requirements in the automotive domain.

Predrag Filipovikj, Mattias Nyberg, Guillermo Rodríguez-Navas

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

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

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

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

A proposal for flexible, real-time and consistent multicast in FTT/HaRTES Switched Ethernet.

Guillermo Rodríguez-Navas, Julián Proenza

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Implementing a clock synchronization protocol on a multi-master Switched Ethernet network.

Mohammad Ashjaei, Moris Behnam, Guillermo Rodríguez-Navas, Thomas Nolte

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?

Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate

Proceedings of the Hardware and Software: Verification and Testing, 2012

The design of the CANbids architecture.

Julián Proenza, Manuel Barranco, Guillermo Rodríguez-Navas, David Gessner, Fernando Guardiola, Luís Almeida

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN.

Guillermo Rodríguez-Navas, Miquel A. Ribot, Bartomeu Alorda

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

Injection of aggregated error flags as a means to guarantee consistent error detection in CAN.

Guillermo Rodríguez-Navas, Christian Winter, Julián Proenza

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

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

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

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

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

Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

2007

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.

Guillermo Rodríguez-Navas, Julián Proenza, Hans Hansson

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Combining operational flexibility and dependability in FTT-CAN.

Joaquim Ferreira, Luís Almeida, José Alberto Fonseca, Paulo Pedreiras, Ernesto Martins, Guillermo Rodríguez-Navas, Joan Rigo, Julián Proenza

IEEE Trans. Ind. Informatics, 2006

An active star topology for improving fault confinement in CAN networks.

Manuel Barranco, Julián Proenza, Guillermo Rodríguez-Navas, Luís Almeida

IEEE Trans. Ind. Informatics, 2006

2005

Timing Analysis of Real-Time Communication Under Electromagnetic Interference.

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas

Real Time Syst., 2005

Towards analyzing the fault-tolerant operation of server-CAN.

Thomas Nolte, Guillermo Rodríguez-Navas, Julián Proenza, Sasikumar Punnekkat, Hans Hansson

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2004

Comparing Real-Time Communication Under Electromagnetic Interference.

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003

An architecture for physical injection of complex fault scenarios in CAN networks.

Guillermo Rodríguez-Navas, Jesús Jiménez, Julián Proenza

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

COTS-based hardware support to timeliness in CAN networks.

Guillermo Rodríguez-Navas, Manuel Barranco, Julián Proenza, Ian Broster

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

Probabilistic Analysis of CAN with Faults.

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Hardware support for fault tolerance in triple redundant CAN controllers.

Carlos Guerrero, Guillermo Rodríguez-Navas, Julián Proenza

Proceedings of the 2002 9th IEEE International Conference on Electronics, 2002