Christian Schallhart

According to our database1, Christian Schallhart authored at least 57 papers between 2004 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Robust and Noise Resistant Wrapper Induction.
Proceedings of the 2016 International Conference on Management of Data, 2016

2015
Closure properties and complexity of rational sets of regular languages.
Theor. Comput. Sci., 2015

Compilation for Secure Two-Party Computations.
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.
PVLDB, 2014

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

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

The ontological key: automatically understanding and integrating forms to access the deep Web.
VLDB J., 2013

Verification across Intellectual Property Boundaries.
ACM Trans. Softw. Eng. Methodol., 2013

Effective web scraping with OXPath.
Proceedings of the 22nd International World Wide Web Conference, 2013

PeaCE-Ful Web Event Extraction and Processing.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Bitemporal Complex Event Processing of Web Event Advertisements.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

On the Structure and Complexity of Rational Sets of Regular Languages.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012
AMBER: Automatic Supervision for Multi-Attribute Extraction
CoRR, 2012

Visual oXPath: robust wrapping by example.
Proceedings of the 21st World Wide Web Conference, 2012

OPAL: a passe-partout for web forms.
Proceedings of the 21st World Wide Web Conference, 2012

Automatically learning gazetteers from the deep web.
Proceedings of the 21st World Wide Web Conference, 2012

OPAL: automated form understanding for the deep web.
Proceedings of the 21st World Wide Web Conference 2012, 2012

DIADEM: domain-centric, intelligent, automated data extraction methodology.
Proceedings of the 21st World Wide Web Conference, 2012

Think before you Act! Minimising Action Execution in Wrappers.
Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, 2012

Proving Reachability Using FShell - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

deqa: Deep Web Extraction for Question Answering.
Proceedings of the Semantic Web - ISWC 2012, 2012

Turn the Page: Automated Traversal of Paginated Websites.
Proceedings of the Web Engineering - 12th International Conference, 2012

DIADEM: Domains to Databases.
Proceedings of the Database and Expert Systems Applications, 2012

EAGER: Extending Automatically Gazetteers for Entity Recognition.
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.
ACM Trans. Softw. Eng. Methodol., 2011

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

OXPath: little language, little memory, great value.
Proceedings of the 20th International Conference on World Wide Web, 2011

Real understanding of real estate forms.
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

Little Knowledge Rules the Web: Domain-Centric Result Page Extraction.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction.
Proceedings of the Web Engineering - 11th International Conference, 2011

Seamless Testing for Models and Code.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Taking the OXPath down the deep web.
Proceedings of the EDBT 2011, 2011

Exploring the web with OXPath.
Proceedings of the 2011 EDBT/ICDT Workshop on Linked Web Data Management, 2011

2010
Semantic integrity in large-scale online simulations.
ACM Trans. Internet Techn., 2010

Proactive Detection of Computer Worms Using Model Checking.
IEEE Trans. Dependable Sec. Comput., 2010

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

Comparing LTL Semantics for Runtime Verification.
J. Log. Comput., 2010

How did you specify your test suite.
Proceedings of the ASE 2010, 2010

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Introduction to Test Specification in FQL.
Proceedings of the Hardware and Software: Verification and Testing, 2010

2009
A brief account of runtime verification.
J. Log. Algebr. Program., 2009

Query-Driven Program Testing.
Proceedings of the Verification, 2009

2008
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Impartial Anticipation in Runtime-Verification.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.
IACR Cryptology ePrint Archive, 2007

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
Proceedings of the Runtime Verification, 7th International Workshop, 2007

2006
Monitoring of Real-Time Properties.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Model-based runtime analysis of distributed reactive systems.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005
Approximating Succinct MaxSat.
J. Log. Comput., 2005

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments
CoRR, 2005

Malware Engineering.
Proceedings of the Sicherheit 2005: Sicherheit, 2005

Ensuring Media Integrity on Third-Party Infrastructures.
Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Detecting Malicious Code by Model Checking.
Proceedings of the Detection of Intrusions and Malware, 2005

2004
Provably Secure Authentication of Digital Media Through Invertible Watermarks.
IACR Cryptology ePrint Archive, 2004

Towards Formal Semantics for ODRL.
Proceedings of the First International Workshop on the Open Digital Rights Language (ODRL), 2004

Tools for Test Case Generation.
Proceedings of the Model-Based Testing of Reactive Systems, 2004


  Loading...