DYADEM-FTS@EDCC

Keyphrases

Publications

2010

Salvatore Distefano
Characterization and evaluation of standby in reliability. DYADEM-FTS@EDCC (2010)
Suprasad V. Amari
Dynamic dependability models: an overview. DYADEM-FTS@EDCC (2010)
Johann Schuster, Markus Siegle
Dependability modelling with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC (2010)
Gabriel A. Pérez Castañeda, Jean-François Aubry, Nicolae Brinzei
DyRelA (dynamic reliability and assessment). DYADEM-FTS@EDCC (2010)
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, DYADEM-FTS '10, Valencia, Spain, April 27, 2010 DYADEM-FTS@EDCC (2010)
Dario Bruneo, Antonio Puliafito, Marco Scarpa
Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes. DYADEM-FTS@EDCC (2010)
Martin Walker, Yiannis Papadopoulos
A hierarchical method for the reduction of temporal expressions in Pandora. DYADEM-FTS@EDCC (2010)
Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler
RobuCheck: a robustness checker for digital circuits. DYADEM-FTS@EDCC (2010)
Armin Zimmermann
Dependability evaluation of complex systems with TimeNET. DYADEM-FTS@EDCC (2010)
Michael Günther, Johann Schuster, Markus Siegle
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC (2010)