170 search results - page 18 / 34 » ProMoSA - Probabilistic Models for Safety Analysis |
111
click to vote
TMC
2011
14 years 4 months ago
2011
Abstract—Recently, many efforts have been made to develop more efficient Inter-Vehicle Communication (IVC) protocols for ondemand route planning according to observed traffic con...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
117
Voted
SCN
2011
Springer
14 years 4 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
SASN
2003
ACM
15 years 2 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
76
Voted
VR
2007
IEEE
15 years 3 months ago
2007
IEEE
Wildfires are a frequent summer-time concern for land managers and communities neighboring wildlands throughout the world. Computational simulations have been developed to help an...