Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
Distributed and structured analysis approaches to study large and complex systems
Lectures on formal methods and performance analysis
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Transient Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering
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
Symbolic Methods for the State Space Exploration of GSPN Models
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Transient Analysis of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
On assembly sequence planning using Petri nets
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel and Distributed Invariant Checking of Microcontroller Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel algorithms for finding SCCs in implicitly given graphs
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Performance modelling and Markov chains
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
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 |