Verification Across Intellectual Property Boundaries. by Chaki, S, Schallhart, C, Veith, H

Generalized Quantifiers in Logic Programs by Eiter, T, Gottlob, G, Veith, H

Modular Logic Programming and Generalized Quantifiers by Eiter, T, Gottlob, G, Veith, H

Succinctness as a Source of Complexity in Logical Formalisms by Gottlob, G, Leone, N, Veith, H

Second Order Logic and the Weak Exponential Hierarchies by Gottlob, G, Leone, N, Veith, H

Datalog LITE: a deductive query language with linear time model checking by Gottlob, G, Grädel, E, Veith, H

Detecting Malicious Code by Model Checking. by Kinder, J, Katzenbeisser, S, Schallhart, C, Veith, H

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. by Jha, S, Katzenbeisser, S, Schallhart, C, Veith, H, Chenney, S

Proactive Detection of Computer Worms Using Model Checking. by Kinder, J, Katzenbeisser, S, Schallhart, C, Veith, H

Semantic integrity in large-scale online simulations. by Jha, S, Katzenbeisser, S, Schallhart, C, Veith, H, Chenney, S

Query-Driven Program Testing. by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H

Query−Driven Program Testing by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H

An Introduction to Test Specification in FQL. by Holzer, A, Tautschnig, M, Schallhart, C, Veith, H

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H

How did you specify your test suite ? by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H

How did you specify your test suite. by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H

An Introduction to Test Specification in FQL by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. by Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Veith, H

Proving Reachability Using FShell - (Competition Contribution). by Holzer, A, Kroening, D, Schallhart, C, Tautschnig, M, Veith, H