Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
On generating a hierarchy for GSPN analysis
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
SDL and Petri net performance analysis of communicating systems
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Reachability Analysis Based on Structured Representations
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Iterative Decomposition and Aggregation of Labeled GSPNs
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Integrating Synchronization with Priority into a Kronecker Representation
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Validation of GSPN and SWN Models through the PROD Tool
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models
IEEE Transactions on Dependable and Secure Computing
Defining Formalisms for Performance Evaluation With SIMTHESys
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
The SIMTHESys multiformalism modeling framework
Computers & Mathematics with Applications
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
On the numerical solution of Kronecker-based infinite level-dependent QBD processes
Performance Evaluation
Algorithmic probabilistic game semantics
Formal Methods in System Design
| Hi-index | 0.00 |