We are pleased to announce that Hannes Kallwies' PhD thesis, "Synchronous Stream Runtime Verification with Uncertainties and Assumptions," has been nominated for the Software Engineering Dissertation Award.
The nomination was presented at the "Fachtagung Software Engineering 2025" (SE 2025) held in Karlsruhe from February 24-28, 2025. As one of three finalists, Kallwies presented his work to the jury and attendees on February 27, 2025, showcasing the significance of his research in the field of runtime verification.
The term of the current Editor-in-Chief (EiC) of the journal Formal Aspects of Computing (FAC), published by ACM in collaboration with BCS, The Chartered Institute for IT, is coming to an end, and the ACM Publications Board and BCS have set up a nominating committee to assist in selecting the next EiC.
The deadline for submitting nominations is April 30, 2025.
The goal of this PhD is to further the potential of model-based formal verification of black-box systems by combining model-learning techniques with formal methods. This tight integration of formal methods into the learning process will help in producing high-quality models automatically, and steering the learning process towards areas that are of interest and/or lacking precision during the learning process. Further details can be found here.
The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is thrilled to announce an upcoming expansion in our research endeavors. Under the leadership of Dr. Gesina Schwalbe, we are planning to form a young researcher's group on Correctable Hybrid Artificial Intelligence.
On Thursday, 08/12/2022, Prof. João Lourenço from the University of Lisbon, Portugal will be a guest at the Institute of Software Engineering and Programming Languages and will give a talk:
TITLE: Using Pot and LSD to improve ACID transactions (Abstract and Short Bio: see below)
Time: 16:15 h - Room: AM S3 - Audimax
Interested parties are cordially invited to attend this talk with the possibility of a discussion afterwards.
As part of the COEMS (Continuous Observation of Embedded Multicore Systems) Horizon 2020 project, funded from 2016-2020 and coordinated by ISP, the foundations of non-invasive observation of embedded systems were examined and first prototypes were developed that allow for continuous live-monitoring of safety-critical systems. More information about the project can be found on https://www.coems.eu/ .
Die UniTransferKlinik Lübeck GmbH sucht für das Projekt Mittelstand-Digital Zentrum Schleswig-Holstein ab sofort eine/n Projektmitarbeiter/in Voll-/Teilzeit.
From March, 6th – 10th, 2023 the 25th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS will be held at the University of Lübeck. The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems. FM 2023 will be a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.
