Neuigkeiten
Maßnahmen gegen die Ausbreitung des Corona-Virus
Auch der Lehrstuhl Informatik 11 hat seinen Betrieb im Zuge der Maßnahmen gegen die Ausbreitung des Corona-Virus bis auf Weiteres eingeschränkt.
- Die Räumlichkeiten in der Ahornstraße sind geschlossen.
- Die Mitarbeiterinnen und Mitarbeiter sind im Home-Office und am besten über Email erreichbar.
- Anstehende Seminare, Abschlussvorträge und Schwerpunktkolloquien können nicht mehr in der üblichen Präsenzform abgehalten werden. Wir bieten die Möglichkeit, diese über elektronische Medien durchzuführen und werden die betroffenen Studierenden kontaktieren.
- Unsere Lehrveranstaltungen im Sommersemester beginnen in der Woche ab 20. April 2020. Sie werden alle in elektronischer Form durchgeführt. Details dazu finden sie in diesem Video.
- Wir nehmen weiterhin Anfragen zu Promotions- und Hiwistellen sowie Abschlussarbeiten entgegen.
Bleiben Sie zu Hause und gesund!
Wissenschaftliche/r Mitarbeiter/in (w/m/d) gesucht
Am Lehrstuhl Informatik 11 ist eine Promotionsstelle zu besetzen. Hier ist die dazugehörige Ausschreibung. Vorkenntnisse aus unserem Lehrprogramm in eingebetteter Software sind vorteilhaft, aber wir freuen uns auch über sehr gute Bewerbungen mit anderen Studienschwerpunkten. Sie können dazu gerne vorab mit Prof. Kowalewski oder Dr.-Ing. Stollenwerk Kontakt aufnehmen.
Artikel in Discrete Event Dynamic Systems
Wir freuen uns dass der Beitrag Leveraging Horn Clause Solving for Compositional Verification of PLC Software von Dimitri Bohlender und Stefan Kowalewski im Journal Discrete Event Dynamic Systems publiziert wurde.
Die Arbeit beschreibt wie SPS-Software mittels Horn Klauseln kompositional charakterisiert werden kann, um die formale Verifikation bisher herausfordernder Fragestellungen zu ermöglichen.
Insbesondere lässt sich die Charakterisierung mit den Ergebnissen vorhergehender statischer Analysen der einzelnen Softwarekomponenten kombinieren, um die Betrachtung von deren konkretem Verhalten soweit wie möglich zu vermeiden.