Passage time distributions in large Markov chains
SIGMETRICS '02 Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Symbolic Methods for the State Space Exploration of GSPN Models
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Turning back time in Markovian process algebra
Theoretical Computer Science
A new petri net modeling technique for the performance analysis of discrete event dynamic systems
Journal of Systems and Software
Journal of Parallel and Distributed Computing
Distributed disk-based algorithms for model checking very large Markov chains
Formal Methods in System Design
Measuring and Evaluating Parallel State-Space Exploration Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating quality of service for service level agreements
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A PMIF with petri net building blocks
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Hierarchically constructed Petri-nets and product-forms
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
| Hi-index | 0.00 |