Skip to main content
SpringerLink
Log in

Dependable Computing

14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Marco Vieira

    1. Department of Informatics Engineering, Polo II, University of Coimbra, Coimbra, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. João Carlos Cunha

    1. Coimbra Institute of Engineering, Polytechnic Institute of Coimbra, Coimbra, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7869)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: EWDC 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Wireless Sensor Networks

    1. Enhancing Intrusion Detection in Wireless Sensor Networks through Decision Trees

      • Alessia Garofalo, Cesario Di Sarno, Valerio Formicola
      Pages 1-15

    2. Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks

      • João Alves, António Casimiro, Luís Marques
      Pages 16-23

  3. Cloud Computing and Services

    1. Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service

      • Wei Hu, Dongyao Ji
      Pages 24-38

    2. Model-Driven Evaluation of User-Perceived Service Availability

      • Andreas Dittrich, Rafael Rezende
      Pages 39-53

    3. Exploiting SDN Approach to Tackle Cloud Computing Security Issues in the ATC Scenario

      • Gabriella Carrozza, Vittorio Manetti, Antonio Marotta, Roberto Canonico, Stefano Avallone
      Pages 54-60

  4. Testing and Fault Detection

    1. Intercept: Profiling Windows Network Device Drivers

      • Manuel Mendonça, Nuno Neves
      Pages 61-75

    2. The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designs

      • Jaime Espinosa, David de Andrés, Juan-Carlos Ruiz, Pedro Gil
      Pages 76-87

    3. GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces

      • Pierre André, Nicolas Rivière, Hélène Waeselynck
      Pages 88-95

  5. Fault Injection and Benchmarking

    1. Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systems

      • Roberto Natella, Fabio Scippacercola
      Pages 96-110

    2. Towards Benchmarking of Functional Safety in the Automotive Industry

      • Mafijul Md. Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi, Daniel Skarin, Jonny Vinter, Fredrik Törner et al.
      Pages 111-125

    3. Fault Injection in the Automotive Standard ISO 26262: An Initial Approach

      • Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy
      Pages 126-133

  6. Dependable and Secure Computing

    1. A GPS Spoofing Resilient WAMS for Smart Grid

      • Alessia Garofalo, Cesario Di Sarno, Luigi Coppolino, Salvatore D’Antonio
      Pages 134-147

    2. A Dependable Alternative to the Spanning Tree Protocol

      • João Lopes, Susana Sargento, André Zúquete
      Pages 148-164

    3. Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness

      • Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna, Luca Montanari, Mara Sorella
      Pages 165-172

    4. Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?

      • João Soares, João Lourenço, Nuno Preguiça
      Pages 173-180

  7. Fast Abstracts

    1. GRIMACE: GeneRIc MetAmodel for Domain Component modElling

      • Rahma Bouaziz
      Pages 181-184

    2. Improving the Transfer of Safety and Security Competences to Industry: The RISKY Approach

      • Joaquín Gracia-Morán, Juan-Carlos Ruiz, Juan-Carlos Baraza-Calvo, David de Andrés, Pedro Gil
      Pages 185-189

    3. Towards Dependable Measurements in Coastal Sensors Networks

      • Gonçalo Jesus, António Casimiro, Anabela Oliveira
      Pages 190-193

    4. Open Challenges in the Resilience Evaluation of Ad Hoc Networks

      • Miquel Martínez, Jesús Friginal, David de Andrés, Juan-Carlos Ruiz
      Pages 194-197
Back to top

Other volumes

  1. Dependable Computing

About this book

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking and dependable and secure computing.

Editors and Affiliations

  • Department of Informatics Engineering, Polo II, University of Coimbra, Coimbra, Portugal

    Marco Vieira

  • Coimbra Institute of Engineering, Polytechnic Institute of Coimbra, Coimbra, Portugal

    João Carlos Cunha

Bibliographic Information

  • Book Title: Dependable Computing

  • Book Subtitle: 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings

  • Editors: Marco Vieira, João Carlos Cunha

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-38789-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-38788-3Published: 25 May 2013

  • eBook ISBN: 978-3-642-38789-0Published: 13 November 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 207

  • Number of Illustrations: 61 b/w illustrations

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation