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)
Efficient descriptor-vector multiplications in stochastic automata networks
Journal of the ACM (JACM)
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
Triangular solution of linear systems in tensor product format
ACM SIGMETRICS Performance Evaluation Review
Distributed and structured analysis approaches to study large and complex systems
Lectures on formal methods and performance analysis
Structured Solution of Asynchronously Communicating Stochastic Modules
IEEE Transactions on Software Engineering
Hierarchical Structuring of Superposed GSPNs
IEEE Transactions on Software Engineering
Parallel multiplication of a vector by a kronecker product of matrices
Parallel numerical linear algebra
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
Performance Evaluation: Origins and Directions
Iterative Decomposition and Aggregation of Labeled GSPNs
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
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
Numerical analysis of superposed GSPNs
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
Structured Solution of Stochastic DSSP Systems
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
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
On the benefits of using functional transitions and Kronecker algebra
Performance Evaluation
Quantitative static analysis of distributed systems
Journal of Functional Programming
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
Future Generation Computer Systems - Systems performance analysis and evaluation
Product form for stochastic automata networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Complex synchronizations in Markovian models: a tensor-based proof of product form
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Performance modelling and Markov chains
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Collaboration of discrete-time Markov chains: Tensor and product form
Performance Evaluation
Product form approximations for communicating Markov processes
Performance Evaluation
Simulation of Markovian models using bootstrap method
Proceedings of the 2010 Summer Computer Simulation Conference
A framework to decompose GSPN models
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Efficient vector-descriptor product exploiting time-memory trade-offs
ACM SIGMETRICS Performance Evaluation Review
Markovian queueing network with complex synchronizations: Product form and tensor
Performance Evaluation
Rational Automata Networks: A Non-Markovian Modeling Approach
INFORMS Journal on Computing
Approximate aggregation of Markovian models using alternating least squares
Performance Evaluation
| Hi-index | 0.00 |