@article{furche16:_peace_ful_web_event_extrac,
  author = {Tim Furche and Giovanni Grasso and Michael Huemer
                  and Christian Schallhart and Michael Schrefl},
  title = {{PEACE-Ful Web Event Extraction and Processing as
                  Bitemporal Mutable Events}},
  journal = {{ACM Transactions on the Web (TWEB)}},
  year = 2016,
  volume = 10,
  number = 3
}
@inproceedings{furche16:_robus_noise_resis_wrapp_induc,
  author = {Tim Furche and Jinsong Guo and Sebastian Maneth and Christian Schallhart},
  title = {{Robust and Noise Resistant Wrapper Induction}},
  booktitle = {{SIGMOD'16}},
  year = 2016,
  pages = {773--784}
}
@article{holzer15:_closur_proper_compl_ration_sets_regul_languag,
  author = {Andreas Holzer and Christian Schallhart and Michael
                  Tautschnig and Helmut Veith},
  title = {Closure Properties and Complexity of Rational Sets
                  of Regular Languages},
  journal = {Theoretical Computer Science (TCS)},
  year = 2015,
  volume = 605,
  pages = {62--79}
}
@article{tim14:_diadem,
  author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
                  Xiaonan Guo and Giorgio Orsi and Christian
                  Schallhart and Cheng Wang},
  title = {{DIADEM: Thousands of Websites to a Single Database}},
  journal = {{Proceedings of the VLDB Endowment/International
                  Conference on Very Large Databases (PVLDB'14)}},
  year = 2014,
  volume = 7,
  number = 14,
  pages = {1845--1856}
}
@inproceedings{franz14:_cbmc_gc,
  author = {Martin Franz and Andreas Holzer and Stefan
                  Katzenbeisser and Christian Schallhart and
                  Helmut Veith},
  title = {{CBMC-GC: An ANSI C Compiler for Secure Two-Party
                  Computations}},
  booktitle = {{International Conference on Compiler Construction
                  (CC'14)}},
  year = 2014,
  pages = {244--249}
}
@article{furche14:_ontol_key,
  author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
                  Xiaonan Guo and Giorgio Orsi and Christian
                  Schallhart},
  title = {{The Ontological Key: Automatically Understanding
                  and Integrating Forms to Access the Deep Web}},
  journal = {VLDB Journal},
  year = 2014,
  note = {615--640},
  volume = {22},
  number = 5
}
@inproceedings{holzer13:_struc_and_compl_of_ration,
  author = {Andreas Holzer and Christian Schallhart and Michael
                  Tautschnig and Helmut Veith},
  title = {On the Structure and Complexity of Rational Sets of
                  Regular Languages},
  booktitle = {{Foundations of Software Technology and Theoretical
                  Computer Science (FSTTCS'13)}},
  year = 2013,
  note = {377--388}
}
@inproceedings{furche13:_peace_ful_web_event_extrac_and_proces,
  author = {Tim Furche and Giovanni Grasso and Michael Huemer
                  and Christian Schallhart and Michael Schrefl},
  title = {{PEACE-ful Web Event Extraction and Processing}},
  booktitle = {14th International Conference on Web Information System
                  Engineering (WISE'13)},
  year = 2013,
  pages = {523--526}
}
@inproceedings{furche13:_bitem_compl_event_proces_of,
  author = {Tim Furche and Giovanni Grasso and Michael Huemer
                  and Christian Schallhart and Michael Schrefl},
  title = {{Bitemporal Complex Event Processing of Web Event
                  Advertisements}},
  booktitle = {14th International Conference on Web Information System
                  Engineering (WISE'13)},
  year = 2013,
  pages = {333--346}
}
@inproceedings{furche13:_effec_web_scrap_with_oxpat,
  author = {Tim Furche and Giovanni Grasso and Christian Schallhart},
  title = {{Effective Web Scraping with OXPath}},
  booktitle = {WWW (developer track)},
  year = 2013,
  pages = {23--26}
}
@inproceedings{gunes12:_eager,
  author = {Omer Gunes and Tim Furche and Christian Schallhart
                  and Jens and Lehmann and Axel Ngonga},
  title = {{EAGER: Extending Automatically Gazetteers for
                  Entity Recognition}},
  booktitle = {Proceedings of the 3rd Workshop on the People’s Web
                  Meets NLP},
  pages = {29--33},
  year = 2012
}
@inproceedings{lehmann12:_deqa,
  author = {Jens Lehmann and Tim Furche and Giovanni Grasso and
                  Axel-Cyrille Ngonga Ngomo and Christian Schallhart
                  and Andrew Sellers and Christina Unger and Lorenz
                  B\"{u}hmann and Daniel Gerber and Konrad H\"{o}ffner
                  and, David Liu and S\"{o}ren Auer},
  title = {{DEQA: Deep Web Extraction for Question Answering}},
  booktitle = {{International Semantic Web Conference (ISWC'12)}},
  year = 2012,
  pages = {131--147},
  series = {Lecture Notes in Computer Science (LNCS)},
  volumne = 7650
}
@article{furche13:_oxpat,
  author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
                  Christian Schallhart and Andrew Sellers},
  title = {{OXPATH: A Language for Scalable Data Extraction,
                  Automation, and Crawling on the Deep Web}},
  journal = {VLDB Journal},
  year = 2013,
  pages = {47--72},
  volume = 22,
  note = {{VLDB Best Papers Issue}},
  number = 1
}
@inproceedings{furche12:_think_befor_you_act,
  author = {Tim Furche and Giovanni Grasso and Antonino Rullo
                  and Christian Schallhart and Andrew Sellers},
  title = {{Think before you Act! Minimising Action Execution in
                  Wrappers}},
  booktitle = {{International Workshop on Searching and Integrating
                  New Web Data Sources (VLDS'12)}},
  year = 2012,
  pages = {29--34}
}
@inproceedings{furche12:_diadem2,
  author = {Tim Furche and Georg Gottlob and Christian Schallhart},
  title = {{DIADEM: Domains to Databases}},
  booktitle = {{International Conference on Database and Expert
                  Systems Applications (DEXA'12)}},
  year = 2012,
  note = {invited},
  pages = {1--8}
}
@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,
  pages = {332--346},
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = 7387
}
@article{chacki13:_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 = 2013,
  volume = 22,
  number = 2,
  pages = {15:1--15:12}
}
@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,
  pages = {267--270}
}
@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,
  pages = {341--344}
}
@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,
  pages = {353--356}
}
@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,
  pages = {369--372}
}
@inproceedings{furche12:_forms_form_patter,
  author = {Tim Furche and Georg Gottlob and Giovanni Grasso and
                  Xiaonan Guo and Giorgio Orsi and Christian
                  Schallhart},
  title = {{OPAL: Automated Form Understanding for the Deep Web}},
  booktitle = {{International Word Wide Web Conference (WWW'12)}},
  year = 2012,
  pages = {829--838}
}
@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,
  pages = {538--541},
  pages = {538--541},
  series = {Lecture Notes in Computer Science (LNCS)},
  volumne = 7214
}
@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 (PVLDB'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 Verification 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 = {Visar 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{bauer11:_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 = 2011,
  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-Driven 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 Schallhart},
  title = {Visualizing Solutions with Viewers},
  booktitle = {{Workshop on Logic Programming Environment (LPE'97)}},
  year = {1997},
  pages = {43--50}
}

Acknowledgement. This page has been generated with » bibtex2html 1.95.