Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
On the use of partial symmetries for lumping Markov chains
ACM SIGMETRICS Performance Evaluation Review
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Manual and Automatic Exploitation of Symmetries in SPN Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
From partially to fully lumped Markov chains in stochastic well formed Petri nets
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Automatic symmetry detection in well-formed nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Lumping partially symmetrical stochastic models
Performance Evaluation
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
| Hi-index | 0.00 |