ISoLA 2014: Corfu, Greece

Evolving Critical Systems

Rigorous Engineering of Autonomic Ensembles

Automata Learning

Formal Methods and Analysis in Software Product Line Engineering

Model-Based Code Generators and Compilers

Tutorial: Automata Learning in Practice

a service of Schloss Dagstuhl - Leibniz Center for Informatics