@inproceedings{erdmann20:_frugal_parad_compl,
author = {Alexander Erdmann and Tom Kenter and Markus Becker and Christian Schallhart},
title = {{Frugal Paradigm Completion}},
booktitle = {{Annual Conference of the Association for Computational Linguistics (ACL'20)}},
year = 2020
}
@inproceedings{ritchie20:_data_driven_param_text_normal,
author = {Sandy Ritchie and Eoin Mahon and Kim Heiligenstein
and Nikos Bampounis and Daan van Esch and Christian
Schallhart and Jonas Fromseier Mortensen and
Beno\^it Brard},
title = {{Data-Driven Parametric Text Normalization: Rapidly
Scaling Finite-State Transduction Verbalizers to New
Languages}},
booktitle = {{Joint Spoken Language Technologies for
Under-resourced languages and Collaboration and
Computing for Under-Resourced Languages Workshop
(SLTU-CCURL'20)}},
year = 2020
}
@inproceedings{ritchie19:_unified_verbal_for_speec_recog,
author = {Sandy Ritchie and Richard Sproat and Kyle Gorman and
Daan van Esch and Christian Schallhart and Nikos
Bampounis and Beno\^it Brard and Jonas Fromseier
Mortensen and Millie Holt and Eoin Mahon},
title = {Unified Verbalization for Speech Recognition \&
Synthesis Across Languages},
booktitle = {{INTERSPEECH'19}},
pages = {3530--3534},
year = 2019
}
@misc{gottlob19:_system_autom_gener_wrapp_entir_websit,
author = {Georg Gottlob and Tim Furche and Giovanni Grasso and Christian Schallhart and Giorgio Orsi},
title = {System for Automatically Generating Wrapper for Entire Websites},
howpublished = {{United States Paptent}},
year = 2019,
note = {{US 10,325,000 B2}}
}
@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
\"Omer 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'12)}},
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.