This paper reviews the first challenge on single image super-resolution (restoration of rich
details in an low resolution image) with focus on proposed solutions and results. A new …

Smartphones and tablets with rich graphical user interfaces (GUI) are becoming increasingly
popular. Hundreds of thousands of specialized applications, called apps, are available for …

Recent years have witnessed an increasing number of protocols relying on UDP. Compared
to TCP, UDP offers performance advantages such as simplicity and lower latency. This has …

The automation of software testing promises to delegate to machines what is otherwise the
most labor-intensive and expensive part of software development. The past decade has …

Implementations of stateful security protocols must carefully manage the type and order of
exchanged messages and cryptographic material, by maintaining a state machine which …

In this chapter we give an introduction to active learning of Mealy machines, an automata
model particularly suited for modeling the behavior of realistic reactive systems. Active …

Active automata learning is slowly becoming a standard tool in the toolbox of the software
engineer. As systems become ever more complex and development becomes more …

We present a survey of the recent research efforts in integrating model learning with model-
based testing. We distinguished two strands of work in this domain, namely test-based …

This paper presents an approach to no-code development based on the interplay of formally
defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language …

In this paper, we present the LearnLib, a library of tools for automata learning, which is
explicitly designed for the systematic experimental analysis of the profile of available …