default search action
Guillermo Rodríguez-Navas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]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): 55 (2024) - [c40]Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn:
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. ISoLA (3) 2024: 220-246 - 2023
- [j8]Zeinab Bakhshi
, Guillermo Rodríguez-Navas, Hans Hansson:
Analyzing the performance of persistent storage for fault-tolerant stateful fog applications. J. Syst. Archit. 144: 103004 (2023) - 2021
- [c39]Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson:
Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks. DSN 2021: 129-140 - [c38]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: 1-6 - [c37]Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson:
Fault-tolerant Permanent Storage for Container-based Fog Architectures. ICIT 2021: 722-729
2010 – 2019
- 2019
- [j7]Zeinab Bakhshi, Guillermo Rodríguez-Navas
A preliminary roadmap for dependability research in fog computing. SIGBED Rev. 16(4): 14-19 (2019) - [c36]Francisco Pozo, Guillermo Rodríguez-Navas
A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules. ETFA 2019: 1399-1402 - [c35]Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson:
Dependable Fog Computing: A Systematic Literature Review. SEAA 2019: 395-403 - [c34]Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu
Bounded invariance checking of simulink models. SAC 2019: 2168-2177 - 2018
- [c33]Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu
Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. APSEC 2018: 199-208 - [c32]Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann
Towards Classification of Lightweight Formal Methods. ENASE 2018: 305-313 - [c31]Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson:
Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. RTAS 2018: 89-92 - [c30]Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson:
Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. RTCSA 2018: 147-156 - [i3]Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. CoRR abs/1807.01923 (2018) - 2017
- [j6]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) - [c29]Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu
SMT-based consistency analysis of industrial systems requirements. SAC 2017: 1272-1279 - [c28]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: 169-187 - [i2]Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas:
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. CoRR abs/1701.03519 (2017) - 2016
- [c27]Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. COMPSAC Workshops 2016: 167-173 - [c26]Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas
Synthesizing time-triggered schedules for switched networks with faulty links. EMSOFT 2016: 26:1-26:10 - [c25]Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova:
Formal Methods in Collaborative Projects. ENASE 2016: 396-402 - [c24]Wilfried Steiner, Pablo Gutiérrez Peon, Marina Gutiérrez, Ayhan Mehmed, Guillermo Rodríguez-Navas
Next generation real-time networks based on IT technologies. ETFA 2016: 1-8 - [c23]Francisco Pozo, Guillermo Rodríguez-Navas
Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. RTCSA 2016: 170-175 - 2015
- [c22]Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas
A decomposition approach for SMT-based schedule synthesis for time-triggered networks. ETFA 2015: 1-8 - [c21]Guillermo Rodríguez-Navas
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing. HPCC/CSS/ICESS 2015: 1066-1073 - [c20]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: 25-34 - [c19]Francisco Pozo, Guillermo Rodríguez-Navas
SMT-based synthesis of TTEthernet schedules: A performance study. SIES 2015: 162-165 - 2014
- [c18]Guillermo Rodríguez-Navas
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC 2014: 95:1-95:4 - [c17]Alberto Ballesteros
Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet. ETFA 2014: 1-4 - [c16]Predrag Filipovikj, Mattias Nyberg, Guillermo Rodríguez-Navas
Reassessing the pattern-based approach for formalizing requirements in the automotive domain. RE 2014: 444-450 - [i1]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 abs/1410.6968 (2014) - 2013
- [j5]Guillermo Rodríguez-Navas
Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. IEEE Trans. Software Eng. 39(6): 857-868 (2013) - [c15]Mohammad Ashjaei
Implementing a clock synchronization protocol on a multi-master Switched Ethernet network. ETFA 2013: 1-10 - [c14]Guillermo Rodríguez-Navas
A proposal for flexible, real-time and consistent multicast in FTT/HaRTES Switched Ethernet. ETFA 2013: 1-4 - 2012
- [c13]Guillermo Rodríguez-Navas
Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN. COMPSAC Workshops 2012: 520-525 - [c12]Julián Proenza
The design of the CANbids architecture. ETFA 2012: 1-8 - [c11]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: 276-277 - 2011
- [c10]Manuel Barranco
Towards the integration of flexible-time-triggered communication and replicated star topologies in CAN. ETFA 2011: 1-4 - [c9]Guillermo Rodríguez-Navas
Injection of aggregated error flags as a means to guarantee consistent error detection in CAN. ETFA 2011: 1-4
2000 – 2009
- 2008
- [j4]Guillermo Rodríguez-Navas
Orthogonal, Fault-Tolerant, and High-Precision Clock Synchronization for the Controller Area Network. IEEE Trans. Ind. Informatics 4(2): 92-101 (2008) - [c8]Guillermo Rodríguez-Navas
Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. SRDS 2008: 33-42 - 2007
- [c7]Guillermo Rodríguez-Navas
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. ICFEM 2007: 307-326 - 2006
- [j3]Manuel Barranco
An active star topology for improving fault confinement in CAN networks. IEEE Trans. Ind. Informatics 2(2): 78-85 (2006) - [j2]Joaquim Ferreira
Combining operational flexibility and dependability in FTT-CAN. IEEE Trans. Ind. Informatics 2(2): 95-102 (2006) - 2005
- [j1]Ian Broster, Alan Burns, Guillermo Rodríguez-Navas
Timing Analysis of Real-Time Communication Under Electromagnetic Interference. Real Time Syst. 30(1-2): 55-81 (2005) - [c6]Thomas Nolte, Guillermo Rodríguez-Navas, Julián Proenza, Sasikumar Punnekkat, Hans Hansson:
Towards analyzing the fault-tolerant operation of server-CAN. ETFA 2005 - 2004
- [c5]Ian Broster, Alan Burns, Guillermo Rodríguez-Navas:
Comparing Real-Time Communication Under Electromagnetic Interference. ECRTS 2004: 45-52 - 2003
- [c4]Guillermo Rodríguez-Navas
An architecture for physical injection of complex fault scenarios in CAN networks. ETFA (2) 2003: 125-128 - [c3]Guillermo Rodríguez-Navas
COTS-based hardware support to timeliness in CAN networks. ETFA (1) 2003: 177-184 - 2002
- [c2]Carlos Guerrero
Hardware support for fault tolerance in triple redundant CAN controllers. ICECS 2002: 457-460 - [c1]Ian Broster, Alan Burns, Guillermo Rodríguez-Navas:
Probabilistic Analysis of CAN with Faults. RTSS 2002: 269-278
Coauthor Index
aka: Hans Hansson
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: