Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems

IEEE Transactions on Parallel and Distributed Systems

Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability

IEEE Transactions on Computers

Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach

IEEE Transactions on Computers

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems

EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing

Evaluation of the impact of congestion on service availability in GPRS infrastructures

ISAS'05 Proceedings of the Second international conference on Service Availability