@inproceedings{furche12:_turn_page,
author = {Tim Furche and Giovanni Grasso and Andrey Kravchenko
and Christian Schallhart},
title = {Turn the Page: Automated Traversal of Paginated Websites},
booktitle = {{International Conference on Web Engineering (ICWE'12)}},
year = 2012,
note = {accepted for publication}
}
@article{chacki12:_verif_acros_intel_proper_bound,
author = {Sagar Chacki and Christian Schallhart and Helmut Veith},
title = {{Verification Across Intellectual Property Boundaries}},
journal = {{ACM Transactions on Software Engineering and Methodology
(TOSEM)}},
year = 2012,
note = {accepted for publication}
}
@inproceedings{furche12:_diadem,
author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
Ömer Gunes and Xiaonan Guo and Andrey Kravchenko
and Giorgio Orsi and Christian Schallhart and Andrew
Sellers and Cheng Wang},
title = {{DIADEM: Domain-centric, Intelligent, Automated Data
Extraction Methodology}},
booktitle = {{International Word Wide Web Conference (WWW'12)}},
year = 2012,
note = {accepted for publication}
}
@inproceedings{furche12:_autom_learn_gazet_from_deep_web,
author = {Tim Furche and Giovanni Grasso and Giorgio Orsi and
Christian Schallhart and Cheng Wang},
title = {{Automatically Learning Gazetteers from the Deep Web}},
booktitle = {{International Word Wide Web Conference (WWW'12)}},
year = 2012,
note = {accepted for publication}
}
@inproceedings{guo12:_opal,
author = {Xiaonan Guo and Jochen Kranzdorf and Tim Furche and
Giovanni Grasso and Giorgio Orsi and Christian
Schallhart},
title = {{OPAL: A Passe-partout for Web Forms}},
booktitle = {{International Word Wide Web Conference (WWW'12)}},
year = 2012,
note = {accepted for publication}
}
@inproceedings{kranzdorf12:_visual_oxpat,
author = {Jochen Kranzdorf and Andrew Sellers and Giovanni
Grasso and Christian Schallhart and Tim Furche},
title = {{Visual OXPath: Robust Wrapping by Example}},
booktitle = {{International Word Wide Web Conference (WWW'12)}},
year = 2012,
note = {accepted for publication}
}
@inproceedings{furche12:_forms_form_patter,
author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
Xiaonan Guo and Giorgio Orsi and Christian
Schallhart},
title = {{Forms form Patterns: Reusable Form Understanding}},
booktitle = {{International Word Wide Web Conference (WWW'12)}},
year = 2012,
note = {accepted for publication}
}
@inproceedings{holzer12:_provin_reach_using_fshel_compet_contr,
author = {Andreas Holzer and Daniel Kroening and Christian
Schallhart and Michael Tautschnig and Helmut Veith},
title = {{Proving Reachability using FShell (Competition
Contribution)}},
booktitle = {{International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (TACAS)}},
year = 2012,
note = {accepted for publication}
}
@inproceedings{furche11:_littl_knowl_rules_web,
author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
Giorgio Orsi and Christian Schallhart and Cheng
Wang},
title = {{Little Knowledge Rules The Web: Domain-Centric
Result Page Extraction}},
booktitle = {{International Conference on Web Reasoning and Rule
Systems (RR'11)}},
year = 2011,
pages = {61--76}
}
@inproceedings{furche11:_how_minot_turned_into_ariad,
author = {Tim Furche and Georg Gottlob and Xiaonan Guo and
Christian Schallhart and Andrew Sellers and Cheng
Wang},
title = {{How the Minotaur turned into Ariadne: Ontologies in
Web Data Extraction}},
booktitle = {{International Conference on Web Engineering
(ICWE'11)}},
note = {invited},
pages = {13-27},
year = 2011
}
@article{sellers11:_oxpat1,
author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
Christian Schallhart and Andrew Sellers},
title = {{OXPath: A Language for Scalable, Memory-efficient
Data Extraction from Web Applications}},
journal = {{Proceedings of the VLDB Endowment/International
Conference on Very Large Databases (VLDB'11)}},
year = 2011,
volume = 4,
number = 11,
pages = {1016--1027}
}
@inproceedings{sellers11:_explor_web_with_oxpat,
author = {Andrew Sellers and Tim Furche and Georg Gottlob and
Giovanni Grasso and Christian Schallhart},
title = {{Exploring the Web with OXPath}},
booktitle = {{International Workshop on Linked Web Data Management
(LWDM'11)}},
year = 2011
}
@inproceedings{furche11:_real_under_for_real_estat_forms,
author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
Xiaonan Guo and Giorgio Orsi and Christian
Schallhart},
title = {{Real Understanding for Real Estate Forms}},
booktitle = {{International Conference on Web Intelligence, Mining
and Semantics (WIMS'11)}},
year = 2011
}
@inproceedings{sellers11:_oxpat,
author = {Andrew Sellers and Tim Furche and Georg Gottlob and
Giovanni Grasso and Christian Schallhart},
title = {{OXPath: Little Language, Little Memory, Great Value}},
booktitle = {{International Word Wide Web Conference (WWW'11)}},
year = 2011,
pages = {261--264}
}
@inproceedings{holzer11:_seaml_testin_for_model_and_code,
title = {{Seamless Testing for Models and Code}},
author = {Andreas Holzer and Visar Januzaj and Stefan Kugele
and Boris Langer and Christian Schallhart and
Michael Tautschnig and Helmut Veith},
booktitle = {{Fundamental Approaches to Software Engineering
(FASE'11)}},
series = {Lecture Notes in Computer Science (LNCS)},
year = 2011,
pages = {278--293}
}
@inproceedings{sellers11:_takin_oxpat_down_deep_web,
author = {Andrew Sellers and Tim Furche and Georg Gottlob and
Giovanni Grasso and Christian Schallhart},
title = {{Taking the OXPath down the Deep Web}},
booktitle = {{International Conference on Extending Database
Technology (EDBT'11)}},
year = 2011,
pages = {542--545}
}
@inproceedings{holzer10:_introd_to_test_specif_in_fql,
author = {Andreas Holzer and Michael Tautschnig and Christian
Schallhart and Helmut Veith},
title = {{An Introduction to Test Specification in FQL}},
booktitle = {{Haifa Verfication Confernce (HVC'10)}},
year = 2010,
pages = {9--22},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 6504,
note = {invited}
}
@inproceedings{januzaj10:_new_chall_in_devel_of,
author = {Visat Januzaj and Stefan Kugele and Boris Langer and
Christian Schallhart and Helmut Veith},
title = {{New Challenges in the Development of Critical
Embedded Systems---An ``aeromotive'' Perspective}},
booktitle = {{International Symposium on Leveraging
Applications (ISoLA'10)}},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 6415,
pages = {1--2},
year = 2010
}
@inproceedings{holzer10:_how_did_you_specif_your_test_suite,
author = {Andreas Holzer and Michael Tautschnig and Christian
Schallhart and Helmut Veith},
title = {{How did you specify your test suite ?}},
booktitle = {{Automated Software Engineering (ASE'10)}},
pages = {407--416},
year = 2010
}
@article{bauer10:_runtim_verif_for_ltl_and_tltl,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
title = {{Runtime Verification for LTL and TLTL}},
journal = {{ACM Transactions on Software Engineering and Methodology
(TOSEM)}},
year = 2010,
volume = 20,
number = 4
}
@article{leucker09:_brief_accoun_of_runtim_verif,
author = {Martin Leucker and Christian Schallhart},
title = {{A Brief Account of Runtime Verification}},
journal = {{Journal of Logic and Algebraic Programming (JLAP)}},
year = 2009,
volume = 78,
number = 5,
pages = {293--303}
}
@article{jha10:_seman_integ_in_large_scale_onlin_simul,
author = {Somesh Jha and Stefan Katzenbeisser and Christian
Schallhart and Helmut Veith and Stephen Chenney},
title = {{Semantic Integrity in Large-Scale Online Simulations}},
journal = {{ACM Transactions on Internet Technology (TOIT)}},
year = 2010,
volume = 10,
number = 1
}
@inproceedings{holzer09:_query_dirven_progr_testin,
author = {Andreas Holzer and Michael Tautschnig and Christian
Schallhart and Helmut Veith},
title = {{Query-Dirven Program Testing}},
booktitle = {{Verification, Model Checking, and Abstract
Interpretation (VMCAI'09)}},
year = 2009,
pages = {151--166},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 5403
}
@article{bauer10:_compar_ltl_seman_for_runtim_verif,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
title = {{Comparing LTL Semantics for Runtime Verification}},
journal = {{Journal of Logic and Computation (JLC)}},
year = 2010,
pages = {651--674},
volume = 20,
number = 3
}
@article{bauer10:_smt_journal,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart
and Michael Tautschnig},
title = {{Don't care in SMT---Building flexible yet efficient
abstraction/refinement solvers}},
journal = {{Software Tools for Technology Transfer (STTT)}},
year = 2010,
pages = {23--37},
volume = 12,
number = 1
}
@inproceedings{leucker08:_impar_antic_in_runtim_verif,
author = {Wei Dong and Martin Leucker and Christian Schallhart},
title = {{Impartial Anticipation in Runtime-Verification}},
booktitle = {{Automated Technology for Verification and Analysis
(ATVA'08)}},
year = 2008,
note = {386--396},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 5311
}
@article{kinder10:_detec_malic_code_model_check,
author = {Johannes Kinder and Stefan Katzenbeisser and Christian
Schallhart and Helmut Veith},
title = {{Proactive Detection of Computer Worms Using Model
Checking}},
journal = {{IEEE Transactions on Dependable and Secure Computing
(TDSC)}},
year = 2010,
number = 7,
volume = 4,
pages = {424-438}
}
@inproceedings{holzer08,
author = {Andreas Holzer and Michael Tautschnig and Christian
Schallhart and Helmut Veith},
title = {{FSHELL: Systematic Test Case Generation for Dynamic
Analysis and Measurement}},
booktitle = {{Computer Aided Verification (CAV'08)}},
year = 2008,
pages = {209--213},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 5123
}
@inproceedings{bauer07:_smt,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart
and Michael Tautschnig},
title = {{Don't care in SMT---Building flexible yet efficient
abstraction/refinement solvers}},
booktitle = {{Workshop On Leveraging Applications of Formal Methods,
Verification and Validation (ISoLA'07)}},
year = 2007,
pages = {135--146}
}
@inproceedings{bauer07,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
title = {{The good, the bad, and the ugly, but how ugly is ugly?}},
booktitle = {Workshop on Runtime Verification (RV'07)},
year = 2007,
pages = {126--138},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 4839
}
@inproceedings{chenny07:_enfor_seman_integ_untrus_clien,
author = {Somesh Jha and Stefan Katzenbeisser and Helmut Veith and
Stephen Chenny},
title = {{Enforcing Semantic Integrity on Untrusted Clients in
Networked Virtual Environments (Extended Abstract)}},
booktitle = {IEEE Security and Privacy (SP'07)},
year = 2007,
pages = {179--186}
}
@inproceedings{chaki07:_verif_acros_intel_proper_bound,
author = {Sagar Chaki and Christian Schallhart and Helmut Veith},
title = {{Verification Across Intellectual Property Boqundaries}},
booktitle = {{Computer Aided Verification (CAV'07)}},
year = 2007,
pages = {82--94},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 4590
}
@inproceedings{bauer06:_monit_realt_proper,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
title = {{Monitoring of Realtime Properties}},
booktitle = {{Foundations of Software Technology and Theoretical
Computer Science (FSTTCS'06)}},
pages = {260--272},
year = 2006,
series = {Lecture Notes in Computer Science (LNCS)},
volume = 4337
}
@inproceedings{bauer06:_runtim_reflec,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
title = {{Runtime Reflection: Dynamic model-based analyis of
component-based distributed embedded systems}},
booktitle = {Modellierung von Automotive Systems},
year = 2006
}
@inproceedings{bauer06:_model_based_runtim_analy_distr_react_system,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
title = {{Model-Based Runtime Analysis of Distributed Reactive
Systems}},
booktitle = {Australian Software Engineering Conference (ASWEC'06)},
year = 2006,
pages = {243--252}
}
@article{schallhart05:_approx_succin_maxsat,
author = {Christian Schallhart and Luca Trevisan},
title = {{Approximating Succinct MaxSat}},
journal = {{Journal of Logic and Computation (JLC)}},
year = 2005,
volume = 15,
number = 4,
pages = {551--557}
}
@inbook{belinfante05:_model_based_testin_react_system,
author = {Axel Belinfante and Lars Franzen and Christian Schallhart},
title = {{Model-Based Testing of Reactive Systems}},
chapter = {{Tools for Test Case Generation}},
publisher = {Springer},
year = 2005,
volume = 3472,
chapter = 14,
series = {Lecture Notes in Computer Science (LNCS)},
pages = {391--438}
}
@inproceedings{kinder05:_detec_malic_code_model_check,
author = {Johannes Kinder and Stefan Katzenbeisser and Christian
Schallhart and Helmut Veith},
title = {{Detecting Malicious Code by Model Checking}},
booktitle = {Conference on Detection of Intrusions and Malware and
Vulnerability Assessment (DIMVA'05)},
year = 2005,
pages = {174--187},
series = {Lecture Notes in Computer Science (LNCS)},
volume = 3548
}
@inproceedings{dittmann05:_ensur_media_integ_third_party_infras,
author = {Jana Dittmann and Stefan Katzenbeisser and Christian
Schallhart and Helmut Veith},
title = {{Ensuring Media Integrity on Third-Party Infrastructures}},
booktitle = {IFIP International Information Security Conference},
year = 2005,
pages = {493--508}
}
@inproceedings{katzenbeisser05:_malwar_engin,
author = {Stefan Katzenbeisser and Christian Schallhart and Helmut
Veith},
title = {{Malware Engineering}},
booktitle = {Sicherheit 2005, Sicherheit - Schutz und
Zuverlässigkeit, 2. Jahrestagung, Fachbereich
Sicherheit der Gesellschaft für Informatik},
pages = {139--148},
year = 2005
}
@inproceedings{holzer04:_towar_odrl,
author = {Markus Holzer and Stefan Katzenbeisser and Christian
Schallhart},
title = {Towards a formal semantics for ODRL},
booktitle = {First ODRL International Workshop},
year = 2004,
pages = {137--148}
}
@inproceedings{schallhart03:trans,
author = {Christian Schallhart},
title = {{Transaction Processing for Clustered Virtual
Environments}},
booktitle = {{NATO Advanced Research Workshop on Concurrent
Information Processing and Computing}},
pages = {146--158},
year = 2003,
note = {invited}
}
@inproceedings{NeumerkelRS97,
author = {Ulrich Neumerkel and
Christoph Rettig and
Christian Schallart},
title = {Visualizing Solutions with Viewers},
booktitle = {{Workshop on Logic Programming Environment (LPE'97)}},
year = {1997},
pages = {43--50}
}
Acknowledgement. This page was generated with » bibtex2html 1.95.