(» show abstracts)
[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] Omer 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), 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.