


default search action
DYADEM-FTS@EDCC 2010: Valencia, Spain
- Arndt Bode:
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, DYADEM-FTS '10, Valencia, Spain, April 27, 2010. ACM 2010, ISBN 978-1-60558-916-9
Tutorial
- Suprasad V. Amari:
Dynamic dependability models: an overview. 3
Regular papers
- Martin Walker
, Yiannis Papadopoulos
:
A hierarchical method for the reduction of temporal expressions in Pandora. 7-12 - Michael Günther, Johann Schuster, Markus Siegle
:
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. 13-18 - Salvatore Distefano
:
Characterization and evaluation of standby in reliability. 19-24 - Dario Bruneo
, Antonio Puliafito, Marco Scarpa:
Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes. 25-30
Tool presentations
- Armin Zimmermann
:
Dependability evaluation of complex systems with TimeNET. 33-34 - Johann Schuster, Markus Siegle
:
Dependability modelling with the stochastic process algebra tool CASPA. 35-36 - Stefan Frehse, Görschwin Fey
, André Sülflow, Rolf Drechsler
:
RobuCheck: a robustness checker for digital circuits. 37-38 - Gabriel A. Pérez Castañeda, Jean-François Aubry, Nicolae Brinzei:
DyRelA (dynamic reliability and assessment). 39-40

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.