Christian Schallhart

Jonas Fromseier Mortensen

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

Unified Verbalization for Speech Recognition & Synthesis Across Languages.

[BibT_eX]

[DOI]

Millie Holt

Eoin Mahon

Proceedings of the 20th Annual Conference of the International Speech Communication Association, 2019

2016

PeaCE-Ful Web Event Extraction and Processing as Bitemporal Mutable Events.

[BibT_eX]

[DOI]

ACM Trans. Web, 2016

Robust and Noise Resistant Wrapper Induction.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

2015

Closure properties and complexity of rational sets of regular languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Compilation for Secure Two-Party Computations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

DIADEM: Thousands of Websites to a Single Database.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

OXPath: A language for scalable data extraction, automation, and crawling on the deep web.

[BibT_eX]

[DOI]

VLDB J., 2013

The ontological key: automatically understanding and integrating forms to access the deep Web.

[BibT_eX]

[DOI]

VLDB J., 2013

Verification across Intellectual Property Boundaries.

[BibT_eX]

[DOI]

Sagar Chaki

Helmut Veith

ACM Trans. Softw. Eng. Methodol., 2013

Effective web scraping with OXPath.

[BibT_eX]

[DOI]

Giovanni Grasso

Tim Furche

Axel-Cyrille Ngonga Ngomo

Proceedings of the 22nd International World Wide Web Conference, 2013

PeaCE-Ful Web Event Extraction and Processing.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Bitemporal Complex Event Processing of Web Event Advertisements.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

On the Structure and Complexity of Rational Sets of Regular Languages.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

AMBER: Automatic Supervision for Multi-Attribute Extraction

[BibT_eX]

[DOI]

CoRR, 2012

Visual oXPath: robust wrapping by example.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

OPAL: a passe-partout for web forms.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

Automatically learning gazetteers from the deep web.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

OPAL: automated form understanding for the deep web.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference 2012, 2012

DIADEM: domain-centric, intelligent, automated data extraction methodology.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

Think before you Act! Minimising Action Execution in Wrappers.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, 2012

Proving Reachability Using FShell - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

deqa: Deep Web Extraction for Question Answering.

[BibT_eX]

[DOI]

Jens Lehmann

Tim Furche

Giovanni Grasso

Proceedings of the Semantic Web - ISWC 2012, 2012

Turn the Page: Automated Traversal of Paginated Websites.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 12th International Conference, 2012

DIADEM: Domains to Databases.

[BibT_eX]

[DOI]

Tim Furche

Georg Gottlob

Axel-Cyrille Ngonga Ngomo

Proceedings of the Database and Expert Systems Applications, 2012

EAGER: Extending Automatically Gazetteers for Entity Recognition.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on the People's Web Meets NLP: Collaboratively Constructed Semantic Resources and their Applications to NLP@ACL 2012, 2012

2011

Runtime Verification for LTL and TLTL.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2011

OXPath: little language, little memory, great value.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on World Wide Web, 2011

Real understanding of real estate forms.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

Little Knowledge Rules the Web: Domain-Centric Result Page Extraction.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 11th International Conference, 2011

Seamless Testing for Models and Code.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Taking the OXPath down the deep web.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2011, 2011

Exploring the web with OXPath.

[BibT_eX]

[DOI]

Proceedings of the 2011 EDBT/ICDT Workshop on Linked Web Data Management, 2011

2010

Semantic integrity in large-scale online simulations.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2010

Proactive Detection of Computer Worms Using Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2010

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

Comparing LTL Semantics for Runtime Verification.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

How did you specify your test suite.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Introduction to Test Specification in FQL.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2010

2009

A brief account of runtime verification.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Query-Driven Program Testing.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

2008

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Impartial Anticipation in Runtime-Verification.

[BibT_eX]

[DOI]

Wei Dong

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2006

Monitoring of Real-Time Properties.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Model-based runtime analysis of distributed reactive systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Approximating Succinct MaxSat.

[BibT_eX]

[DOI]

Luca Trevisan

J. Log. Comput., 2005

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments

[BibT_eX]

[DOI]

CoRR, 2005

Malware Engineering.

[BibT_eX]

[DOI]

Stefan Katzenbeisser