Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
A framework for rare event simulation of stochastic Petri nets using “RESTART”
WSC '96 Proceedings of the 28th conference on Winter simulation
Using the exact state space of a Markov model to compute approximate stationary measures
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Performance of broadcast and unknown server (BUS) in ATM LAN emulation
IEEE/ACM Transactions on Networking (TON)
Annals of Software Engineering
Hierarchical Structuring of Superposed GSPNs
IEEE Transactions on Software Engineering
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
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
A structure based decomposition approach for GSPN
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
An approach to formalize structural decomposition and aggregation for stochastic reward net models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Performance evaluation of dynamic priority operating systems
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Fixed point iteration using stochastic reward nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Numerical analysis of stochastic marked graph nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Modeling a scalable high-speed interconnect with stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Efficient approximation of response time densities and quantiles in stochastic models
WOSP '04 Proceedings of the 4th international workshop on Software and performance
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
Implicit GSPN reachability set generation using decision diagrams
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Journal of Parallel and Distributed Computing
Logic and stochastic modeling with SMART
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Distributed disk-based algorithms for model checking very large Markov chains
Formal Methods in System Design
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Saturation for a General Class of Models
IEEE Transactions on Software Engineering
Exploiting interleaving semantics in symbolic state-space generation
Formal Methods in System Design
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
Network survivability modeling
Computer Networks: The International Journal of Computer and Telecommunications Networking
Performance analysis of wireless opportunistic schedulers using stochastic Petri nets
IEEE Transactions on Wireless Communications
Stability and performance of overlay multicast systems employing forward error correction
Performance Evaluation
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
A fixed-point algorithm for closed queueing networks
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Product form approximations for communicating Markov processes
Performance Evaluation
Extracting state-based performance metrics using asynchronous iterative techniques
Performance Evaluation
Modeling and survivability analysis of service composition using Stochastic Petri Nets
The Journal of Supercomputing
Modeling and performance analysis of an OGSA-based resource sharing environment in NGN
ICCOM'06 Proceedings of the 10th WSEAS international conference on Communications
Survivability modeling with stochastic reward nets
Winter Simulation Conference
Stochastic Petri net models of Ca2+ signaling complexes and their analysis
Natural Computing: an international journal
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains
Electronic Notes in Theoretical Computer Science (ENTCS)
An approximate analytic performance model of object-based storage
ICCSA'06 Proceedings of the 6th international conference on Computational Science and Its Applications - Volume Part I
GreatSPN enhanced with decision diagram data structures
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A fine-grained fullness-guided chaining heuristic for symbolic reachability analysis
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
Computing a hierarchical static order for decision diagram-based representation from p/t nets
Transactions on Petri Nets and Other Models of Concurrency V
Call admission control for reducing dropped calls in CDMA cellular systems
Computer Communications
Modeling and performance analysis of large scale IaaS Clouds
Future Generation Computer Systems
Hi-index | 0.00 |