132 search results - page 8 / 27 » Ellipsoidal Techniques for Reachability Analysis |
SCIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Moving objects detection is a crucial step for video surveillance systems. The segmentation performed by motion detection algorithms is often noisy, which makes it hard t...
DEDS
2002
13 years 8 months ago
2002
We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...
CONCUR
2001
Springer
14 years 28 days ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...