247 search results - page 7 / 50 » Perspectives in Probabilistic Verification |
122
Voted
DC
2000
15 years 3 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
107
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
86
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
122
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
ISMVL
2000
IEEE
15 years 7 months ago
2000
IEEE