Survey on Directed Model Checking
Model Checking and Artificial Intelligence
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Dependability Engineering of Silent Self-stabilizing Systems
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
DiPro: a tool for probabilistic counterexample generation
Proceedings of the 18th international SPIN conference on Model checking software
From probabilistic counterexamples via causality to fault trees
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Computing the leakage of information-hiding systems
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
The origins of QEST in these diverse communities are reflected in the wide range of topics in the call and the great variety of the submitted and accepted papers. This, of course, makes the selection process challenging but also stimulating. The reviewing ...