Tools for Test Case Generation. - Axel Belinfante; Lars Frantzen; Christian Schallhart (Model-Based Testing of Reactive Systems, 2004)

Towards Formal Semantics for ODRL. - Markus Holzer 001; Stefan Katzenbeisser 001; Christian Schallhart (ODRL Workshop, 2004)

Provably Secure Authentication of Digital Media Through Invertible Watermarks. - Jana Dittmann; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (IACR Cryptol. ePrint Arch., 2004)

Detecting Malicious Code by Model Checking. - Johannes Kinder; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (DIMVA, 2005)

Ensuring Media Integrity on Third-Party Infrastructures. - Jana Dittmann; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (SEC, 2005)

Malware Engineering. - Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (Sicherheit, 2005)

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments - Uwe Hermann; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (CoRR, 2005)

Approximating Succinct MaxSat. - Christian Schallhart; Luca Trevisan 001 (J. Log. Comput., 2005)

Model-based runtime analysis of distributed reactive systems. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (ASWEC, 2006)

Monitoring of Real-Time Properties. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (FSTTCS, 2006)

The Good, the Bad, and the Ugly, But How Ugly Is Ugly? - Andreas Bauer 002; Martin Leucker; Christian Schallhart (RV, 2007)

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. - Somesh Jha; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith; Stephen Chenney (IACR Cryptol. ePrint Arch., 2007)

Impartial Anticipation in Runtime-Verification. - Wei Dong 006; Martin Leucker; Christian Schallhart (ATVA, 2008)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (CAV, 2008)

Query-Driven Program Testing. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (VMCAI, 2009)

A brief account of runtime verification. - Martin Leucker; Christian Schallhart (J. Log. Algebraic Methods Program., 2009)

An Introduction to Test Specification in FQL. - Andreas Holzer; Michael Tautschnig; Christian Schallhart; Helmut Veith (Haifa Verification Conference, 2010)

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. - Visar Januzaj; Stefan Kugele; Boris Langer; Christian Schallhart; Helmut Veith (ISoLA (1), 2010)

How did you specify your test suite. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (ASE, 2010)

Comparing LTL Semantics for Runtime Verification. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (J. Log. Comput., 2010)

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. - Andreas Bauer 002; Martin Leucker; Christian Schallhart; Michael Tautschnig (Int. J. Softw. Tools Technol. Transf., 2010)

Proactive Detection of Computer Worms Using Model Checking. - Johannes Kinder; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (IEEE Trans. Dependable Secur. Comput., 2010)

Semantic integrity in large-scale online simulations. - Somesh Jha; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith; Stephen Chenney (ACM Trans. Internet Techn., 2010)

Exploring the web with OXPath. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart; Andrew Jon Sellers (EDBT/ICDT Workshop on Linked Web Data Management, 2011)

Taking the OXPath down the deep web. - Andrew Jon Sellers; Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart (EDBT, 2011)

Seamless Testing for Models and Code. - Andreas Holzer; Visar Januzaj; Stefan Kugele; Boris Langer; Christian Schallhart; Michael Tautschnig; Helmut Veith (FASE, 2011)

How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction. - Tim Furche; Georg Gottlob; Xiaonan Guo 001; Christian Schallhart; Andrew Jon Sellers; Cheng Wang (ICWE, 2011)

Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Giorgio Orsi 001; Christian Schallhart; Cheng Wang (RR, 2011)

Real understanding of real estate forms. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo 001; Giorgio Orsi 001; Christian Schallhart (WIMS, 2011)

OXPath: little language, little memory, great value. - Andrew Jon Sellers; Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart (WWW (Companion Volume), 2011)

OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart; Andrew Jon Sellers (Proc. VLDB Endow., 2011)

Runtime Verification for LTL and TLTL. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (ACM Trans. Softw. Eng. Methodol., 2011)

EAGER: Extending Automatically Gazetteers for Entity Recognition. - Ömer Farukhan Günes; Tim Furche; Christian Schallhart; Jens Lehmann 001; Axel-Cyrille Ngonga Ngomo (PWNLP@ACL, 2012)

DIADEM: Domains to Databases. - Tim Furche; Georg Gottlob; Christian Schallhart (DEXA (1), 2012)

Turn the Page: Automated Traversal of Paginated Websites. - Tim Furche; Giovanni Grasso 001; Andrey Kravchenko; Christian Schallhart (ICWE, 2012)

deqa: Deep Web Extraction for Question Answering. - Jens Lehmann 001; Tim Furche; Giovanni Grasso 001; Axel-Cyrille Ngonga Ngomo; Christian Schallhart; Andrew Jon Sellers; Christina Unger; Lorenz Bühmann; Daniel Gerber; Konrad Höffner; David Liu; Sören Auer (ISWC (2), 2012)

Proving Reachability Using FShell - (Competition Contribution). - Andreas Holzer; Daniel Kroening; Christian Schallhart; Michael Tautschnig; Helmut Veith (TACAS, 2012)

Think before you Act! Minimising Action Execution in Wrappers. - Tim Furche; Giovanni Grasso 001; Christian Schallhart; Andrew Jon Sellers; Antonino Rullo (VLDS, 2012)

DIADEM: domain-centric, intelligent, automated data extraction methodology. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Omer Gunes; Xiaonan Guo 001; Andrey Kravchenko; Giorgio Orsi 001; Christian Schallhart; Andrew Jon Sellers; Cheng Wang (WWW (Companion Volume), 2012)

OPAL: automated form understanding for the deep web. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo 001; Giorgio Orsi 001; Christian Schallhart (WWW, 2012)

Automatically learning gazetteers from the deep web. - Tim Furche; Giovanni Grasso 001; Giorgio Orsi 001; Christian Schallhart; Cheng Wang (WWW (Companion Volume), 2012)

OPAL: a passe-partout for web forms. - Xiaonan Guo 001; Jochen Kranzdorf; Tim Furche; Giovanni Grasso 001; Giorgio Orsi 001; Christian Schallhart (WWW (Companion Volume), 2012)

Visual oXPath: robust wrapping by example. - Jochen Kranzdorf; Andrew Jon Sellers; Giovanni Grasso 001; Christian Schallhart; Tim Furche (WWW (Companion Volume), 2012)

AMBER: Automatic Supervision for Multi-Attribute Extraction - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Giorgio Orsi 001; Christian Schallhart; Cheng Wang (CoRR, 2012)

On the Structure and Complexity of Rational Sets of Regular Languages. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (FSTTCS, 2013)

Bitemporal Complex Event Processing of Web Event Advertisements. - Tim Furche; Giovanni Grasso 001; Michael Huemer; Christian Schallhart; Michael Schrefl (WISE (2), 2013)

PeaCE-Ful Web Event Extraction and Processing. - Tim Furche; Giovanni Grasso 001; Michael Huemer; Christian Schallhart; Michael Schrefl (WISE (2), 2013)

Effective web scraping with OXPath. - Giovanni Grasso 001; Tim Furche; Christian Schallhart (WWW (Companion Volume), 2013)

Verification across Intellectual Property Boundaries. - Sagar Chaki; Christian Schallhart; Helmut Veith (ACM Trans. Softw. Eng. Methodol., 2013)

The ontological key: automatically understanding and integrating forms to access the deep Web. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo 001; Giorgio Orsi 001; Christian Schallhart (VLDB J., 2013)

OXPath: A language for scalable data extraction, automation, and crawling on the deep web. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart; Andrew Jon Sellers (VLDB J., 2013)

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. - Martin Franz; Andreas Holzer; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (CC, 2014)

DIADEM: Thousands of Websites to a Single Database. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo 001; Giorgio Orsi 001; Christian Schallhart; Cheng Wang (Proc. VLDB Endow., 2014)

Compilation for Secure Two-Party Computations. - Martin Franz; Andreas Holzer; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (Software Engineering & Management, 2015)

Closure properties and complexity of rational sets of regular languages. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (Theor. Comput. Sci., 2015)

Robust and Noise Resistant Wrapper Induction. - Tim Furche; Jinsong Guo; Sebastian Maneth; Christian Schallhart (SIGMOD Conference, 2016)

PeaCE-Ful Web Event Extraction and Processing as Bitemporal Mutable Events. - Tim Furche; Giovanni Grasso 001; Michael Huemer; Christian Schallhart; Michael Schrefl (ACM Trans. Web, 2016)

Unified Verbalization for Speech Recognition & Synthesis Across Languages. - Sandy Ritchie; Richard Sproat; Kyle Gorman; Daan van Esch; Christian Schallhart; Nikos Bampounis; Benoît Brard; Jonas Fromseier Mortensen; Millie Holt; Eoin Mahon (INTERSPEECH, 2019)

Frugal Paradigm Completion. - Alexander Erdmann; Tom Kenter; Markus Becker; Christian Schallhart (ACL, 2020)

Data-Driven Parametric Text Normalization: Rapidly Scaling Finite-State Transduction Verbalizers to New Languages. - Sandy Ritchie; Eoin Mahon; Kim Heiligenstein; Nikos Bampounis; Daan van Esch; Christian Schallhart; Jonas Fromseier Mortensen; Benoît Brard (SLTU-CCURL@LREC, 2020)