| [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), 2012.
accepted for publication.
[ » 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), 2012.
accepted for publication.
[ » 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), 2012.
accepted for publication.
[ » bib | » pdf | » abstract ] |
| [37] |
Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, and
Christian Schallhart.
Forms form Patterns: Reusable Form Understanding.
In International Word Wide Web Conference (WWW'12), 2012.
accepted for publication.
[ » 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), 2012.
accepted for publication.
[ » 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 (VLDB'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 Holzer, Michael Tautschnig, Christian Schallhart, and Helmut Veith.
An Introduction to Test Specification in FQL.
In Haifa Verfication Confernce (HVC'10), volume 6504 of
Lecture Notes in Computer Science (LNCS), pages 9-22, 2010.
invited.
[ » bib | » pdf | » abstract ] |
| [26] |
Visat 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 ] |
| [25] |
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 ] |
| [24] |
Andreas Bauer, Martin Leucker, and Christian Schallhart.
Runtime Verification for LTL and TLTL.
ACM Transactions on Software Engineering and Methodology
(TOSEM), 20(4), 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-Dirven 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 ] |
| [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 Schallart.
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 was generated with » bibtex2html 1.95.