Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
WSC '94 Proceedings of the 26th conference on Winter simulation
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Lectures on formal methods and performance analysis
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
Performance Evaluation of Client-Server Systems
IEEE Transactions on Parallel and Distributed Systems
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
IEEE Transactions on Software Engineering
Estimation Methods for Nonregenerative Stochastic Petri Nets
IEEE Transactions on Software Engineering
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
IEEE Transactions on Software Engineering
COMPSAC '00 24th International Computer Software and Applications Conference
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Iterative Analysis of Markov Regenerative Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
SPNP: Stochastic Petri Nets. Version 6.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Distributed and Parallel Databases
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Analyzing reconfigurable algorithms for managing replicated data
Journal of Systems and Software
Security modeling and quantification of intrusion tolerant systems using attack-response graph
Journal of High Speed Networks
Parallel simulation of petri nets on desktop pc hardware
WSC '05 Proceedings of the 37th conference on Winter simulation
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing
ACM SIGMETRICS Performance Evaluation Review
Symbolic analysis for GSMP models with one stateful clock
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Ten fallacies of availability and reliability analysis
ISAS'08 Proceedings of the 5th international conference on Service availability
Performance analysis of the reactor pattern in network services
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A component-based solution method for non-ergodic Markov regenerative processes
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Survivability modeling with stochastic reward nets
Winter Simulation Conference
Transient analysis of non-Markovian models using stochastic state classes
Performance Evaluation
Investigating dynamic reliability and availability through state-space models
Computers & Mathematics with Applications
Modeling and performance analysis of large scale IaaS Clouds
Future Generation Computer Systems
| Hi-index | 0.00 |