![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Guillermo Rodríguez-Navas
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
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) - 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
, Jan Olaf Blech:
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
, Cristina Cerschi Seceleanu
:
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
, Elena Lisova, Francisco Pozo:
Next generation real-time networks based on IT technologies. ETFA 2016: 1-8 - [c23]Francisco Pozo, Guillermo Rodríguez-Navas
, Wilfried Steiner, Hans A. Hansson:
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
, Hans Hansson:
A decomposition approach for SMT-based schedule synthesis for time-triggered networks. ETFA 2015: 1-8 - [c21]Guillermo Rodríguez-Navas
, Avenir Kobetski, Daniel Sundmark, Thomas Gustafsson:
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
, Hans Hansson, Wilfried Steiner:
SMT-based synthesis of TTEthernet schedules: A performance study. SIES 2015: 162-165 - 2014
- [c18]Guillermo Rodríguez-Navas
, Cristina Cerschi Seceleanu
, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn:
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC 2014: 95:1-95:4 - [c17]Alberto Ballesteros
, Julián Proenza
, David Gessner, Guillermo Rodríguez-Navas
, Thilo Sauter
:
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
, Julián Proenza
:
Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. IEEE Trans. Software Eng. 39(6): 857-868 (2013) - [c15]Mohammad Ashjaei
, Moris Behnam, Guillermo Rodríguez-Navas
, Thomas Nolte:
Implementing a clock synchronization protocol on a multi-master Switched Ethernet network. ETFA 2013: 1-10 - [c14]Guillermo Rodríguez-Navas
, Julián Proenza
:
A proposal for flexible, real-time and consistent multicast in FTT/HaRTES Switched Ethernet. ETFA 2013: 1-4 - 2012
- [c13]Guillermo Rodríguez-Navas
, Miquel A. Ribot, Bartomeu Alorda
:
Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN. COMPSAC Workshops 2012: 520-525 - [c12]Julián Proenza
, Manuel Barranco
, Guillermo Rodríguez-Navas
, David Gessner, Fernando Guardiola, Luís Almeida
:
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
, Guillermo Rodríguez-Navas
, David Gessner, Julián Proenza
:
Towards the integration of flexible-time-triggered communication and replicated star topologies in CAN. ETFA 2011: 1-4 - [c9]Guillermo Rodríguez-Navas
, Christian Winter, Julián Proenza
:
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
, Sebastià Roca, Julián Proenza
:
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
, Julián Proenza
:
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
, Julián Proenza, Hans Hansson:
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. ICFEM 2007: 307-326 - 2006
- [j3]Manuel Barranco
, Julián Proenza
, Guillermo Rodríguez-Navas
, Luís Almeida
:
An active star topology for improving fault confinement in CAN networks. IEEE Trans. Ind. Informatics 2(2): 78-85 (2006) - [j2]Joaquim Ferreira
, Luís Almeida
, José Alberto Fonseca, Paulo Pedreiras
, Ernesto Martins
, Guillermo Rodríguez-Navas
, Joan Rigo, Julián Proenza
:
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
, Jesús Jiménez, Julián Proenza
:
An architecture for physical injection of complex fault scenarios in CAN networks. ETFA (2) 2003: 125-128 - [c3]Guillermo Rodríguez-Navas
, Manuel Barranco
, Julián Proenza
, Ian Broster:
COTS-based hardware support to timeliness in CAN networks. ETFA (1) 2003: 177-184 - 2002
- [c2]Carlos Guerrero
, Guillermo Rodríguez-Navas
, Julián Proenza
:
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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-06-18 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint