Die 19. Ausgabe der Internationalen Konferenz über Softwaretechnik und formale Methoden (SEFM) fand vom 6. bis 10. Dezember 2021 pandemiebedingt im virtuellen Modus statt. Die Konferenz zielte darauf ab, Forscher:innen und Praktiker:innen aus Wissenschaft, Industrie und Verwaltung zusammenzubringen, um den Stand der Technik bei den formalen Methoden voranzutreiben, ihre Übernahme in die Softwareindustrie zu erleichtern und ihre Integration in praktische Software-Engineering-Methoden und -Werkzeuge zu fördern.

Im Rahmen der Konferenz wurde auch zur Einreichung von Paper aufgerufen. Diesem Aufruf sind auch unsere Forscher Edi Muskardin und Ingo Pill von der Research Unit Trustworthy Adaptive Computing, unter der Leitung von Willibald Krenn, gemeinsam mit ihren Kollegen Martin Tappler und Bernhard Aichernig von der TU Graz gefolgt. Ihr im DES Lab entstandenes Paper "Active Model Learning of Stochastic Reactive Systems" konnte die Fachjury überzeugen und sie erhielten dafür am 10. Dezember 2021 einen von zwei Best Paper Awards. Wir gratulieren dazu recht herzlich!

Erfolgreicher Start von AALpy

Im Zuge der Arbeiten im DES Labor hat das Forscherteam auch die neue Open-Source-Bibliothek AALpy implementiert und bereits veröffentlicht, die für jede und jeden frei zugänglich ist. "Der in unserem SEFM Paper vorgestellte Ansatz ist Teil unserer Open-Source-Bibliothek AALpy, die eine umfassende Reihe von Ansätzen zum Erlernen verschiedener Arten von Automaten für Black-Box-Systeme durch aktive Interaktion mit ihnen bietet", erklärt Ingo Pill den Zusammenhang und die Funktion von AALpy. AALpy kann unter https://github.com/DES-Lab/AALpy aufgerufen werden. Mehr Informationen zur Arbeit im DES Labor finden Sie unter https://research-network.silicon-austria.com/des-lab/.

Erfolg auch für italienische Forschungspartner

Wir möchten an dieser Stelle auch unseren italienischen Forschungskolleginnen und -kollegen von der Fondazione Bruno Kessler (FBK) und der Universität Udine gratulieren, die den zweiten Best Paper Award gewonnen haben. Ihr Paper trägt den Titel "Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL synthesis". 

Die genannten Paper sowie das gesamte Haupttagungsband der SEFM werden in der Unterreihe "Formale Methoden" bei Springers "Lecture Notes in Computer Science" veröffentlicht und können unter dem Link Software Engineering and Formal Methods | SpringerLink abgerufen werden.