293 search results - page 12 / 59 » Advances in Probabilistic Model Checking |
110
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
SIGSOFT
2009
ACM
16 years 15 days ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
104
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...