A Software Package for the Analysis of Generalized Stochastic Petri Net Models

Stochastic High-Level Petri Nets and Applications

IEEE Transactions on Computers

Modeling of Hierarchical Distributed Systems with Fault-Tolerance

IEEE Transactions on Software Engineering

Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets

IEEE Transactions on Computers

Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays

IEEE Transactions on Computers

Modeling Correlation in Software Recovery Blocks

IEEE Transactions on Software Engineering - Special issue on software reliability

METASAN: a performability evaluation tool based on stochastic activity networks

ACM '86 Proceedings of 1986 ACM Fall joint computer conference

Markovian models for performance and dependability evaluation

Lectures on formal methods and performance analysis

Composing, analyzing and validating software models to assess the performability of competing design candidates

Annals of Software Engineering

Performance Evaluation of Client-Server Systems

IEEE Transactions on Parallel and Distributed Systems

Network structure and traffic modeling and simulation with CO-OPN

RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques