• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …

We present two techniques to improve landmark localization in images from partially
annotated datasets. Our primary goal is to leverage the common situation where precise …

Runtime Verification is a lightweight technique that complements other verification methods
in an effort to ensure software correctness. The technique poses novel questions to software …

We study μ μ HML, a branching-time logic with least and greatest fixpoints, from a runtime
verification perspective. The logic may be used to specify properties of programs whose …

Runtime verification (RV) is an approach to verification consisting in dynamically checking
that the event traces generated by single runs of a system under scrutiny (SUS) are …

Static verification techniques are used to analyse and prove properties about programs
before they are executed. Many of these techniques work directly on the source code and …

We introduce a general framework for Runtime Verification, parameterized with respect to a
set of conditions. These conditions are encoded in the trace generated by a monitored …

We present the tool StaRVOOrS (Static and Runtime Verification of Object-Oriented
Software), which combines static and runtime verification (RV) of Java programs. The tool …

Without prior knowledge of the environment, a software agent can learn to achieve a goal
using machine learning. Model-free Reinforcement Learning (RL) can be used to make the …

A satellite communication system, as a typical example of the Internet of things, is a smart
critical infrastructure and has become an essential component used in various services such …