Performance Evaluation: Origins and Directions
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
CTL* model checking on a shared-memory architecture
Formal Methods in System Design
Parallel and Distributed Invariant Checking of Microcontroller Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance modelling and Markov chains
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Parallel state space generation and exploration on shared-memory architectures
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Self-adaptive containers: building resource-efficient applications with low programmer overhead
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
| Hi-index | 0.00 |