4 citations · 7 across the 7 of their papers we have counts for
8 papers
Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO
Laura Brandán Briones, Petra van den Bos, Marcus Gerhold
In Model-Based Testing (MBT), test suites are generated automatically from a formal specification. The theory of testing real-time systems is rich, but often underused in practice,…
Crash-free Deductive Verifiers
Wander Nauta, Marcus Gerhold, Marieke Huisman
As deductive verifiers mature, their potential user base is growing from the initial core developers to other users. To convince external users of the suitability of verifiers, the…
Entropy-, Approximation- and Kolmogorov Numbers on Quasi-Banach Spaces
Marcus Gerhold
In this bachelor's thesis we introduce three quantities for linear and bounded operators on quasi-Banach spaces which are entropy numbers, approximation numbers and Kolmogorov numb…
Embeddings of Weighted Morrey Spaces
Marcus Gerhold
In this master thesis we recall already established definitions and basic properties of classical Morrey spaces in an attempt to expand known facts to their weighted counterparts.…
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos +1
Model-based testing (MBT) derives test suites from a behavioural specification of the system under test. In practice, engineers favour simple models, such as labelled transition sy…
Reproduction Report for SV-COMP 2023
Marcus Gerhold, Arnd Hartmanns
The Competition on Software Verification (SV-COMP) is a large computational experiment benchmarking many different software verification tools on a vast collection of C and Java be…