Joined the DES Lab

I have joined the Dependable Embedded Systems Lab (DES Lab) as a postdoc. The DES Lab is a collaboration of Graz University of Technology and Silicon Austria Labs (SAL). I am excited and looking forward to working in an interdisciplinary team of researchers with expertise spanning the areas of verification, testing, machine learning, security, and embedded systems. Our goal is to make today’s smart embedded systems dependable.

Paper at NFM 2021

Our paper Online Shielding for Stochastic Systems has been accepted for presentation at NFM 2021.

We perform on-the-fly safety computations to block unsafe behaviour of agents in stochastic environments. With that, we can, for instance, enforce safety in reinforcement learning. Supplementary material, such as a demonstrator on a two-player version of the classic computer game snake can be found here.

New at SIT, new in Switzerland

Grüezi mitenand!

I have recently joined the Schaffhausen Institute of Technology (SIT) as a postdoctoral researcher, where I work in the team of Prof. Mauro Pezzè.

While the current global situation is difficult, I am looking forward to exciting research opportunities in a new and fascinating environment in the beautiful city of Schaffhausen, Switzerland.


Survey on Model-Based Testing and Model Learning

Our survey on ” model-based testing and model learning” got published. In this survey, we review combinations of learning and testing, which can roughly be classified into two categories:

  1. Test-based learning: techniques in this category apply testing techniques to enable learning models of software systems.
  2. Learning-based testing: techniques in this category generally learn models in order to use them as a basis for model-based testing.

The survey is part of a book on the  Dagstuhl seminar “Machine Learning for Dynamic Software Analysis: Potentials and Limits” and can be found here and in my publications.