ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
Annals of Software Engineering
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis
Discrete Event Dynamic Systems
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Security analysis of SITAR intrusion tolerance system
Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security
Mixing logics and rewards for the component-oriented specification of performance measures
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositionality for Markov reward chains with fast and silent transitions
Performance Evaluation
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Compositionality for Markov reward chains with fast transitions
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
| Hi-index | 0.00 |