default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th EDCC 2014: Newcastle, UK
- 2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-3803-2
Session 1: Distributed Systems and Networking
- Luiz A. Rodrigues, Luciana Arantes, Elias P. Duarte Jr.:
An Autonomic Implementation of Reliable Broadcast Based on Dynamic Spanning Trees. 1-12 - Minh Lê, Max Walter, Josef Weidendorfer:
Improving the Kuo-Lu-Yeh Algorithm for Assessing Two-Terminal Reliability. 13-22 - Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson:
On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. 23-34 - Emmanuelle Anceaume, Yann Busnel
:
Deviation Estimation between Distributed Data Streams. 35-45 - Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak:
From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper). 46-49
Session 2: Online Fault and Failure Management
- Santonu Sarkar, Rajeshwari Ganesan, Marcello Cinque, Flavio Frattini, Stefano Russo, Agostino Savignano:
Mining Invariants from SaaS Application Logs (Practical Experience Report). 50-57 - Florian Fittkau, André van Hoorn, Wilhelm Hasselbring:
Towards a Dependability Control Center for Large Software Landscapes (Short Paper). 58-61 - Luis J. Saiz-Adalid, Pedro J. Gil, Juan-Carlos Baraza-Calvo, Juan-Carlos Ruiz-Garcia, Daniel Gil-Tomas, Joaquin Gracia-Moran:
Modified Hamming Codes to Enhance Short Burst Error Detection in Semiconductor Memories (Short Paper). 62-65 - Teerat Pitakrat, André van Hoorn, Lars Grunske:
Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper). 66-69
Session 3: Resilient Systems Modelling
- Muffy Calder, Michele Sevegnani:
Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? 70-81 - Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. 82-93 - Peter Buchholz, Jan Kriege:
Markov Modeling of Availability and Unavailability Data. 94-105 - Peter T. Popov, Andrey Povyakalo, Vladimir Stankovic, Lorenzo Strigini:
Software Diversity as a Measure for Reducing Development Risk. 106-117
Session 4: Testing, Fault-Injection and Benchmarking
- Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum:
On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments. 118-129 - Miquel Martínez, David de Andrés, Juan-Carlos Ruiz-Garcia:
Gaining Confidence on Dependability Benchmarks' Conclusions through "Back-to-Back" Testing (Practical Experience Report). 130-137 - Mafijul Md. Islam, Nithilan Meenakshi Karunakaran, Johan Haraldsson, Fredrik Bernin, Johan Karlsson:
Binary-Level Fault Injection for AUTOSAR Systems (Short Paper). 138-141
Session 5: Compilation
- Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson:
A Framework for Creating Binary Rewriting Tools (Short Paper). 142-145 - Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson, Johan Karlsson:
A Study of the Impact of Bit-Flip Errors on Programs Compiled with Different Optimization Levels. 146-157
Session 6: Safety-Critical Systems
- Helen Gough, Silke Kuball:
Application of Statistical Testing to the Data Processing and Control System for the Dungeness B Nuclear Power Plant (Practical Experience Report). 158-165 - Silvano Chiaradonna, Felicita Di Giandomenico, Nadir Murru:
On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure. 166-177 - John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Helen Monkhouse, Robert Palin:
A Layered Model for Structuring Automotive Safety Arguments (Short Paper). 178-181
Session 7: Space and Aeronautics
- Kevin Mueller, Georg Sigl, Benoit Triquet, Michael Paulitsch:
On MILS I/O Sharing Targeting Avionic Systems. 182-193 - Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira:
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). 194-197 - Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre:
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. 198-209
Session 8: Security and Privacy
- Benjamin D. Rodes, John C. Knight:
Speculative Software Modification and its Use in Securing SOUP. 210-221 - Miguel Núñez del Prado Cortez, Jesus Friginal:
Geo-Location Inference Attacks: From Modelling to Privacy Risk Assessment (Short Paper). 222-225 - Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller:
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. 226-237 - Anh Nguyen-Tuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W. Davidson, John C. Knight:
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing. 238-249
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 2024-11-21 20:17 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:
