| [62] |
Alexander Erdmann, Tom Kenter, Markus Becker, and Christian Schallhart.
Frugal Paradigm Completion.
In Annual Conference of the Association for Computational
Linguistics (ACL'20), 2020.
[ » bib | » pdf | » abstract ] |
| [61] |
Sandy Ritchie, Eoin Mahon, Kim Heiligenstein, Nikos Bampounis, Daan van Esch,
Christian Schallhart, Jonas Fromseier Mortensen, and Benoît Brard.
Data-Driven Parametric Text Normalization: Rapidly Scaling
Finite-State Transduction Verbalizers to New Languages.
In Joint Spoken Language Technologies for Under-resourced
languages and Collaboration and Computing for Under-Resourced Languages
Workshop (SLTU-CCURL'20), 2020.
[ » bib | » pdf ] |
| [60] |
Sandy Ritchie, Richard Sproat, Kyle Gorman, Daan van Esch, Christian
Schallhart, Nikos Bampounis, Benoît Brard, Jonas Fromseier Mortensen,
Millie Holt, and Eoin Mahon.
Unified verbalization for speech recognition & synthesis across
languages.
In INTERSPEECH'19, pages 3530-3534, 2019.
[ » bib | » pdf | » abstract ] |
| [59] |
Georg Gottlob, Tim Furche, Giovanni Grasso, Christian Schallhart, and Giorgio
Orsi.
System for automatically generating wrapper for entire websites.
United States Paptent, 2019.
US 10,325,000 B2.
[ » bib | » pdf | » abstract ] |
| [58] |
Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, and Michael
Schrefl.
PEACE-Ful Web Event Extraction and Processing as Bitemporal Mutable
Events.
ACM Transactions on the Web (TWEB), 10(3), 2016.
[ » bib | » pdf | » abstract ] |
| [57] |
Tim Furche, Jinsong Guo, Sebastian Maneth, and Christian Schallhart.
Robust and Noise Resistant Wrapper Induction.
In SIGMOD'16, pages 773-784, 2016.
[ » bib | » pdf | » abstract ] |
| [56] |
Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith.
Closure properties and complexity of rational sets of regular
languages.
Theoretical Computer Science (TCS), 605:62-79, 2015.
[ » bib | » pdf | » abstract ] |
| [55] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi,
Christian Schallhart, and Cheng Wang.
DIADEM: Thousands of Websites to a Single Database.
Proceedings of the VLDB Endowment/International Conference on
Very Large Databases (PVLDB'14), 7(14):1845-1856, 2014.
[ » bib | » pdf | » abstract ] |
| [54] |
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, and
Helmut Veith.
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
In International Conference on Compiler Construction (CC'14),
pages 244-249, 2014.
[ » bib | » pdf | » abstract ] |
| [53] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, and
Christian Schallhart.
The Ontological Key: Automatically Understanding and Integrating
Forms to Access the Deep Web.
VLDB Journal, 22(5), 2014.
615-640.
[ » bib | » pdf | » abstract ] |
| [52] |
Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith.
On the structure and complexity of rational sets of regular
languages.
In Foundations of Software Technology and Theoretical Computer
Science (FSTTCS'13), 2013.
377-388.
[ » bib | » pdf | » abstract ] |
| [51] |
Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, and Michael
Schrefl.
PEACE-ful Web Event Extraction and Processing.
In 14th International Conference on Web Information System
Engineering (WISE'13), pages 523-526, 2013.
[ » bib | » pdf | » abstract ] |
| [50] |
Tim Furche, Giovanni Grasso, Michael Huemer, Christian Schallhart, and Michael
Schrefl.
Bitemporal Complex Event Processing of Web Event Advertisements.
In 14th International Conference on Web Information System
Engineering (WISE'13), pages 333-346, 2013.
[ » bib | » pdf | » abstract ] |
| [49] |
Tim Furche, Giovanni Grasso, and Christian Schallhart.
Effective Web Scraping with OXPath.
In WWW (developer track), pages 23-26, 2013.
[ » bib | » pdf | » abstract ] |
| [48] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, and Andrew
Sellers.
OXPATH: A Language for Scalable Data Extraction, Automation, and
Crawling on the Deep Web.
VLDB Journal, 22(1):47-72, 2013.
VLDB Best Papers Issue.
[ » bib | » pdf | » abstract ] |
| [47] |
Sagar Chacki, Christian Schallhart, and Helmut Veith.
Verification Across Intellectual Property Boundaries.
ACM Transactions on Software Engineering and Methodology
(TOSEM), 22(2):15:1-15:12, 2013.
[ » bib | » pdf | » abstract ] |
| [46] |
Ömer Gunes, Tim Furche, Christian Schallhart, Jens, Lehmann, and Axel Ngonga.
EAGER: Extending Automatically Gazetteers for Entity Recognition.
In Proceedings of the 3rd Workshop on the People’s Web Meets
NLP, pages 29-33, 2012.
[ » bib | » pdf | » abstract ] |
| [45] |
Jens Lehmann, Tim Furche, Giovanni Grasso, Axel-Cyrille Ngonga Ngomo, Christian
Schallhart, Andrew Sellers, Christina Unger, Lorenz Bühmann, Daniel
Gerber, David Liu Konrad Höffner and, and Sören Auer.
DEQA: Deep Web Extraction for Question Answering.
In International Semantic Web Conference (ISWC'12), Lecture
Notes in Computer Science (LNCS), pages 131-147, 2012.
[ » bib | » pdf | » abstract ] |
| [44] |
Tim Furche, Giovanni Grasso, Antonino Rullo, Christian Schallhart, and Andrew
Sellers.
Think before you Act! Minimising Action Execution in Wrappers.
In International Workshop on Searching and Integrating New Web
Data Sources (VLDS'12), pages 29-34, 2012.
[ » bib | » pdf | » abstract ] |
| [43] |
Tim Furche, Georg Gottlob, and Christian Schallhart.
DIADEM: Domains to Databases.
In International Conference on Database and Expert Systems
Applications (DEXA'12), pages 1-8, 2012.
invited.
[ » bib | » pdf | » abstract ] |
| [42] |
Tim Furche, Giovanni Grasso, Andrey Kravchenko, and Christian Schallhart.
Turn the Page: Automated Traversal of Paginated Websites.
In International Conference on Web Engineering (ICWE'12),
volume 7387 of Lecture Notes in Computer Science (LNCS), pages
332-346, 2012.
[ » bib | » pdf | » abstract ] |
| [41] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Ömer Gunes, Xiaonan Guo, Andrey
Kravchenko, Giorgio Orsi, Christian Schallhart, Andrew Sellers, and Cheng
Wang.
DIADEM: Domain-centric, Intelligent, Automated Data Extraction
Methodology.
In International Word Wide Web Conference (WWW'12), pages
267-270, 2012.
[ » bib | » pdf | » abstract ] |
| [40] |
Tim Furche, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, and Cheng
Wang.
Automatically Learning Gazetteers from the Deep Web.
In International Word Wide Web Conference (WWW'12), pages
341-344, 2012.
[ » bib | » pdf | » abstract ] |
| [39] |
Xiaonan Guo, Jochen Kranzdorf, Tim Furche, Giovanni Grasso, Giorgio Orsi, and
Christian Schallhart.
OPAL: A Passe-partout for Web Forms.
In International Word Wide Web Conference (WWW'12), pages
353-356, 2012.
[ » bib | » pdf | » abstract ] |
| [38] |
Jochen Kranzdorf, Andrew Sellers, Giovanni Grasso, Christian Schallhart, and
Tim Furche.
Visual OXPath: Robust Wrapping by Example.
In International Word Wide Web Conference (WWW'12), pages
369-372, 2012.
[ » bib | » pdf | » abstract ] |
| [37] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, and
Christian Schallhart.
OPAL: Automated Form Understanding for the Deep Web.
In International Word Wide Web Conference (WWW'12), pages
829-838, 2012.
[ » bib | » pdf | » abstract ] |
| [36] |
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, and
Helmut Veith.
Proving Reachability using FShell (Competition Contribution).
In International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS'12), Lecture Notes in Computer
Science (LNCS), pages 538-541, 2012.
[ » bib | » pdf | » abstract ] |
| [35] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart,
and Cheng Wang.
Little Knowledge Rules The Web: Domain-Centric Result Page
Extraction.
In International Conference on Web Reasoning and Rule Systems
(RR'11), pages 61-76, 2011.
[ » bib | » pdf | » abstract ] |
| [34] |
Tim Furche, Georg Gottlob, Xiaonan Guo, Christian Schallhart, Andrew Sellers,
and Cheng Wang.
How the Minotaur turned into Ariadne: Ontologies in Web Data
Extraction.
In International Conference on Web Engineering (ICWE'11),
pages 13-27, 2011.
invited.
[ » bib | » pdf | » abstract ] |
| [33] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, and Andrew
Sellers.
OXPath: A Language for Scalable, Memory-efficient Data Extraction
from Web Applications.
Proceedings of the VLDB Endowment/International Conference on
Very Large Databases (PVLDB'11), 4(11):1016-1027, 2011.
[ » bib | » pdf | » abstract ] |
| [32] |
Andrew Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, and Christian
Schallhart.
Exploring the Web with OXPath.
In International Workshop on Linked Web Data Management
(LWDM'11), 2011.
[ » bib | » pdf | » abstract ] |
| [31] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, and
Christian Schallhart.
Real Understanding for Real Estate Forms.
In International Conference on Web Intelligence, Mining and
Semantics (WIMS'11), 2011.
[ » bib | » pdf | » abstract ] |
| [30] |
Andrew Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, and Christian
Schallhart.
OXPath: Little Language, Little Memory, Great Value.
In International Word Wide Web Conference (WWW'11), pages
261-264, 2011.
[ » bib | » pdf | » abstract ] |
| [29] |
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian
Schallhart, Michael Tautschnig, and Helmut Veith.
Seamless Testing for Models and Code.
In Fundamental Approaches to Software Engineering (FASE'11),
Lecture Notes in Computer Science (LNCS), pages 278-293, 2011.
[ » bib | » pdf | » abstract ] |
| [28] |
Andrew Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, and Christian
Schallhart.
Taking the OXPath down the Deep Web.
In International Conference on Extending Database Technology
(EDBT'11), pages 542-545, 2011.
[ » bib | » pdf | » abstract ] |
| [27] |
Andreas Bauer, Martin Leucker, and Christian Schallhart.
Runtime Verification for LTL and TLTL.
ACM Transactions on Software Engineering and Methodology
(TOSEM), 20(4), 2011.
[ » bib | » pdf | » abstract ] |
| [26] |
Andreas Holzer, Michael Tautschnig, Christian Schallhart, and Helmut Veith.
An Introduction to Test Specification in FQL.
In Haifa Verification Confernce (HVC'10), volume 6504 of
Lecture Notes in Computer Science (LNCS), pages 9-22, 2010.
invited.
[ » bib | » pdf | » abstract ] |
| [25] |
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, and Helmut
Veith.
New Challenges in the Development of Critical Embedded Systems-An
“aeromotive” Perspective.
In International Symposium on Leveraging Applications
(ISoLA'10), volume 6415 of Lecture Notes in Computer Science (LNCS),
pages 1-2, 2010.
[ » bib | » abstract ] |
| [24] |
Andreas Holzer, Michael Tautschnig, Christian Schallhart, and Helmut Veith.
How did you specify your test suite ?
In Automated Software Engineering (ASE'10), pages 407-416,
2010.
[ » bib | » pdf | » abstract ] |
| [23] |
Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, and
Stephen Chenney.
Semantic Integrity in Large-Scale Online Simulations.
ACM Transactions on Internet Technology (TOIT), 10(1), 2010.
[ » bib | » pdf | » abstract ] |
| [22] |
Andreas Bauer, Martin Leucker, and Christian Schallhart.
Comparing LTL Semantics for Runtime Verification.
Journal of Logic and Computation (JLC), 20(3):651-674, 2010.
[ » bib | » pdf | » abstract ] |
| [21] |
Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig.
Don't care in SMT-Building flexible yet efficient
abstraction/refinement solvers.
Software Tools for Technology Transfer (STTT), 12(1):23-37,
2010.
[ » bib | » pdf | » abstract ] |
| [20] |
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, and Helmut Veith.
Proactive Detection of Computer Worms Using Model Checking.
IEEE Transactions on Dependable and Secure Computing (TDSC),
4(7):424-438, 2010.
[ » bib | » pdf | » abstract ] |
| [19] |
Martin Leucker and Christian Schallhart.
A Brief Account of Runtime Verification.
Journal of Logic and Algebraic Programming (JLAP),
78(5):293-303, 2009.
[ » bib | » pdf | » abstract ] |
| [18] |
Andreas Holzer, Michael Tautschnig, Christian Schallhart, and Helmut Veith.
Query-Driven Program Testing.
In Verification, Model Checking, and Abstract Interpretation
(VMCAI'09), volume 5403 of Lecture Notes in Computer Science (LNCS),
pages 151-166, 2009.
[ » bib | » pdf | » abstract ] |
| [17] |
Wei Dong, Martin Leucker, and Christian Schallhart.
Impartial Anticipation in Runtime-Verification.
In Automated Technology for Verification and Analysis
(ATVA'08), volume 5311 of Lecture Notes in Computer Science (LNCS),
2008.
386-396.
[ » bib | » pdf | » abstract ] |
| [16] |
Andreas Holzer, Michael Tautschnig, Christian Schallhart, and Helmut Veith.
FSHELL: Systematic Test Case Generation for Dynamic Analysis and
Measurement.
In Computer Aided Verification (CAV'08), volume 5123 of
Lecture Notes in Computer Science (LNCS), pages 209-213, 2008.
[ » bib | » pdf | » abstract ] |
| [15] |
Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig.
Don't care in SMT-Building flexible yet efficient
abstraction/refinement solvers.
In Workshop On Leveraging Applications of Formal Methods,
Verification and Validation (ISoLA'07), pages 135-146, 2007.
[ » bib | » pdf | » abstract ] |
| [14] |
Andreas Bauer, Martin Leucker, and Christian Schallhart.
The good, the bad, and the ugly, but how ugly is ugly?
In Workshop on Runtime Verification (RV'07), volume 4839 of
Lecture Notes in Computer Science (LNCS), pages 126-138, 2007.
[ » bib | » pdf | » abstract ] |
| [13] |
Somesh Jha, Stefan Katzenbeisser, Helmut Veith, and Stephen Chenny.
Enforcing Semantic Integrity on Untrusted Clients in Networked
Virtual Environments (Extended Abstract).
In IEEE Security and Privacy (SP'07), pages 179-186, 2007.
[ » bib | » pdf | » abstract ] |
| [12] |
Sagar Chaki, Christian Schallhart, and Helmut Veith.
Verification Across Intellectual Property Boqundaries.
In Computer Aided Verification (CAV'07), volume 4590 of
Lecture Notes in Computer Science (LNCS), pages 82-94, 2007.
[ » bib | » pdf | » abstract ] |
| [11] |
Andreas Bauer, Martin Leucker, and Christian Schallhart.
Monitoring of Realtime Properties.
In Foundations of Software Technology and Theoretical Computer
Science (FSTTCS'06), volume 4337 of Lecture Notes in Computer Science
(LNCS), pages 260-272, 2006.
[ » bib | » pdf | » abstract ] |
| [10] |
Andreas Bauer, Martin Leucker, and Christian Schallhart.
Runtime Reflection: Dynamic model-based analyis of component-based
distributed embedded systems.
In Modellierung von Automotive Systems, 2006.
[ » bib | » pdf | » abstract ] |
| [9] |
Andreas Bauer, Martin Leucker, and Christian Schallhart.
Model-Based Runtime Analysis of Distributed Reactive Systems.
In Australian Software Engineering Conference (ASWEC'06), pages
243-252, 2006.
[ » bib | » pdf | » abstract ] |
| [8] |
Christian Schallhart and Luca Trevisan.
Approximating Succinct MaxSat.
Journal of Logic and Computation (JLC), 15(4):551-557, 2005.
[ » bib | » pdf | » abstract ] |
| [7] |
Axel Belinfante, Lars Franzen, and Christian Schallhart.
Model-Based Testing of Reactive Systems, volume 3472 of
Lecture Notes in Computer Science (LNCS), chapter Tools for Test Case
Generation, pages 391-438.
Springer, 2005.
[ » bib | » pdf | » abstract ] |
| [6] |
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, and Helmut Veith.
Detecting Malicious Code by Model Checking.
In Conference on Detection of Intrusions and Malware and
Vulnerability Assessment (DIMVA'05), volume 3548 of Lecture Notes in
Computer Science (LNCS), pages 174-187, 2005.
[ » bib | » pdf | » abstract ] |
| [5] |
Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, and Helmut Veith.
Ensuring Media Integrity on Third-Party Infrastructures.
In IFIP International Information Security Conference, pages
493-508, 2005.
[ » bib | » pdf | » abstract ] |
| [4] |
Stefan Katzenbeisser, Christian Schallhart, and Helmut Veith.
Malware Engineering.
In Sicherheit 2005, Sicherheit - Schutz und Zuverlässigkeit, 2.
Jahrestagung, Fachbereich Sicherheit der Gesellschaft für Informatik, pages
139-148, 2005.
[ » bib | » pdf | » abstract ] |
| [3] |
Markus Holzer, Stefan Katzenbeisser, and Christian Schallhart.
Towards a formal semantics for odrl.
In First ODRL International Workshop, pages 137-148, 2004.
[ » bib | » pdf | » abstract ] |
| [2] |
Christian Schallhart.
Transaction Processing for Clustered Virtual Environments.
In NATO Advanced Research Workshop on Concurrent Information
Processing and Computing, pages 146-158, 2003.
invited.
[ » bib | » pdf | » abstract ] |
| [1] |
Ulrich Neumerkel, Christoph Rettig, and Christian Schallhart.
Visualizing solutions with viewers.
In Workshop on Logic Programming Environment (LPE'97), pages
43-50, 1997.
[ » bib ] |
Copyright Notice. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. Also, some of these works have been submitted for publication. Copyright may be transferred without further notice and this version may no longer be accessible.
Acknowledgement. This page has been generated with » bibtex2html 1.95.