117
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
160
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
105
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
122
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Data mining techniques have been developed in many applications. However, it also causes a threat to privacy. We investigate to find an appropriate balance between a need for priv...
119
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Much is known about the differences in expressiveness and succinctness between nondeterministic and deterministic automata on infinite words. Much less is known about the...