Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/edcc/edcc2020.bht:"
@inproceedings{DBLP:conf/edcc/0002KB20, author = {Shahid Khan and Joost{-}Pieter Katoen and Marc Bouissou}, title = {Explaining Boolean-Logic Driven Markov Processes using GSPNs}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {119--126}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00028}, doi = {10.1109/EDCC51268.2020.00028}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/0002KB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/AmaralPMM20, author = {Miguel Amaral and Miguel L. Pardal and Hugues Mercier and Miguel Matos}, title = {FaultSee: Reproducible Fault Injection in Distributed Systems}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {25--32}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00014}, doi = {10.1109/EDCC51268.2020.00014}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/AmaralPMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/BellaBCM20, author = {Giampaolo Bella and Pietro Biondi and Gianpiero Costantino and Ilaria Matteucci}, title = {{CINNAMON:} {A} Module for {AUTOSAR} Secure Onboard Communication}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {103--110}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00026}, doi = {10.1109/EDCC51268.2020.00026}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/BellaBCM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/BressanOC20, author = {Lucas Bressan and Andr{\'{e}} Lu{\'{\i}}z de Oliveira and Fernanda Campos}, title = {An Approach to Support Variant Management on Safety Analysis using {CHESS} Error Models}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {135--142}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00030}, doi = {10.1109/EDCC51268.2020.00030}, timestamp = {Thu, 30 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/BressanOC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/CholviAGNR20, author = {Vicent Cholvi and Antonio Fern{\'{a}}ndez Anta and Chryssis Georgiou and Nicolas Nicolaou and Michel Raynal}, title = {Atomic Appends in Asynchronous Byzantine Distributed Ledgers}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {77--84}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00022}, doi = {10.1109/EDCC51268.2020.00022}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/CholviAGNR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/DebRCC20, author = {Novarun Deb and Mandira Roy and Nabendu Chaki and Agostino Cortesi}, title = {Generation of Safety and Liveness Complaint Automata from Goal Model Specifications}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {127--134}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00029}, doi = {10.1109/EDCC51268.2020.00029}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/DebRCC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/DuLZYL20, author = {Xiaoming Du and Cong Li and Shen Zhou and Mao Ye and Jing Li}, title = {Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field Data}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {41--46}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00016}, doi = {10.1109/EDCC51268.2020.00016}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/DuLZYL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/Eslahi-Kelorazi20, author = {Mojtaba Eslahi{-}Kelorazi and Long Hoang Le and Fernando Pedone}, title = {Developing Complex Data Structures over Partitioned State Machine Replication}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {9--16}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00012}, doi = {10.1109/EDCC51268.2020.00012}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/Eslahi-Kelorazi20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/FayollasBF20, author = {Camille Fayollas and Hugues Bonnin and Olivier Fl{\'{e}}bus}, title = {SafeOps: {A} Concept of Continuous Safety}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {65--68}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00020}, doi = {10.1109/EDCC51268.2020.00020}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/FayollasBF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/Graydon20, author = {Mallory Suzanne Graydon}, title = {Towards Efficacy Hypotheses for Safety Cases}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {51--58}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00018}, doi = {10.1109/EDCC51268.2020.00018}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/Graydon20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/Herrera20, author = {Christian Herrera}, title = {Stateful Priorities for Precise Restriction of System Behavior}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {69--76}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00021}, doi = {10.1109/EDCC51268.2020.00021}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/Herrera20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/HerreraCQ20, author = {Christian Herrera and Nancy Cruz and Ricardo Quintero}, title = {CrEStO: {A} Tool for Synthesizing Stateful Priorities}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {143--146}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00031}, doi = {10.1109/EDCC51268.2020.00031}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/HerreraCQ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/MaceCMM20, author = {John C. Mace and Ricardo Melo Czekster and Charles Morisset and Carsten Maple}, title = {Smart Building Risk Assessment Case Study: Challenges, Deficiencies and Recommendations}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {59--64}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00019}, doi = {10.1109/EDCC51268.2020.00019}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/MaceCMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/Medeiros020, author = {Ib{\'{e}}ria Medeiros and Nuno Neves}, title = {Effect of Coding Styles in Detection of Web Application Vulnerabilities}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {111--118}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00027}, doi = {10.1109/EDCC51268.2020.00027}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/Medeiros020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/PereiraV20, author = {Jos{\'{e}} D'Abruzzo Pereira and Marco Vieira}, title = {On the Use of Open-Source {C/C++} Static Analysis Tools in Large Projects}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {97--102}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00025}, doi = {10.1109/EDCC51268.2020.00025}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/PereiraV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/ReichT20, author = {Jan Reich and Mario Trapp}, title = {{SINADRA:} Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous Vehicles}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {47--50}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00017}, doi = {10.1109/EDCC51268.2020.00017}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edcc/ReichT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/Song0K20, author = {Shihao Song and Anup Das and Nagarajan Kandasamy}, title = {Improving Dependability of Neuromorphic Computing With Non-Volatile Memory}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {17--24}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00013}, doi = {10.1109/EDCC51268.2020.00013}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/Song0K20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/Temple20, author = {Christopher Temple}, title = {Developing Complex Safety Critical Systems in Complex Supply Chains}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {93--96}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00024}, doi = {10.1109/EDCC51268.2020.00024}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/Temple20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/TorquatoGV20, author = {Matheus Torquato and Charles F. Gon{\c{c}}alves and Marco Vieira}, title = {An Availability Model for {DSS} and {OLTP} Applications in Virtualized Environments}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {85--92}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00023}, doi = {10.1109/EDCC51268.2020.00023}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/TorquatoGV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/TuzovAR20, author = {Ilya Tuzov and David de Andr{\'{e}}s and Juan Carlos Ruiz}, title = {Improving Robustness-Aware Design Space Exploration for FPGA-Based Systems}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {1--8}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00011}, doi = {10.1109/EDCC51268.2020.00011}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/TuzovAR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/VihmanKR20, author = {Lauri Vihman and Maarja Kruusmaa and Jaan Raik}, title = {Data-Driven Cross-Layer Fault Management Architecture for Sensor Networks}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {33--40}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00015}, doi = {10.1109/EDCC51268.2020.00015}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/VihmanKR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/edcc/2020, title = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, publisher = {{IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/xpl/conhome/9222240/proceeding}, isbn = {978-1-7281-8936-9}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/2020.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.