Zeitplan
Die SE2026 findet am Montag, 23. - Freitag, 27. Februar 2026 in Bern (Schweiz) statt.
- Workshops: Montag, 23. - Dienstag, 24.
- Wissenschaftliches Programm (SE): Mittwoch, 25. - Freitag, 27.
- CHOOSE Forum: Mittwoch, 25.
- Industrietag: Donnerstag, 26.
- Student Research Competition: Donnerstag, 26.
- Dissertationspreis: Donnerstag, 26.
- SEUH: Donnerstag, 26. - Freitag, 27.
ACHTUNG: Der folgende Zeitplan ist NICHT finalisiert. Änderungen an Zeit, Inhalt und Programmzusammenstellung sind möglich. Bitte planen Sie Ihren Aufenthalt/Ihre Präsentation nicht gemäss diesem temporären Zeitplan. Sobald das Programm final ist, verschwindet diese Nachricht und wir machen ein Announcement auf der SE2026 LinkedIn Seite.
08:30 - 09:00
Registrierung
10:00 - 10:30
Kaffeepause
12:00 - 13:30
Mittagessen
13:30 - 15:00
ASE 2026
Raum: TBA
Link: ASE 2026
Organisation:
- Ramin Tavakoli Kolagari (Technische Hochschule Nürnberg (Ohm) (DE))
- Stefan Kugele (Technische Hochschule Ingolstadt (DE))
Beschreibung
Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den anhaltenden Herausforderungen rund um hoch- und vollautomatisiertes Fahren kommt der Automobilsoftware heute mehr denn je eine zentrale Bedeutung zu. Neben der stetig wachsenden funktionalen Komplexität sind immer strengere Anforderungen an Zuverlässigkeit, funktionale Sicherheit (Safety), IT-Sicherheit (Security) und Datenschutz (Privacy) zu erfüllen.
Auch die intuitive, multimodale Mensch-Maschine-Interaktion über Sprache, Gesten oder personalisierte Interfaces gewinnt weiter an Relevanz. Der Trend zur umfassenden Vernetzung und Digitalisierung im Fahrzeug schreitet voran: Mehrwertdienste wie Social Media, Streaming oder Office-Anwendungen werden zunehmend systematisch integriert und lassen sich auch während der Fahrt sicher und kontextsensitiv nutzen.
Der 23. Workshop Automotive Software Engineering widmet sich der Problematik der Softwareentwicklung im Automobilbereich und befasst sich mit dafür geeigneten Methoden, Techniken und Werkzeugen. Aktuelle Herausforderungen und Lösungsansätze des Automotive Software Engineering diskutiert. Ein besonderer Fokus liegt auf dem Einsatz agiler Methoden im regulierten Umfeld. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind ausdrücklich erwünscht.
15:00 - 15:30
Kaffeepause
15:30 - 17:00
ASE 2026
Raum: TBA
Link: ASE 2026
Organisation:
- Ramin Tavakoli Kolagari (Technische Hochschule Nürnberg (Ohm) (DE))
- Stefan Kugele (Technische Hochschule Ingolstadt (DE))
Beschreibung
Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den anhaltenden Herausforderungen rund um hoch- und vollautomatisiertes Fahren kommt der Automobilsoftware heute mehr denn je eine zentrale Bedeutung zu. Neben der stetig wachsenden funktionalen Komplexität sind immer strengere Anforderungen an Zuverlässigkeit, funktionale Sicherheit (Safety), IT-Sicherheit (Security) und Datenschutz (Privacy) zu erfüllen.
Auch die intuitive, multimodale Mensch-Maschine-Interaktion über Sprache, Gesten oder personalisierte Interfaces gewinnt weiter an Relevanz. Der Trend zur umfassenden Vernetzung und Digitalisierung im Fahrzeug schreitet voran: Mehrwertdienste wie Social Media, Streaming oder Office-Anwendungen werden zunehmend systematisch integriert und lassen sich auch während der Fahrt sicher und kontextsensitiv nutzen.
Der 23. Workshop Automotive Software Engineering widmet sich der Problematik der Softwareentwicklung im Automobilbereich und befasst sich mit dafür geeigneten Methoden, Techniken und Werkzeugen. Aktuelle Herausforderungen und Lösungsansätze des Automotive Software Engineering diskutiert. Ein besonderer Fokus liegt auf dem Einsatz agiler Methoden im regulierten Umfeld. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind ausdrücklich erwünscht.
08:30 - 09:00
Registrierung
09:00 - 10:00
EAPROG 2026
Raum: TBA
Link: EAPROG 2026
Organisation:
- Rony G. Flatscher (Wirtschaftsuniversität Wien (AT))
- Till Winkler (Interdisciplinary Transformation University Austria (IT:U) (AT))
Beschreibung
An der Wirtschaftsuniversität Wien können Bachelor-Studierende objektorientiertes Programmieren von Grund auf lernen und sind unter anderem in der Lage, portable Programme mit grafischen Benutzeroberflächen für Windows, macOS und Linux zu entwickeln. Dies ist in nur einem Semester, innerhalb von 60 Präsenzstunden mit einem Gesamtlernaufwand von 200 Stunden - 8 European Credit Transfer System (ECTs) - möglich.
Dieser Workshop befasst sich mit den Aspekten, die dies möglich machen, einschließlich der Kursziele, des Kursmaterials, der angewandten pädagogischen Prinzipien und der unterrichteten Programmiersprache. Die Teilnehmenden des Workshops werden in der Lage sein, den Kurs selbst zu unterrichten.
10:00 - 10:30
Kaffeepause
10:30 - 12:00
EAPROG 2026
Raum: TBA
Link: EAPROG 2026
Organisation:
- Rony G. Flatscher (Wirtschaftsuniversität Wien (AT))
- Till Winkler (Interdisciplinary Transformation University Austria (IT:U) (AT))
Beschreibung
An der Wirtschaftsuniversität Wien können Bachelor-Studierende objektorientiertes Programmieren von Grund auf lernen und sind unter anderem in der Lage, portable Programme mit grafischen Benutzeroberflächen für Windows, macOS und Linux zu entwickeln. Dies ist in nur einem Semester, innerhalb von 60 Präsenzstunden mit einem Gesamtlernaufwand von 200 Stunden - 8 European Credit Transfer System (ECTs) - möglich.
Dieser Workshop befasst sich mit den Aspekten, die dies möglich machen, einschließlich der Kursziele, des Kursmaterials, der angewandten pädagogischen Prinzipien und der unterrichteten Programmiersprache. Die Teilnehmenden des Workshops werden in der Lage sein, den Kurs selbst zu unterrichten.
12:00 - 13:30
Mittagessen
15:00 - 15:30
Kaffeepause
08:30 - 09:00
Registrierung
09:00 - 10:00
Q-STAV 2026
Raum: TBA
Link: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Beschreibung
Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.
Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.
Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.
10:00 - 10:30
Kaffeepause
10:30 - 12:00
Q-STAV 2026
Raum: TBA
Link: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Beschreibung
Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.
Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.
Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.
12:00 - 13:30
Mittagessen
13:30 - 15:00
Q-STAV 2026
Raum: TBA
Link: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Beschreibung
Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.
Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.
Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.
15:00 - 15:30
Kaffeepause
15:30 - 17:00
Q-STAV 2026
Raum: TBA
Link: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Beschreibung
Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.
Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.
Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.
08:30 - 09:00
Registrierung
09:00 - 10:00
AvioSE 2026
Raum: TBA
Link: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Beschreibung
Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.
Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.
Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.
10:00 - 10:30
Kaffeepause
10:30 - 12:00
AvioSE 2026
Raum: TBA
Link: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Beschreibung
Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.
Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.
Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.
12:00 - 13:30
Mittagessen
13:30 - 15:00
AvioSE 2026
Raum: TBA
Link: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Beschreibung
Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.
Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.
Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.
15:00 - 15:30
Kaffeepause
15:30 - 17:00
AvioSE 2026
Raum: TBA
Link: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Beschreibung
Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.
Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.
Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.
08:30 - 09:00
Registrierung
10:00 - 10:30
Kaffeepause
12:00 - 13:30
Mittagessen
13:30 - 15:00
GenSE 2026
Raum: TBA
Link: GenSE 2026
Organisation:
- Ruben Ruiz-Torrubiano (IMC Krems University of Applied Sciences (AT))
- Simon Steyskal (Siemens AG Austria (AT))
- Danilo Valerio (Siemens AG Austria (AT))
Beschreibung
Hauptthema des Workshops ist die künstliche Intelligenz im Bereich Software-Engineering, mit Schwerpunktsetzung Neurosymbolische KI. Ziel des Workshops ist, sich mit aktuellen Methoden und Werkzeugen im Bereich generative KI auseinanderzusetzen und neue Anwendungen in der Software-Entwicklung zu erschließen.
Insbesondere wollen wir einen Schwerpunkt auf neurosymbolische Ansätze legen, die maschinelles Lernen (ML) mit symbolischen KI-Methoden (also Wissensrepräsentation und Schlussfolgerungen, die auf symbolischer Logik basieren) kombinieren, um die Zuverlässigkeit und Robustheit von generativen Modellen zu verbessern.
15:00 - 15:30
Kaffeepause
15:30 - 17:00
GenSE 2026
Raum: TBA
Link: GenSE 2026
Organisation:
- Ruben Ruiz-Torrubiano (IMC Krems University of Applied Sciences (AT))
- Simon Steyskal (Siemens AG Austria (AT))
- Danilo Valerio (Siemens AG Austria (AT))
Beschreibung
Hauptthema des Workshops ist die künstliche Intelligenz im Bereich Software-Engineering, mit Schwerpunktsetzung Neurosymbolische KI. Ziel des Workshops ist, sich mit aktuellen Methoden und Werkzeugen im Bereich generative KI auseinanderzusetzen und neue Anwendungen in der Software-Entwicklung zu erschließen.
Insbesondere wollen wir einen Schwerpunkt auf neurosymbolische Ansätze legen, die maschinelles Lernen (ML) mit symbolischen KI-Methoden (also Wissensrepräsentation und Schlussfolgerungen, die auf symbolischer Logik basieren) kombinieren, um die Zuverlässigkeit und Robustheit von generativen Modellen zu verbessern.
08:30 - 09:00
Registrierung
09:00 - 10:00
SECPPS 2026
Raum: TBA
Link: SECPPS 2026
Organisation:
- Sandra Greiner (University of Southern Denmark (SDU) (DK))
- Stefan Klikovits (Johannes Kepler University Linz (JKU) (AT))
Beschreibung
Software spielt eine zunehmend wichtige Rolle bei der Gewährleistung eines effektiven und effizienten Betriebs industrieller Automatisierungs- und Engineering-Systeme. Dieser interaktive halbtägige Workshop soll Software-Engineering-Methoden zur Unterstützung der Wartung von cyber-physischen Produktionssystemen (SECPPS'26) diskutieren. Diese Workshop-Ausgabe, die in einer Reihe von Treffen fortgeführt wird, die bei der SE'21 initiiert wurden, wird aus Paper-Präsentationen und Kurzvorträgen bestehen, wobei der Schwerpunkt auf der Diskussion der vorgestellten Themen liegt.
Auf der SE2026 verfolgt der Workshop das Ziel, die Wurzeln der SECPPS-Community innerhalb der deutschsprachigen Software-Engineering-Community zu stärken und mit Fachkräften aus dem industriellen Umfeld in der Schweiz in Austausch zu treten.
10:00 - 10:30
Kaffeepause
10:30 - 12:00
SECPPS 2026
Raum: TBA
Link: SECPPS 2026
Organisation:
- Sandra Greiner (University of Southern Denmark (SDU) (DK))
- Stefan Klikovits (Johannes Kepler University Linz (JKU) (AT))
Beschreibung
Software spielt eine zunehmend wichtige Rolle bei der Gewährleistung eines effektiven und effizienten Betriebs industrieller Automatisierungs- und Engineering-Systeme. Dieser interaktive halbtägige Workshop soll Software-Engineering-Methoden zur Unterstützung der Wartung von cyber-physischen Produktionssystemen (SECPPS'26) diskutieren. Diese Workshop-Ausgabe, die in einer Reihe von Treffen fortgeführt wird, die bei der SE'21 initiiert wurden, wird aus Paper-Präsentationen und Kurzvorträgen bestehen, wobei der Schwerpunkt auf der Diskussion der vorgestellten Themen liegt.
Auf der SE2026 verfolgt der Workshop das Ziel, die Wurzeln der SECPPS-Community innerhalb der deutschsprachigen Software-Engineering-Community zu stärken und mit Fachkräften aus dem industriellen Umfeld in der Schweiz in Austausch zu treten.
12:00 - 13:30
Mittagessen
15:00 - 15:30
Kaffeepause
08:30 - 09:00
Registrierung
09:00 - 09:05
Opening
Raum: TBA
Speaker: Timo Kehrer (Universität Bern)
09:05 - 10:00
Wissenschaftliche Keynote: Maria Christakis
Raum: TBA
10:00 - 10:30
Kaffeepause
10:30 - 12:00
Session: Architecture & Modeling
Raum: TBA
Session Chair: TBA
"Continuous Integration of Architectural Performance Models with Parametric Dependencies - The CIPM Approach"
Autor:innen: Manar Mazkatli, Martin Armbruster, David Monschein, Robert Heinrich, Anne Koziolek
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Evolution Patterns of Software-Architecture Smells"
Autor:innen: Philipp Gnoyke, Sandro Schulze, Jacob Krüger
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Model-based Proactive Self-Adaptation for Cloud Systems"
Autor:innen: Raphael Straub, Sarah Stieß, Steffen Becker, Matthias Tichy
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Refactoring with Confidence: An Assistant for Repair- Integrated Refactoring in Block-based Industrial Models (Summary)"
Autor:innen: Michael Oberlehner, Bianca Wiesmayr, Alois Zoitl
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
10:30 - 12:00
Session: SE 4 AI
Raum: TBA
Session Chair: TBA
"From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps"
Autor:in: Yuetian Mao
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models"
Autor:innen: Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"MMDFast: Efficient Understanding of Machine Learning Model Mispredictions"
Autor:innen: Martin Eberlein, Jürgen Cito, Lars Grunske
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"TAEFuzz: Automatic Fuzzing for Image-based Deep Learning Systems via Transferable Adversarial Examples"
Autor:innen: Shunhui Ji, Changrong Huang, Bin Ren, Hai Dong, Lars Grunske, Yan Xiao, Pengcheng Zhang
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
10:30 - 12:00
Session: Verification
Raum: TBA
Session Chair: TBA
"Exploring Development Methods for Reactive Synthesis Specifications"
Autor:innen: Dor Ma'Ayan, Shahar Maoz, Jan Oliver Ringert
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically"
Autor:innen: Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"On the Expressive Power of Languages for Static Variability - Summary"
Autor:innen: Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, Thomas Thüm
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Safe Mixed-Consistency Local-First Software with Invariants"
Autor:innen: Mirko Köhler, George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
12:00 - 13:30
Mittagessen
13:30 - 15:00
Session: Analysis & Repair
Raum: TBA
Session Chair: TBA
"Decades of GNU Patch and Git Cherry-Pick: Can We Do Better? - Summary"
Autor:innen: Alexander Schultheiß, Alexander Boll, Paul Maximilian Bittner, Sandra Greiner, Thomas Thüm, Timo Kehrer
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History - Summary"
Autor:innen: Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Statically Analyzing the Dataflow of R Programs"
Autor:innen: Florian Sihler, Matthias Tichy
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Too Many Issues: Automatically Prioritizing Analyzer Findings by Tracing Security Importance (Summary)"
Autor:innen: Sven Peldszus, Katharina Großer, Marco Konersmann, Wasja Brunotte, Maike Ahrens, Kurt Schneider, Jan Jürjens
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
13:30 - 15:00
Session: Architecture & Learning
Raum: TBA
Session Chair: TBA
"Do Large Language Models Contain Software Architectural Knowledge? An Exploratory Case Study with GPT"
Autor:innen: Mohamed Soliman, Jan Keim
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"ExArch: Enabling Architecture Traceability by LLM-based Architecture Component Name Extraction"
Autor:innen: Dominik Fuchß, Haoyu Liu, Tobias Hey, Jan Keim, Anne Koziolek
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Linking Software System Artifacts: Toward Generic Traceability Link Recovery through Retrieval-Augmented Generation"
Autor:innen: Dominik Fuchß, Tobias Hey, Jan Keim, Haoyu Liu, Niklas Ewald, Tobias Thirolf, Anne Koziolek
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Machine Learning-Based Mitigation of Confidentiality Violations in Software Architectures"
Autor:innen: Nils Niehues, Sebastian Hahner, Robert Heinrich
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
13:30 - 15:00
Session: Human Aspects & Education
Raum: TBA
Session Chair: TBA
"Enhancing Motivation in Software Engineering Education through Gamified Agile Project-based Learning"
Autor:innen: Niklas Meißner, Paul Bredl, Sandro Speth, Steffen Becker
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"How Do Programming Students Use Generative AI?"
Autor:innen: Christian Rahe, Walid Maalej
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Interruptibility of Software Developers and Its Prediction Using Psycho-Physiological Sensors: A Replication"
Autor:innen: Florian Poreba, Stefan Sobernig
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Toward a Theory on Programmer's Block inspired by Writer's Block (Kurzfassung)"
Autor:innen: Belinda Schantong, Norbert Siegmund, Janet Siegmund
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
15:00 - 15:30
Kaffeepause
13:30 - 15:00
Session: Features & Traceability
Raum: TBA
Session Chair: TBA
"Coverage Metrics for T-Wise Feature Interactions - Summary"
Autor:innen: Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing - Summary"
Autor:innen: Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"How Low Can We Go? Minimizing Interaction Samples for Configurable Systems - Summary"
Autor:innen: Dominik Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Reusing d-DNNFs for Efficient Feature-Model Counting - Summary"
Autor:innen: Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
13:30 - 15:00
Session: Reasoning about Software
Raum: TBA
Session Chair: TBA
"Establishing Technical Debt Management -- A Five-Step Workshop Approach and an Action Research Study"
Autor:innen: Marion Wiese, Kamila Serwa, Anastasia M. Besier, Ariane S. Marion-Jetten, Eva Bittner
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Learning Program Behavioral Models from Synthesized Input-Output Pairs"
Autor:innen: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments"
Autor:innen: Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Predicting Failures in Smart Human-Centric Ecosystems"
Autor:innen: Niccolò Puccinelli, Davide Molinelli, Noura El Moussa, Matteo Ciniselli, Mauro Pezzè
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
18:30 - 21:00
08:30 - 09:00
Registrierung
09:00 - 09:15
Opening
Raum: TBA
Speaker: Sebastiano Panichella (Universität Bern)
09:15 - 10:00
Session
Raum: TBA
Session Chair: Matteo Biagiola (Universität St. Gallen und Università della Svizzera italiana)
"Simulation-based regression testing for Autonomous Vehicles & Overview of Sim2Cloud"
Speaker: Christian Birchler (Universität Bern)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
"Simulating the Real World: An Introduction to the BeamNG Platform & Generation of 3D Generative models"
Speakers: Eva Pigova (BeamNG GmbH), Damian Boborzi (Universität Augsburg)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
10:00 - 10:30
Kaffeepause
10:30 - 11:15
Session
Raum: TBA
Session Chair: Sebastiano Panichella (Universität Bern)
"From code to corner: The software behind LOXO urban vehicles"
Speaker: Claudio Panizza (LOXO)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
"A journey in AI-based code generation"
Speaker: Matteo Biagiola (Universität St. Gallen)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
11:15 - 12:00
Session
Raum: TBA
Session Chair: Andreas Fischer (University of Fribourg)
"From Perception to Action: Can UI Interventions Foster Sustainable LLM Chatbot"
Speaker: Nitish Patkar (Fachhochschule Nordwestschweiz)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
"Breaking DNNs: Mutation Testing for Deep Neural Networks"
Speakers: Nargiz Humbatova (Università della Svizzera italiana), Jinhan Kim (Università della Svizzera italiana)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
12:00 - 13:30
Mittagessen
13:30 - 14:15
Session
Raum: TBA
Session Chair: Matteo Biagiola (University of St. Gallen and Università della Svizzera italiana)
"Legacy Application Modernization with AI Agents"
Speaker: Dr. Daniel Hogg (Adnovum)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
"Trustworthy Distributed Certification of Program Execution"
Speaker: Alex Wolf (Universität Zürich)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
14:15 - 15:00
Interdisciplinary session on Biology and Bioinformatics
Raum: TBA
Session Chair: Sebastiano Panichella (University of Bern)
"Integrating Physiology and Machine Learning to Predict Oxyhaemoglobin Dissociation Curve Shift in Preterm Infants"
Speaker: Sarah Rebecca Meyer (Universität Bern)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
"Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems"
Speaker: Sebastiano Panichella (Universität Bern)
Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde
15:00 - 15:30
Kaffeepause
15:30 - 16:45
Panel on 'AI, Software Engineering & Reproducibility and Science Challenges'
Raum: TBA
Session Chairs: Andras Fischer (Universität Fribourg), Matteo Biagiola (Universität St. Gallen), Sebastiano Panichella (Universität Bern)
Beschreibung
The initial panelists are the main speakers of the event and selected participants.
16:45 - 16:50
Closing
Raum: TBA
Speaker: Sebastiano Panichella (University of Bern)
18:30 - 21:00
08:30 - 09:00
Registrierung
10:00 - 10:30
Kaffeepause
12:00 - 13:30
Mittagessen
15:00 - 15:30
Kaffeepause
15:30 - 17:00
Treffen Lenkungskreis Fachtagung Software Engineering / Treffen GI Fachbereich Softwaretechnik
Raum: TBA
18:30 - 21:00
08:30 - 09:00
Registrierung
09:00 - 10:00
10:00 - 10:30
Kaffeepause
10:30 - 12:00
Session: Automated Test Generation
Raum: TBA
Session Chair: TBA
"Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing"
Autor:innen: Konstantinos Kitsios, Marco Marco Castelluccio, Alberto Bacchelli
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Does GenAI Make Usability Testing Obsolete?"
Autor:innen: Ali Ebrahimi Pourasad, Walid Maalej
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models"
Autor:innen: Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"FANDANGO: Evolving Language-Based Testing"
Autor:innen: José Antonio Zamudio Amaya, Marius Smytzek, Andreas Zeller
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
10:30 - 12:00
Session: Requirements
Raum: TBA
Session Chair: TBA
"Automating Requirements Elicitation Interviews with LLMs"
Autor:innen: Alexander Korn, Samuel Gorsch, Andreas Vogelsang
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"How do practitioners incorporate requirements and design decisions in LLM-assisted code generation?"
Autor:innen: Jonathan Ullrich, Matthias Koch, Andreas Vogelsang
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Parametric Falsification of Many Probabilistic Requirements under Flakiness"
Autor:innen: Matteo Camilli, Raffaela Mirandola
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"The Good, the Bad, and the Uncanny: Investigating Diversity Aspects of LLM-Generated Personas for Requirements Engineering - Summary"
Autor:innen: Christopher Lazik, Charlotte Kauter, Inês Nunes, Aaron Ziglowski, Alina Pryma, Christopher Katins, Lars Grunske, Thomas Kosch
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
12:00 - 13:30
Mittagessen
13:30 - 15:00
Session: Software Comprehension
Raum: TBA
Session Chair: TBA
"How ML Practitioners Perceive Explainability: An Interview Study of Practices and Challenges"
Autor:innen: Umm E Habiba, Mohammad Kasra Habib, Justus Bogner, Jonas Fritzsch, Stefan Wagner
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Investigating the Readability of Test Code: Combining Scientific and Practical View"
Autor:innen: Dietmar Winkler, Pirmin Urbanke, Rudolf Ramler
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment"
Autor:innen: Denis Neumüller, Alexander Raschke, Matthias Tichy
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Semantic Zoom and Mini-Maps for Software Cities"
Autor:innen: Malte Hansen, Jens Bamberg, Noe Baumann, Wilhelm Hasselbring
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
13:30 - 15:00
Session: Testing & Optimisation
Raum: TBA
Session Chair: TBA
"Adaptive Test Generation with Q-grams"
Autor:innen: Matteo Biagiola, Robert Feldt, Paolo Tonella
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"E-Test: Ever-Improving Test Suites"
Autor:innen: Ketai Qiu, Luca Di Grazia, Leonardo Mariani, Mauro Pezzè
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Metamorphic Testing for Optimisation: A Case Study on PID Controller Tuning"
Autor:innen: Alejandra Duque-Torres, Claus Klammer, Stefan Fischer, Rudolf Ramler, Dietmar Pfahl
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Optimierung von automatisierten und manuellen Software-Tests in der industriellen Praxis: Eine Umfrage und historische Analyse"
Autor:innen: Roman Haas, Raphael Nömmer, Elmar Juergens, Sven Apel
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
15:00 - 15:30
Kaffeepause
15:30 - 17:00
Session: Test Evaluation
Raum: TBA
Session Chair: TBA
"Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset"
Autor:innen: Davide Molinelli, Luca Di Grazia, Alberto-Martin Lopez, Michael D. Ernst, Mauro Pezzè
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Gamifying Testing in IntelliJ: A Replicability Study"
Autor:innen: Philipp Straubinger, Tommaso Fulcini, Giacomo Garaccione, Luca Ardito, Gordon Fraser
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Mutation-Based Integration Testing of Knowledge Graph Applications (Summary)"
Autor:innen: Tobias John, Einar Broch Johnsen, Eduard Kamburjan
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"The Testing Gaps in Infrastructure as Code Programs"
Autor:innen: Daniel Sokolowski, David Spielmann, Guido Salvaneschi
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
18:30 - 22:00
08:30 - 09:00
Registrierung
09:00 - 10:00
10:00 - 10:30
Kaffeepause
10:30 - 12:00
Session: Industry Day
Raum: TBA
Session Chair: TBA
12:00 - 13:30
Mittagessen
13:30 - 15:00
Session: Industry Day
Raum: TBA
Session Chair: TBA
15:00 - 15:30
Kaffeepause
15:30 - 17:00
Session: Industry Day
Raum: TBA
Session Chair: TBA
18:30 - 22:00
08:30 - 09:00
Registrierung
10:00 - 10:30
Kaffeepause
10:30 - 12:00
Vorträge der Nominierten
Raum: TBA
Link: Student Research Competition / Softwaretechnikpreis
Session Chair: TBA
12:00 - 13:30
Mittagessen
15:00 - 15:30
Kaffeepause
18:30 - 22:00
08:30 - 09:00
Registrierung
10:00 - 10:30
Kaffeepause
12:00 - 13:30
Mittagessen
15:00 - 15:30
Kaffeepause
15:30 - 17:00
18:30 - 21:00
08:30 - 09:00
Registrierung
10:00 - 10:30
Kaffeepause
12:00 - 13:30
Mittagessen
13:30 - 15:00
15:00 - 15:30
Kaffeepause
15:30 - 17:00
18:30 - 22:00
08:30 - 09:00
Registrierung
09:00 - 10:00
10:00 - 10:30
Kaffeepause
10:30 - 12:00
Session: GUI-level Analysis & Mining
Raum: TBA
Session Chair: TBA
"Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge"
Autor:in: Yanqi Su
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Does the Tool Matter? Exploring Some Causes of Threats to Validity in Mining Software Repositories"
Autor:innen: Nicole Hoess, Carlos Paradis, Rick Kazman, Wolfgang Mauerer
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"GUing: A Mobile GUI Search Engine using a Vision-Language Model"
Autor:innen: Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre Louis Bernard, Gerard Dray, Walid Maalej
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair"
Autor:in: Kai Huang
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
10:30 - 12:00
Session: LLMs & AI
Raum: TBA
Session Chair: TBA
"Can Developers Prompt? A Controlled Experiment for Code Documentation Generation"
Autor:innen: Hans-Alexander Kruse, Tim Puhlfürß, Walid Maalej
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Don't Settle for the First! How Many GitHub Copilot Solutions Should You Check?"
Autor:innen: Julian Oertel, Jil Klünder, Regina Hebig
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations -- Summary"
Autor:innen: Pablo Valenzuela-Toledo, Chuyue Wu, Sandro Hernández, Alexander Boll, Roman Machacek, Sebastiano Panichella, Timo Kehrer
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Model Cards Revisited: Bridging the Gap Between Theory and Practice for Ethical AI Requirements"
Autor:innen: Tim Puhlfürß, Julia Butzke, Walid Maalej
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
10:30 - 12:00
Session: Security & Privacy
Raum: TBA
Session Chair: TBA
"Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation"
Autor:innen: Zhen Tao, Shidong Pan
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality"
Autor:innen: Dennis Wüppelmann, Enes Yigitbas
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Summary of Large Language Models for In-File Vulnerability Localization Can Be "Lost in the End" (FSE2025)"
Autor:innen: Francesco Sovrano, Alberto Bacchelli
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
"Using Analysis Coupling to Detect Information Flow Security Vulnerabilities"
Autor:innen: Frederik Reiche, Ralf Reussner, Robert Heinrich
Format: 17 Minuten Präsentation + 5 Minuten Fragerunde
12:00 - 12:15
Closing
Raum: TBA
Speaker: Timo Kehrer (Universität Bern)