Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Christian Schallhart"'
Publikováno v:
ACL
Lexica distinguishing all morphologically related forms of each lexeme are crucial to many language technologies, yet building them is expensive. We propose a frugal paradigm completion approach that predicts all related forms in a morphological para
Autor:
Daan van Esch, Millie Holt, Eoin Mahon, Nikos Bampounis, Christian Schallhart, Jonas Fromseier Mortensen, Richard Sproat, Benoit Brard, Sandy Ritchie, Kyle Gorman
Publikováno v:
INTERSPEECH
Publikováno v:
Theoretical Computer Science. 605:62-79
The test specification language FQL describes relevant test goals as regular expressions over program locations, such that each matching test case has an execution path matching this expression. To specify not only test goals but entire suites, FQL d
Publikováno v:
Computer Aided Verification ISBN: 9783540733676
CAV
CAV
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) rights, the customer usually has no direct access to the suppliers' source
Autor:
Martin Leucker, Christian Schallhart
In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in whic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0799bff6ad02f7c6ef7c7cad57285fa1
https://ora.ox.ac.uk/objects/uuid:f306ba9a-1c9c-4da1-92e1-b886f40b5340
https://ora.ox.ac.uk/objects/uuid:f306ba9a-1c9c-4da1-92e1-b886f40b5340
Autor:
Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian Kühnel, Florian Müller, Zhonglei Wang, Doris Wild, Sabine Rittmann, Martin Wechs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0fa5226749df91379d023032e089e7bf
https://ora.ox.ac.uk/objects/uuid:a87f6730-814d-4a94-9946-d33d45782309
https://ora.ox.ac.uk/objects/uuid:a87f6730-814d-4a94-9946-d33d45782309
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783642195822
Haifa Verification Conference
Haifa Verification Conference
In a recent series of papers, we introduced a new framework for white-box testing which aims at a separation of concerns between test specifications and test generation engines. We believe that establishing a common language for test criteria will ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::baa24a2921d4146313c64f2ecd0e7753
https://ora.ox.ac.uk/objects/uuid:fe29a5b3-64cf-407d-8488-dc03f725f1a7
https://ora.ox.ac.uk/objects/uuid:fe29a5b3-64cf-407d-8488-dc03f725f1a7
This paper describes a method for combining "off-the-shelf" SAT and constraint solvers for building an efficient Satisfiability Modulo Theories (SMT) solver for a wide range of theories. Our method follows the abstraction/refinement approach to simpl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e7c88ae8bd42cb598abeb4bacd3aa08
https://ora.ox.ac.uk/objects/uuid:0b0d7e2b-d861-4c1a-bb19-611e62fb744e
https://ora.ox.ac.uk/objects/uuid:0b0d7e2b-d861-4c1a-bb19-611e62fb744e
Publikováno v:
ASWEC
Reactive distributed systems have pervaded everyday life and objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errors at runtime. As interactions and dependencies within distributed systems inc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8a2f97e65c5bb7009a4f22d6a1f9f4f
https://doi.org/10.1109/aswec.2006.36
https://doi.org/10.1109/aswec.2006.36
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642165573
ISoLA (1)
ISoLA (1)
During the last decades, embedded systems have become increasingly important in highly safety-critical areas such as power plants, medical equipment, cars, and aeroplanes. The automotive and avionics domains are prominent examples of classical engine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::318a0a055e0a58a0623efe90086fc08b
https://ora.ox.ac.uk/objects/uuid:6a9191eb-6e44-47dd-a6e4-439d78410e73
https://ora.ox.ac.uk/objects/uuid:6a9191eb-6e44-47dd-a6e4-439d78410e73