Dependability Analysis in the HIDE Framework
3rd IEEE High Assurance System Engineering Symposium
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults
Temporal Analysis of Data Flow Control Systems
Optimal Discrimination between Transient and Permanent Faults - Mathematical Details
Users Guide for Tool-Supported Modelling of Phased-Mission Systems
3rd IEEE High Assurance System Engineering Symposium (HASE'98)
Bayesian Diagnosis of Transient vs Permanent Faults
This ontology contains information detailing publications held by University of Pisa
Publication export from University of Pisa
1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98)
Brief Overview of some Tools to Support the Modelling and Evaluation of Phased Mission Systems
Dependability modeling and Evaluation of Phased Mission Systems: a DSPN Approach
Optimal Discrimination between Transient and Permanent Faults
Alpha-count Mechanism and Inter-Channel Diagnosis
On high level dependability modeling in HIDE
Automatic Dependability Modelling of Systems Described in UML
9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track
The GUARDS Approach to Safety-Critical Real-Time Systems
State Restoration in a COTS-based N-Modular Architecture
Modelli Teorici e Pratici per la Rappresentazione del Processo di Guasto
A new Heuristic to Discriminate Transient from Intermittent Faults
Integrazione di Tecniche di Fault-Forecasting
GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems