CAV
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
3DPVT
2006
IEEE
13 years 8 months ago
2006
IEEE
Detection and analysis of ocean surface phenomena have so far relied on manual analysis of long sequences of satellite images or images produced from the mathematical models. In t...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
SAS
2005
Springer
13 years 10 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
MIAR
2006
IEEE
13 years 10 months ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...
ICDM
2006
IEEE
13 years 10 months ago
2006
IEEE
Among the visual features of multimedia content, shape is of particular interest because humans can often recognize objects solely on the basis of shape. Over the past three decad...
SAS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
CAV
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
ICPR
2008
IEEE
13 years 11 months ago
2008
IEEE
The importance of accurate early diagnostics of dyslexia that severely affects the learning abilities of children cannot be overstated. Neuropathological studies have revealed an ...