Search dblp for Publications

export results for "toc:db/conf/edcc/edcc2020.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics