default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Guillermo Rodríguez-Navas
@article{DBLP:journals/grid/BakhshiRHP24,
author = {Zeinab Bakhshi and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson and
Radu Prodan},
title = {Evaluation of Storage Placement in Computing Continuum for a Robotic
Application},
journal = {J. Grid Comput.},
volume = {22},
number = {2},
pages = {55},
year = {2024},
url = {https://doi.org/10.1007/s10723-024-09758-2},
doi = {10.1007/S10723-024-09758-2},
timestamp = {Mon, 17 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/BakhshiRHP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FilipovikjMSRLL24,
author = {Predrag Filipovikj and
Nesredin Mahmud and
Cristina Seceleanu and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Oscar Ljungkrantz and
Henrik L{\"{o}}nn},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{SIMPPAAL:} {A} Framework for Statistical Model Checking of Industrial
Simulink Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specification and Verification - 12th International Symposium, ISoLA
2024, Crete, Greece, October 27-31, 2024, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {15221},
pages = {220--246},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75380-0\_13},
doi = {10.1007/978-3-031-75380-0\_13},
timestamp = {Fri, 08 Nov 2024 20:51:09 +0100},
biburl = {https://dblp.org/rec/conf/isola/FilipovikjMSRLL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/KrumdieckDRWR24,
author = {Susan P. Krumdieck and
Stephen Doughty and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Alan Whiteside and
Ian Roderick},
editor = {Adam Cooper and
Federico Trigos and
Josip Stjepandic and
Richard Curran and
Irina Lazar},
title = {Argument for Convergence: Sustainability Diaspora to Corrective Transdiscipline},
booktitle = {Engineering For Social Change - Proceedings of the 31st {ISTE} International
Conference on Transdisciplinary Engineering, {TE} 2024, London, United
Kingdom, July 9-11, 2024},
series = {Advances in Transdisciplinary Engineering},
volume = {60},
pages = {1029--1038},
publisher = {{IOS} Press},
year = {2024},
url = {https://doi.org/10.3233/ATDE240960},
doi = {10.3233/ATDE240960},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispe/KrumdieckDRWR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BakhshiRH23,
author = {Zeinab Bakhshi and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
title = {Analyzing the performance of persistent storage for fault-tolerant
stateful fog applications},
journal = {J. Syst. Archit.},
volume = {144},
pages = {103004},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.103004},
doi = {10.1016/J.SYSARC.2023.103004},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/BakhshiRH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/PozoRH21,
author = {Francisco Pozo and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
title = {Self-Healing Protocol: Repairing Schedules Online after Link Failures
in Time-Triggered Networks},
booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2021, Taipei, Taiwan, June 21-24, 2021},
pages = {129--140},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSN48987.2021.00028},
doi = {10.1109/DSN48987.2021.00028},
timestamp = {Mon, 09 Aug 2021 14:50:25 +0200},
biburl = {https://dblp.org/rec/conf/dsn/PozoRH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BakhshiRH21,
author = {Zeinab Bakhshi and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
title = {Using {UPPAAL} to Verify Recovery in a Fault-tolerant Mechanism Providing
Persistent State at the Edge},
booktitle = {26th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ETFA45728.2021.9613178},
doi = {10.1109/ETFA45728.2021.9613178},
timestamp = {Tue, 07 Dec 2021 09:17:59 +0100},
biburl = {https://dblp.org/rec/conf/etfa/BakhshiRH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/BakhshiRH21,
author = {Zeinab Bakhshi and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
title = {Fault-tolerant Permanent Storage for Container-based Fog Architectures},
booktitle = {22nd {IEEE} International Conference on Industrial Technology, {ICIT}
2021, Valencia, Spain, March 10-12, 2021},
pages = {722--729},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICIT46573.2021.9453473},
doi = {10.1109/ICIT46573.2021.9453473},
timestamp = {Tue, 22 Jun 2021 10:52:54 +0200},
biburl = {https://dblp.org/rec/conf/icit2/BakhshiRH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BakhshiR19,
author = {Zeinab Bakhshi and
Guillermo Rodr{\'{\i}}guez{-}Navas},
title = {A preliminary roadmap for dependability research in fog computing},
journal = {{SIGBED} Rev.},
volume = {16},
number = {4},
pages = {14--19},
year = {2019},
url = {https://doi.org/10.1145/3378408.3378410},
doi = {10.1145/3378408.3378410},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigbed/BakhshiR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PozoR19,
author = {Francisco Pozo and
Guillermo Rodr{\'{\i}}guez{-}Navas},
title = {A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered
Schedules},
booktitle = {24th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
2019},
pages = {1399--1402},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ETFA.2019.8868969},
doi = {10.1109/ETFA.2019.8868969},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/PozoR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/BakhshiRH19,
author = {Zeinab Bakhshi and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
editor = {Miroslaw Staron and
Rafael Capilla and
Amund Skavhaug},
title = {Dependable Fog Computing: {A} Systematic Literature Review},
booktitle = {45th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2019, Kallithea-Chalkidiki, Greece, August 28-30, 2019},
pages = {395--403},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SEAA.2019.00066},
doi = {10.1109/SEAA.2019.00066},
timestamp = {Mon, 25 Nov 2019 13:40:05 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/BakhshiRH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FilipovikjRS19,
author = {Predrag Filipovikj and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Seceleanu},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Bounded invariance checking of simulink models},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2168--2177},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297493},
doi = {10.1145/3297280.3297493},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/FilipovikjRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MahmudRFMS18,
author = {Nesredin Mahmud and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hamid Faragardix and
Saad Mubeen and
Cristina Seceleanu},
title = {Power-Aware Allocation of Fault-Tolerant Multirate {AUTOSAR} Applications},
booktitle = {25th Asia-Pacific Software Engineering Conference, {APSEC} 2018, Nara,
Japan, December 4-7, 2018},
pages = {199--208},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/APSEC.2018.00034},
doi = {10.1109/APSEC.2018.00034},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MahmudRFMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ZamanskySRHB18,
author = {Anna Zamansky and
Maria Spichkova and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Peter Herrmann and
Jan Olaf Blech},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Towards Classification of Lightweight Formal Methods},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {305--313},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006770803050313},
doi = {10.5220/0006770803050313},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ZamanskySRHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PozoRH18,
author = {Francisco Pozo and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
editor = {Rodolfo Pellizzoni},
title = {Work-in-Progress: {A} Hot-Patching Protocol for Repairing Time-Triggered
Network Schedules},
booktitle = {{IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2018, 11-13 April 2018, Porto, Portugal},
pages = {89--92},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RTAS.2018.00015},
doi = {10.1109/RTAS.2018.00015},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/PozoRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/PozoRH18,
author = {Francisco Pozo and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
title = {Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon
Link Failures},
booktitle = {24th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2018, Hakodate, Japan, August 28-31,
2018},
pages = {147--156},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RTCSA.2018.00026},
doi = {10.1109/RTCSA.2018.00026},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/PozoRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01923,
author = {Anna Zamansky and
Maria Spichkova and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Peter Herrmann and
Jan Olaf Blech},
title = {Towards Classification of Lightweight Formal Methods},
journal = {CoRR},
volume = {abs/1807.01923},
year = {2018},
url = {http://arxiv.org/abs/1807.01923},
eprinttype = {arXiv},
eprint = {1807.01923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/FilipovikjRS17,
author = {Predrag Filipovikj and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Seceleanu},
title = {Model-Checking-based vs. SMT-based Consistency Analysis of Industrial
Embedded Systems Requirements: Application and Experience},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {75},
year = {2017},
url = {https://doi.org/10.14279/tuj.eceasst.75.1054},
doi = {10.14279/TUJ.ECEASST.75.1054},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/FilipovikjRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FilipovikjRNS17,
author = {Predrag Filipovikj and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Mattias Nyberg and
Cristina Seceleanu},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {SMT-based consistency analysis of industrial systems requirements},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1272--1279},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019787},
doi = {10.1145/3019612.3019787},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/FilipovikjRNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AvniGHR17,
author = {Guy Avni and
Shubham Goel and
Thomas A. Henzinger and
Guillermo Rodr{\'{\i}}guez{-}Navas},
editor = {Axel Legay and
Tiziana Margaria},
title = {Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic
Faults},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {169--187},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_10},
doi = {10.1007/978-3-662-54580-5\_10},
timestamp = {Mon, 13 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AvniGHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AvniGHR17,
author = {Guy Avni and
Shubham Goel and
Thomas A. Henzinger and
Guillermo Rodr{\'{\i}}guez{-}Navas},
title = {Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic
Faults},
journal = {CoRR},
volume = {abs/1701.03519},
year = {2017},
url = {http://arxiv.org/abs/1701.03519},
eprinttype = {arXiv},
eprint = {1701.03519},
timestamp = {Mon, 13 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AvniGHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FilipovikjJNRS16,
author = {Predrag Filipovikj and
Trevor Jagerfield and
Mattias Nyberg and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Cerschi Seceleanu},
title = {Integrating Pattern-Based Formal Requirements Specification in an
Industrial Tool-Chain},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {167--173},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.140},
doi = {10.1109/COMPSAC.2016.140},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/FilipovikjJNRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AvniGR16,
author = {Guy Avni and
Shibashis Guha and
Guillermo Rodr{\'{\i}}guez{-}Navas},
editor = {Petru Eles and
Rahul Mangharam},
title = {Synthesizing time-triggered schedules for switched networks with faulty
links},
booktitle = {2016 International Conference on Embedded Software, {EMSOFT} 2016,
Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
pages = {26:1--26:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2968478.2968499},
doi = {10.1145/2968478.2968499},
timestamp = {Thu, 08 Aug 2019 11:04:11 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AvniGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ZamanskyRAS16,
author = {Anna Zamansky and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Mark Adams and
Maria Spichkova},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Formal Methods in Collaborative Projects},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {396--402},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005937403960402},
doi = {10.5220/0005937403960402},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ZamanskyRAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SteinerPGMRLP16,
author = {Wilfried Steiner and
Pablo Guti{\'{e}}rrez Peon and
Marina Guti{\'{e}}rrez and
Ayhan Mehmed and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Elena Lisova and
Francisco Pozo},
title = {Next generation real-time networks based on {IT} technologies},
booktitle = {21st {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ETFA.2016.7733580},
doi = {10.1109/ETFA.2016.7733580},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/SteinerPGMRLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/PozoRSH16,
author = {Francisco Pozo and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Wilfried Steiner and
Hans A. Hansson},
title = {Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered
Networks},
booktitle = {22nd {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2016, Daegu, South Korea, August
17-19, 2016},
pages = {170--175},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTCSA.2016.42},
doi = {10.1109/RTCSA.2016.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/PozoRSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PozoSRH15,
author = {Francisco Pozo and
Wilfried Steiner and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson},
title = {A decomposition approach for SMT-based schedule synthesis for time-triggered
networks},
booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2015, Luxembourg, September 8-11, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ETFA.2015.7301436},
doi = {10.1109/ETFA.2015.7301436},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/PozoSRH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/Rodriguez-Navas15,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Avenir Kobetski and
Daniel Sundmark and
Thomas Gustafsson},
title = {Offline Analysis of Independent Guarded Assertions in Automotive Integration
Testing},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {1066--1073},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.251},
doi = {10.1109/HPCC-CSS-ICESS.2015.251},
timestamp = {Tue, 24 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcc/Rodriguez-Navas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Rodriguez-Navas15,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Leticia Duboc and
Stefanie Betz and
Ruzanna Chitchyan and
Birgit Penzenstadler and
Colin C. Venters},
editor = {Birgit Penzenstadler and
Martin Mahaux and
Camille Salinesi and
Ruzanna Chitchyan and
Leticia Duboc},
title = {Safety vs. Sustainability Design: Analogies, Differences and Potential
Synergies},
booktitle = {Proceedings of the Fourth International Workshop on Requirements Engineering
for Sustainable Systems, RE4SuSy 2015, co-located with the 23rd {IEEE}
International Requirements Engineering Conference {(RE} 2015), Ottawa,
Canada, August 24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1416},
pages = {25--34},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1416/Session2Paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:48 +0100},
biburl = {https://dblp.org/rec/conf/re/Rodriguez-Navas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/PozoRHS15,
author = {Francisco Pozo and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hans Hansson and
Wilfried Steiner},
title = {SMT-based synthesis of TTEthernet schedules: {A} performance study},
booktitle = {10th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2015, Siegen, Germany, June 8-10, 2015},
pages = {162--165},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SIES.2015.7185055},
doi = {10.1109/SIES.2015.7185055},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/PozoRHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rodriguez-NavasSHNLL14,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Cerschi Seceleanu and
Hans Hansson and
Mattias Nyberg and
Oscar Ljungkrantz and
Henrik L{\"{o}}nn},
title = {Automated Specification and Verification of Functional Safety in Heavy-Vehicles:
the VeriSpec Approach},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {95:1--95:4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2602972},
doi = {10.1145/2593069.2602972},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Rodriguez-NavasSHNLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BallesterosPGRS14,
author = {Alberto Ballesteros and
Juli{\'{a}}n Proenza and
David Gessner and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Thilo Sauter},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Achieving elementary cycle synchronization between masters in the
flexible time-triggered replicated star for ethernet},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005335},
doi = {10.1109/ETFA.2014.7005335},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/BallesterosPGRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FilipovikjNR14,
author = {Predrag Filipovikj and
Mattias Nyberg and
Guillermo Rodr{\'{\i}}guez{-}Navas},
editor = {Tony Gorschek and
Robyn R. Lutz},
title = {Reassessing the pattern-based approach for formalizing requirements
in the automotive domain},
booktitle = {{IEEE} 22nd International Requirements Engineering Conference, {RE}
2014, Karlskrona, Sweden, August 25-29, 2014},
pages = {444--450},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RE.2014.6912296},
doi = {10.1109/RE.2014.6912296},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FilipovikjNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BeckerCDEMPRSSVCKB14,
author = {Christoph Becker and
Ruzanna Chitchyan and
Leticia Duboc and
Steve Easterbrook and
Martin Mahaux and
Birgit Penzenstadler and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Camille Salinesi and
Norbert Seyff and
Colin C. Venters and
Coral Calero and
Sedef Akinli Ko{\c{c}}ak and
Stefanie Betz},
title = {The Karlskrona manifesto for sustainability design},
journal = {CoRR},
volume = {abs/1410.6968},
year = {2014},
url = {http://arxiv.org/abs/1410.6968},
eprinttype = {arXiv},
eprint = {1410.6968},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BeckerCDEMPRSSVCKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Rodriguez-NavasP13,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Juli{\'{a}}n Proenza},
title = {Using Timed Automata for Modeling Distributed Systems with Clocks:
Challenges and Solutions},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {6},
pages = {857--868},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.73},
doi = {10.1109/TSE.2012.73},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Rodriguez-NavasP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AshjaeiBRN13,
author = {Mohammad Ashjaei and
Moris Behnam and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Thomas Nolte},
editor = {Carla Seatzu},
title = {Implementing a clock synchronization protocol on a multi-master Switched
Ethernet network},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6647957},
doi = {10.1109/ETFA.2013.6647957},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/AshjaeiBRN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Rodriguez-NavasP13,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Juli{\'{a}}n Proenza},
editor = {Carla Seatzu},
title = {A proposal for flexible, real-time and consistent multicast in FTT/HaRTES
Switched Ethernet},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--4},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6648153},
doi = {10.1109/ETFA.2013.6648153},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/Rodriguez-NavasP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Rodriguez-NavasRA12,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Miquel A. Ribot and
Bartomeu Alorda},
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {Understanding the Role of Transmission Power in Component-Based Architectures
for Adaptive {WSN}},
booktitle = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
pages = {520--525},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/COMPSACW.2012.97},
doi = {10.1109/COMPSACW.2012.97},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Rodriguez-NavasRA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ProenzaBRGGA12,
author = {Juli{\'{a}}n Proenza and
Manuel Barranco and
Guillermo Rodr{\'{\i}}guez{-}Navas and
David Gessner and
Fernando Guardiola and
Lu{\'{\i}}s Almeida},
title = {The design of the CANbids architecture},
booktitle = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
September 17-21, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ETFA.2012.6489646},
doi = {10.1109/ETFA.2012.6489646},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/ProenzaBRGGA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Rodriguez-NavasGB12,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Patrick J. Graydon and
Iain Bate},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {From Fault Injection to Mutant Injection: The Next Step for Safety
Analysis?},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {276--277},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_27},
doi = {10.1007/978-3-642-39611-3\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Rodriguez-NavasGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BarrancoRGP11,
author = {Manuel Barranco and
Guillermo Rodr{\'{\i}}guez{-}Navas and
David Gessner and
Juli{\'{a}}n Proenza},
editor = {Zoubir Mammeri},
title = {Towards the integration of flexible-time-triggered communication and
replicated star topologies in {CAN}},
booktitle = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2011, Toulouse, France, September 5-9, 2011},
pages = {1--4},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ETFA.2011.6059170},
doi = {10.1109/ETFA.2011.6059170},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/BarrancoRGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Rodriguez-NavasWP11,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Christian Winter and
Juli{\'{a}}n Proenza},
editor = {Zoubir Mammeri},
title = {Injection of aggregated error flags as a means to guarantee consistent
error detection in {CAN}},
booktitle = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2011, Toulouse, France, September 5-9, 2011},
pages = {1--4},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ETFA.2011.6059172},
doi = {10.1109/ETFA.2011.6059172},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/Rodriguez-NavasWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Gonzalez10,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas},
title = {Design and formal verification of a fault-tolerant clock synchronization
subsystem for the controller area network},
school = {University of the Balearic Islands, Palma de Mallorca, Spain},
year = {2010},
url = {http://hdl.handle.net/11201/155271},
timestamp = {Thu, 11 Jun 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Gonzalez10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/Rodriguez-NavasRP08,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Sebasti{\`{a}} Roca and
Juli{\'{a}}n Proenza},
title = {Orthogonal, Fault-Tolerant, and High-Precision Clock Synchronization
for the Controller Area Network},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {4},
number = {2},
pages = {92--101},
year = {2008},
url = {https://doi.org/10.1109/TII.2008.922087},
doi = {10.1109/TII.2008.922087},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/Rodriguez-NavasRP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/Rodriguez-NavasP08,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Juli{\'{a}}n Proenza},
title = {Analytical Assessment of the Precision Degradation Caused by Faults
in a Fault-Tolerant Master/Slave Clock Synchronization Service for
{CAN}},
booktitle = {27th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2008),
Napoli, Italy, October 6-8, 2008},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SRDS.2008.16},
doi = {10.1109/SRDS.2008.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/Rodriguez-NavasP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Rodriguez-NavasPH07,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Juli{\'{a}}n Proenza and
Hans Hansson},
editor = {Michael J. Butler and
Michael G. Hinchey and
Mar{\'{\i}}a M. Larrondo{-}Petrie},
title = {Modeling and Verification of Master/Slave Clock Synchronization Using
Hybrid Automata and Model-Checking},
booktitle = {Formal Methods and Software Engineering, 9th International Conference
on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
November 14-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4789},
pages = {307--326},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76650-6\_18},
doi = {10.1007/978-3-540-76650-6\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Rodriguez-NavasPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BarrancoPRA06,
author = {Manuel Barranco and
Juli{\'{a}}n Proenza and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Lu{\'{\i}}s Almeida},
title = {An active star topology for improving fault confinement in {CAN} networks},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {2},
number = {2},
pages = {78--85},
year = {2006},
url = {https://doi.org/10.1109/TII.2006.875505},
doi = {10.1109/TII.2006.875505},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/BarrancoPRA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/FerreiraAFPMRRP06,
author = {Joaquim Ferreira and
Lu{\'{\i}}s Almeida and
Jos{\'{e}} Alberto Fonseca and
Paulo Pedreiras and
Ernesto Martins and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Joan Rigo and
Juli{\'{a}}n Proenza},
title = {Combining operational flexibility and dependability in {FTT-CAN}},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {2},
number = {2},
pages = {95--102},
year = {2006},
url = {https://doi.org/10.1109/TII.2005.875508},
doi = {10.1109/TII.2005.875508},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/FerreiraAFPMRRP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BrosterBR05,
author = {Ian Broster and
Alan Burns and
Guillermo Rodr{\'{\i}}guez{-}Navas},
title = {Timing Analysis of Real-Time Communication Under Electromagnetic Interference},
journal = {Real Time Syst.},
volume = {30},
number = {1-2},
pages = {55--81},
year = {2005},
url = {https://doi.org/10.1007/s11241-005-0504-z},
doi = {10.1007/S11241-005-0504-Z},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/BrosterBR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/NolteRPPH05,
author = {Thomas Nolte and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Juli{\'{a}}n Proenza and
Sasikumar Punnekkat and
Hans Hansson},
title = {Towards analyzing the fault-tolerant operation of server-CAN},
booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
Italy},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ETFA.2005.1612590},
doi = {10.1109/ETFA.2005.1612590},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/NolteRPPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BrosterBR04,
author = {Ian Broster and
Alan Burns and
Guillermo Rodr{\'{\i}}guez{-}Navas},
title = {Comparing Real-Time Communication Under Electromagnetic Interference},
booktitle = {16th Euromicro Conference on Real-Time Systems {(ECRTS} 2004), 30
June - 2 July 1004, Catania, Italy, Proceedings},
pages = {45--52},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.9},
doi = {10.1109/ECRTS.2004.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BrosterBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Rodriguez-NavasJP03,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Jes{\'{u}}s Jim{\'{e}}nez and
Juli{\'{a}}n Proenza},
title = {An architecture for physical injection of complex fault scenarios
in {CAN} networks},
booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon,
Portugal - Volume 2},
pages = {125--128},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ETFA.2003.1248681},
doi = {10.1109/ETFA.2003.1248681},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/Rodriguez-NavasJP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Rodriguez-NavasBPB03,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Manuel Barranco and
Juli{\'{a}}n Proenza and
Ian Broster},
title = {COTS-based hardware support to timeliness in {CAN} networks},
booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon,
Portugal - Volume 1},
pages = {177--184},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ETFA.2003.1247704},
doi = {10.1109/ETFA.2003.1247704},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/Rodriguez-NavasBPB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/GuerreroRP02,
author = {Carlos Guerrero and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Juli{\'{a}}n Proenza},
title = {Hardware support for fault tolerance in triple redundant {CAN} controllers},
booktitle = {Proceedings of the 2002 9th {IEEE} International Conference on Electronics,
Circuits and Systems, {ICECS} 2002, Dubrovnik, Croatia, September
15-18, 2002},
pages = {457--460},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ICECS.2002.1046195},
doi = {10.1109/ICECS.2002.1046195},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/GuerreroRP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BrosterBR02,
author = {Ian Broster and
Alan Burns and
Guillermo Rodr{\'{\i}}guez{-}Navas},
title = {Probabilistic Analysis of {CAN} with Faults},
booktitle = {Proceedings of the 23rd {IEEE} Real-Time Systems Symposium (RTSS'02),
Austin, Texas, USA, December 3-5, 2002},
pages = {269--278},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/REAL.2002.1181581},
doi = {10.1109/REAL.2002.1181581},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BrosterBR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2026-06-12 21:28 CEST 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:
