Christian Schallhart

Sagar Chaki, Christian Schallhart, Helmut Veith: Verification across Intellectual Property Boundaries. ACM Trans. Softw. Eng. Methodol. 22(2): 15 (2013)

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

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

Tim Furche, Giovanni Grasso, Andrey Kravchenko, Christian Schallhart: Turn the Page: Automated Traversal of Paginated Websites. ICWE 2012: 332-346

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

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

Tim Furche, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers, Antonino Rullo: Think before you Act! Minimising Action Execution in Wrappers. VLDS 2012: 29-34

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

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

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

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

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

Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart: The Ontological Key: Automatically Understanding and Integrating Forms to Access the Deep Web. CoRR abs/1210.5980 (2012)

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

Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers: OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications. PVLDB 4(11): 1016-1027 (2011)

Andreas Bauer, Martin Leucker, Christian Schallhart: Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14 (2011)

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

Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart: Taking the OXPath down the deep web. EDBT 2011: 542-545

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

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

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

Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart: Real understanding of real estate forms. WIMS 2011: 13

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

Andreas Bauer, Martin Leucker, Christian Schallhart: Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010)

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. STTT 12(1): 23-37 (2010)

Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Sec. Comput. 7(4): 424-438 (2010)

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

Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith: An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22

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

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: How did you specify your test suite. ASE 2010: 407-416

Martin Leucker, Christian Schallhart: A brief account of runtime verification. J. Log. Algebr. Program. 78(5): 293-303 (2009)

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166

Wei Dong, Martin Leucker, Christian Schallhart: Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396

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

Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146

Andreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138

Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IEEE Symposium on Security and Privacy 2007: 179-186

Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CoRR abs/cs/0701187 (2007)

Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IACR Cryptology ePrint Archive 2007: 56 (2007)

Andreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252

Andreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272

Christian Schallhart, Luca Trevisan: Approximating Succinct MaxSat. J. Log. Comput. 15(4): 551-557 (2005)

Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187

Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Ensuring Media Integrity on Third-Party Infrastructures. SEC 2005: 493-508

Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Malware Engineering. Sicherheit 2005: 139-148

Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. CoRR abs/cs/0503080 (2005)

Axel Belinfante, Lars Frantzen, Christian Schallhart: Tools for Test Case Generation. Model-Based Testing of Reactive Systems 2004: 391-438

Markus Holzer, Stefan Katzenbeisser, Christian Schallhart: Towards Formal Semantics for ODRL. ODRL Workshop 2004: 137-148

Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Provably Secure Authentication of Digital Media Through Invertible Watermarks. IACR Cryptology ePrint Archive 2004: 293 (2004)