Efficient Computation and Representation of Large Reachability Sets for Composed Automata
Discrete Event Dynamic Systems
An iterative bounding method for stochastic automata networks
Performance Evaluation
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Distributed Numerical Markov Chain Analysis
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Adaptive decomposition and approximation for the analysis of stochastic petri nets
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
An approximative method for calculating performance measures of Markov processes
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Structured analysis techniques for large Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Memory efficient analysis for a class of large structured Markov chains: work in progress
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Data representation and efficient solution: a decision diagram approach
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Product form approximations for communicating Markov processes
Performance Evaluation
Performance evaluation of a kitting process
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Numerical analysis of rational processes beyond Markov chains
Performance Evaluation
Hi-index | 0.00 |