Lectures on formal methods and performance analysis
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms
Journal of Systems and Software
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
A new approach to the evaluation of non markovian stochastic petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |