


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














