Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605589169

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Characterization and evaluation of standby in reliability

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772636 ◽

2010 ◽

Author(s):

Salvatore Distefano

Download Full-text

Dynamic dependability models

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772632 ◽

2010 ◽

Author(s):

Suprasad V. Amari

Download Full-text

DyRelA (dynamic reliability and assessment)

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772642 ◽

2010 ◽

Cited By ~ 4

Author(s):

Gabriel A. Pérez Castañeda ◽

Jean-François Aubry ◽

Nicolae Brinzei

Keyword(s):

Dynamic Reliability

Download Full-text

A hierarchical method for the reduction of temporal expressions in Pandora

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772634 ◽

2010 ◽

Cited By ~ 5

Author(s):

Martin Walker ◽

Yiannis Papadopoulos

Keyword(s):

Hierarchical Method ◽

Temporal Expressions

Download Full-text

Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772637 ◽

2010 ◽

Cited By ~ 7

Author(s):

Dario Bruneo ◽

Antonio Puliafito ◽

Marco Scarpa

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Active Sleep ◽

Dependability Analysis ◽

Sleep Cycles

Download Full-text

Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772635 ◽

2010 ◽

Cited By ~ 4

Author(s):

Michael Günther ◽

Johann Schuster ◽

Markus Siegle

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Shortest Paths ◽

Symbolic Calculation ◽

Stochastic Process Algebra

Download Full-text

Dependability modelling with the stochastic process algebra tool CASPA

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772640 ◽

2010 ◽

Author(s):

Johann Schuster ◽

Markus Siegle

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Dependability evaluation of complex systems with TimeNET

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772639 ◽

2010 ◽

Cited By ~ 8

Author(s):

Armin Zimmermann

Keyword(s):

Complex Systems ◽

Dependability Evaluation

Download Full-text

RobuCheck

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10 ◽

10.1145/1772630.1772641 ◽

2010 ◽

Author(s):

Stefan Frehse ◽

Görschwin Fey ◽

André Sülflow ◽

Rolf Drechsler

Download Full-text

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Characterization and evaluation of standby in reliability

Dynamic dependability models

DyRelA (dynamic reliability and assessment)

A hierarchical method for the reduction of temporal expressions in Pandora

Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes

Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA

Dependability modelling with the stochastic process algebra tool CASPA

Dependability evaluation of complex systems with TimeNET

RobuCheck

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10
Latest Publications