Guillermo Rodríguez-Navas

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