Zeitplan

Die SE2026 findet von Montag, 23. – Freitag, 27. Februar 2026 in Bern (Schweiz) statt.

Information für Workshop-Teilnehmende: Die 4.61 Piazza im 4. Stock (die Coffee Area) ist sowohl am Montag als auch am Dienstag den ganzen Tag für uns gebucht. Sie können in diesem Raum arbeiten und entspannen, wenn Sie nicht an einer Workshop-Session teilnehmen.

 Veranstaltungsort:   Workspace Welle7

13:0013:30

 Registrierung

 Raum: Empfang (3. Stock)

13:3015:00

 ASE 2026

 Raum: 5.58 Raum L+

 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:0015:30

 Kaffeepause

 Raum: 4.61 Piazza

15:3017:00

 ASE 2026

 Raum: 5.58 Raum L+

 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:3009:00

 Registrierung

 Raum: Empfang (3. Stock)

09:0010:00

 EAPROG 2026

 Raum: 5.58 Raum L+

 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:0010:30

 Kaffeepause

 Raum: 4.61 Piazza

10:3012:00

 EAPROG 2026

 Raum: 5.58 Raum L+

 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:0013:30

 Mittagessen

 Veranstaltungsort:   UniS

08:3009:00

 Registrierung

 Raum: Empfang (3. Stock)

09:0010:00

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (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:0010:30

 Kaffeepause

 Raum: 4.61 Piazza

10:3012:00

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (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:0013:30

 Mittagessen

 Veranstaltungsort:   UniS

13:3015:00

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (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:0015:30

 Kaffeepause

 Raum: 4.61 Piazza

15:3017:30

 Q-STAV 2026

 Raum: 6.61 Raum L+

 Link:   Q-STAV 2026

 Organisation:

  • Malte Lochau (Universität Siegen (DE))
  • Benedikt Fauseweh (TU Dortmund / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Anna Pappa (TU Berlin (DE))
  • Benjamin Kaminski (Universität des Saarlandes (DE))
  • Ina Schaefer (Karlsruher Institut für Technologie (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.

13:0013:30

 Registrierung

 Raum: Empfang (3. Stock)

13:3015:00

 RDMxSE 2026

 Raum: 5.55 Raum L

 Link:   RDMxSE 2026

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

15:0015:30

 Kaffeepause

 Raum: 4.61 Piazza

15:3017:00

 RDMxSE 2026

 Raum: 5.55 Raum L

 Link:   RDMxSE 2026

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

 Veranstaltungsort:   Workspace Welle7

08:3009:00

 Registrierung

 Raum: Empfang (3. Stock)

09:0010:00

 AvioSE 2026

 Raum: 5.20 Raum L

 Link:   AvioSE 2026

 Organisation:

  • Andreas Schweiger (Airbus Defence and Space GmbH (DE))
  • Umut Durak (TU Clausthal / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Marina Reich (Airbus Defence and Space GmbH (DE))
  • Vanessa Tietz (Universität 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:0010:30

 Kaffeepause

 Raum: 4.61 Piazza

10:3012:00

 AvioSE 2026

 Raum: 5.20 Raum L

 Link:   AvioSE 2026

 Organisation:

  • Andreas Schweiger (Airbus Defence and Space GmbH (DE))
  • Umut Durak (TU Clausthal / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Marina Reich (Airbus Defence and Space GmbH (DE))
  • Vanessa Tietz (Universität 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:0013:30

 Mittagessen

 Veranstaltungsort:   UniS

13:3015:00

 AvioSE 2026

 Raum: 5.20 Raum L

 Link:   AvioSE 2026

 Organisation:

  • Andreas Schweiger (Airbus Defence and Space GmbH (DE))
  • Umut Durak (TU Clausthal / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Marina Reich (Airbus Defence and Space GmbH (DE))
  • Vanessa Tietz (Universität 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:0015:30

 Kaffeepause

 Raum: 4.61 Piazza

15:3017:00

 AvioSE 2026

 Raum: 5.20 Raum L

 Link:   AvioSE 2026

 Organisation:

  • Andreas Schweiger (Airbus Defence and Space GmbH (DE))
  • Umut Durak (TU Clausthal / Deutsches Zentrum für Luft- und Raumfahrt (DLR) (DE))
  • Marina Reich (Airbus Defence and Space GmbH (DE))
  • Vanessa Tietz (Universität 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.

13:0013:30

 Registrierung

 Raum: Empfang (3. Stock)

13:3015:00

 GenSE 2026

 Raum: 5.58 Raum L+

 Link:   GenSE 2026

 Organisation:

  • Ruben Ruiz-Torrubiano (IMC Krems Hochschule für Angewandte Wissenschaften (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:0015:30

 Kaffeepause

 Raum: 4.61 Piazza

15:3017:00

 GenSE 2026

 Raum: 5.58 Raum L+

 Link:   GenSE 2026

 Organisation:

  • Ruben Ruiz-Torrubiano (IMC Krems Hochschule für Angewandte Wissenschaften (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:3009:00

 Registrierung

 Raum: Empfang (3. Stock)

09:0010:00

 RDMxSE 2026

 Raum: 5.55 Raum L

 Link:   RDMxSE 2026

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

10:0010:30

 Kaffeepause

 Raum: 4.61 Piazza

10:3012:00

 RDMxSE 2026

 Raum: 5.55 Raum L

 Link:   RDMxSE 2026

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Beschreibung

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

12:0013:30

 Mittagessen

 Veranstaltungsort:   UniS

08:3009:00

 Registrierung

 Raum: Empfang (3. Stock)

09:0010:00

 SECPPS 2026

 Raum: 5.58 Raum L+

 Link:   SECPPS 2026

 Organisation:

  • Sandra Greiner (University of Southern Denmark (SDU) (DK))
  • Stefan Klikovits (Johannes Kepler Universität 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:0010:30

 Kaffeepause

 Raum: 4.61 Piazza

10:3012:00

 SECPPS 2026

 Raum: 5.58 Raum L+

 Link:   SECPPS 2026

 Organisation:

  • Sandra Greiner (University of Southern Denmark (SDU) (DK))
  • Stefan Klikovits (Johannes Kepler Universität 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:0013:30

 Mittagessen

 Veranstaltungsort:   UniS

 Veranstaltungsort:   Stadion Wankdorf

08:3009:00

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

09:0009:05

 Eröffnung

 Raum: Champions Lounge

 Link:   Wissenschaftliches Programm (SE)

 Sprecher:in: Timo Kehrer (Universität Bern (CH))

09:0510:00

 Wissenschaftliche Keynote: Maria Christakis

 Raum: Champions Lounge

 Link:   Wissenschaftliche Keynote: Maria Christakis

 Sprecher:in:

 Session Chair: Leen Lambers (BTU Cottbus-Senftenberg (DE))

10:0010:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

10:3012:00

 Session: Architecture & Modeling

 Raum: Sky Lounge 1

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Judith Michael (Universität Regensburg (DE))

 "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:3012:00

 Session: SE4AI

 Raum: Champions Lounge

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Regina Hebig (Universität Rostock (DE))

 "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:3012:00

 Session: Verification

 Raum: Sky Lounge 2

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Falk Howar (TU Dortmund (DE))

 "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:0013:30

 Mittagessen

 Raum: Champions Lounge (Catering-Bereich)

13:3015:00

 Session: Analysis & Repair

 Raum: Sky Lounge 1

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Ben Hermann (TU Dortmund (DE))

 "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:3015:00

 Session: Architecture & Learning

 Raum: Champions Lounge

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Wilhelm Hasselbring (Universität Kiel (DE))

 "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

 "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

 "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

 "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:3015:00

 Session: Human Aspects & Education

 Raum: Sky Lounge 2

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Lars Grunske (HU Berlin (DE))

 "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:0015:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

15:3017:00

 Session: Features & Traceability

 Raum: Sky Lounge 2

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Matthias Tichy (Universität Ulm (DE))

 "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

15:3017:00

 Session: Reasoning about Software

 Raum: Champions Lounge

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Guido Salvaneschi (Universität St. Gallen (CH))

 "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:0022:00

 Willkommensapéro

 Link:   Social Events

 Veranstaltungsort:   Universität Bern

 Eröffnung Apéro

 Beginn: 18:00

 Raum: Foyer

 Willkommensrede

 Sprecher:innen: Christian Cachin (Professor am und geschäftsführender Direktor des Instituts für Informatik, Universität Bern (CH)), Timo Kehrer (Universität Bern (CH))

 Beginn: 19:00

 Raum: Aula

 Fortsetzung Apéro

 Beginn: 19:30

 Raum: Foyer

08:3009:00

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

09:0009:15

 Eröffnung

 Raum: Sky Lounge 3

 Sprecher:in: Sebastiano Panichella (Universität Bern (CH))

09:1510:00

 Session: Simulation & Testing for Autonomous and Cyber-Physical Systems

 Raum: Sky Lounge 3

 Link:   CHOOSE Forum

 Session Chair: Matteo Biagiola (Universität St. Gallen (CH))

 "Simulation-based regression testing for Autonomous Vehicles & Overview of Sim2Cloud"

 Sprecher:in: Christian Birchler (Universität Bern (CH))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Simulating the Real World: An Introduction to the BeamNG Platform & Generation of 3D Generative models"

 Sprecher:innen: Eva Pigova ( BeamNG GmbH), Damian Boborzi (Universität Augsburg (DE))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

10:0010:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

10:3011:15

 Session: Engineering Intelligent Systems: From Autonomous Vehicles to AI Code Generation

 Raum: Sky Lounge 3

 Link:   CHOOSE Forum

 Session Chair: Sebastiano Panichella (Universität Bern (CH))

 "From code to corner: The software behind LOXO urban vehicles"

 Sprecher:in: Claudio Panizza ( LOXO)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "A journey in AI-based code generation"

 Sprecher:in: Matteo Biagiola (Universität St. Gallen (CH))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

11:1512:00

 Session: Sustainability and Reliability of AI-Driven Software

 Raum: Sky Lounge 3

 Link:   CHOOSE Forum

 Session Chair: Andreas Fischer (Universität Fribourg (CH))

 "From Perception to Action: Can UI Interventions Foster Sustainable LLM Chatbot"

 Sprecher:in: Nitish Patkar (Fachhochschule Nordwestschweiz (CH))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Breaking DNNs: Mutation Testing for Deep Neural Networks"

 Sprecher:innen: Nargiz Humbatova (Università della Svizzera italiana (CH)), Jinhan Kim (Università della Svizzera italiana (CH))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

12:0013:30

 Mittagessen

 Raum: Champions Lounge (Catering-Bereich)

13:3014:15

 Session: Trust, Modernization, and Certification in AI-Enabled Software Systems

 Raum: Sky Lounge 3

 Link:   CHOOSE Forum

 Session Chair: Matteo Biagiola (Universität St. Gallen (CH))

 "Legacy Application Modernization with AI Agents"

 Sprecher:in: Dr. Daniel Hogg ( Adnovum)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Trustworthy Distributed Certification of Program Execution"

 Sprecher:in: Alex Wolf (Universität Zürich (CH))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

14:1515:00

 Session: Interdisciplinary Perspectives: AI, Biology, and Bioinformatics

 Raum: Sky Lounge 3

 Link:   CHOOSE Forum

 Session Chair: Sebastiano Panichella (Universität Bern (CH))

 "Integrating Physiology and Machine Learning to Predict Oxyhaemoglobin Dissociation Curve Shift in Preterm Infants"

 Sprecher:in: Sarah Rebecca Meyer (Universität Bern (CH))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems"

 Sprecher:in: Sebastiano Panichella (Universität Bern (CH))

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

15:0015:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

15:3016:45

 Panel on ‘AI, Software Engineering & Reproducibility and Science Challenges’

 Raum: Sky Lounge 3

 Link:   CHOOSE Forum

 Session Chairs: Andras Fischer (Universität Fribourg (CH)), Matteo Biagiola (Universität St. Gallen (CH)), Sebastiano Panichella (Universität Bern (CH) (CH))

Beschreibung

The initial panelists are the main speakers of the event and selected participants.

16:4516:50

 Abschluss

 Raum: Sky Lounge 3

 Sprecher:in: Sebastiano Panichella (Universität Bern (CH))

18:0022:00

 Willkommensapéro

 Link:   Social Events

 Veranstaltungsort:   Universität Bern

 Eröffnung Apéro

 Beginn: 18:00

 Raum: Foyer

 Willkommensrede

 Sprecher:innen: Christian Cachin (Professor am und geschäftsführender Direktor des Instituts für Informatik, Universität Bern (CH)), Timo Kehrer (Universität Bern (CH))

 Beginn: 19:00

 Raum: Aula

 Fortsetzung Apéro

 Beginn: 19:30

 Raum: Foyer

15:0015:30

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

15:3016:15

 Treffen Lenkungskreis Fachtagung Software Engineering

 Raum: Sky Lounge 1

Beschreibung

Die Teilnahme erfolgt auf Einladung.

16:1517:00

 Treffen GI Fachbereich Softwaretechnik

 Raum: Sky Lounge 1

Beschreibung

Die Teilnahme erfolgt auf Einladung.

17:0018:00

 Treffen GI Arbeitskreis ‘Artificial Intelligence for Software Architecture (AI4SA)’ der Fachgruppe ‘Architekturen’

 Raum: Sky Lounge 2

Beschreibung

Die Teilnahme erfolgt auf Einladung.

18:0022:00

 Willkommensapéro

 Link:   Social Events

 Veranstaltungsort:   Universität Bern

 Eröffnung Apéro

 Beginn: 18:00

 Raum: Foyer

 Willkommensrede

 Sprecher:innen: Christian Cachin (Professor am und geschäftsführender Direktor des Instituts für Informatik, Universität Bern (CH)), Timo Kehrer (Universität Bern (CH))

 Beginn: 19:00

 Raum: Aula

 Fortsetzung Apéro

 Beginn: 19:30

 Raum: Foyer

 Veranstaltungsort:   Stadion Wankdorf

08:3009:00

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

09:0009:05

 Eröffnung

 Raum: Champions Lounge

 Link:   Industrietag

 Sprecher:in: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

09:0510:00

 Industrie-Keynote: “Achieving Digital Sovereignty in Europe: Key Considerations for Success”

 Raum: Champions Lounge

 Link:   Industrie-Keynote: Amandine Le Pape

 Sprecher:in:

 Session Chair: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

Abstract

European Digital Sovereignty is on everyone’s lips. European governments are making their intentions clear, with EU Member States signing the  Declaration for European Digital Sovereignty, setting out landmark commitments to reduce Europe’s dependence on a small number of global platforms and to invest in trusted European infrastructures. Industry events have been popping up everywhere and governments are working hard to share knowledge and try to crack the problem. Open Source and Digital Commons are cornerstones of the solution, and the launch of the  Digital Commons EDIC in December 2025 is a good example of the work being done.

But what is Digital Sovereignty, why is it important and why are Open Source and Digital Commons so central to it? And more importantly: What are the traps to avoid and best practices if we want to implement Digital Sovereignty successfully? Let’s pause and have a think.

10:0010:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

10:3012:00

 Session: Automated Test Generation

 Raum: Sky Lounge 2

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Malte Lochau (Universität Siegen (DE))

 "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:3012:00

 Session: Requirements & Mining

 Raum: Sky Lounge 1

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Rick Rabiser (Johannes Kepler Universität Linz (AT))

 "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

 "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

 "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

12:0013:30

 Mittagessen

 Raum: Champions Lounge (Catering-Bereich)

13:3015:00

 Session: Software Comprehension

 Raum: Sky Lounge 3

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Walid Maalej (Universität Hamburg (DE))

 "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:3015:00

 Session: Testing & Optimisation

 Raum: Sky Lounge 2

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Joel Greenyer (Universität Kassel (DE))

 "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

 "Optimization of Automated and Manual Software Tests in Industrial Practice: A Survey and Historical Analysis"

 Autor:innen: Roman Haas, Raphael Nömmer, Elmar Juergens, Sven Apel

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

15:0015:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

15:3017:00

 Session: Test Evaluation

 Raum: Sky Lounge 2

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Yannic Noller (Ruhr Universität Bochum (DE))

 "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

19:0022:00

 Konferenzdinner

 Link:   Social Events

 Veranstaltungsort:   Gurten Pavillon

08:3009:00

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

09:0009:05

 Eröffnung

 Raum: Champions Lounge

 Link:   Industrietag

 Sprecher:in: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

09:0510:00

 Industrie-Keynote: “Achieving Digital Sovereignty in Europe: Key Considerations for Success”

 Raum: Champions Lounge

 Link:   Industrie-Keynote: Amandine Le Pape

 Sprecher:in:

 Session Chair: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

Abstract

European Digital Sovereignty is on everyone’s lips. European governments are making their intentions clear, with EU Member States signing the  Declaration for European Digital Sovereignty, setting out landmark commitments to reduce Europe’s dependence on a small number of global platforms and to invest in trusted European infrastructures. Industry events have been popping up everywhere and governments are working hard to share knowledge and try to crack the problem. Open Source and Digital Commons are cornerstones of the solution, and the launch of the  Digital Commons EDIC in December 2025 is a good example of the work being done.

But what is Digital Sovereignty, why is it important and why are Open Source and Digital Commons so central to it? And more importantly: What are the traps to avoid and best practices if we want to implement Digital Sovereignty successfully? Let’s pause and have a think.

10:0010:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

10:3012:00

 Impulsvorträge und Podiumsdiskussion

 Raum: Champions Lounge

 Link:   Industrietag

 Session Chair: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

 "Nextcloud als sichere Kollaborations- und Kommunikations-Platform"

 Sprecher:in:

 Format: 30 Minuten Präsentation

Abstract

Wir bewegen uns auf eine Welt zu, in der die Dateien der meisten Nutzer von vier großen Unternehmen in den USA gehostet werden. Das gilt für die meisten Privatanwender, für Unternehmen sowie auch für Bildungs- und Forschungseinrichtungen. Wenn wir die Souveränität über unsere Daten bewahren, unsere Privatsphäre schützen und Vendor-Lock-in verhindern wollen, brauchen wir Open-Source-, selbst gehostete und föderierte Alternativen. Das Internet und das Web basieren auf einer verteilten und föderierten Architektur. Nun müssen wir sicherstellen, dass Cloud-Dienste diesem Modell ebenfalls folgen.

Die  Nextcloud ist eine vollständige föderierte, verteilte und Open-Source Lösung für den Datenaustausch, Kommunikation und Kollaboration. Jedes Unternehmen und jeder Home-User kann einen Nextcloud-Server zuhause oder irgendwo im Internet betreiben und mit anderen zusammenarbeiten. Nextcloud kann verwendet werden, um Dateizugriff, Synchronisierung, Freigabe, Kalender, Kontakte und mehr auf verteilte Weise bereitzustellen.

 "Cloud Sovereignty: Technical Reality and Practical Implementation"

 Sprecher:innen:

 Format: 30 Minuten Präsentation

Abstract

Christoph Schnidrig wird sich auf die technischen Aspekte / Open Source fokussieren, während Daniel Caduff mehr auf regulatorische Anforderungen und Compliance eingehen wird.

 "Podiumsdiskussion zu Digitaler Souveränität"

 Sprecher:innen:

 Format: 30 Minuten Diskussion

12:0013:30

 Mittagessen

 Raum: Champions Lounge (Catering-Bereich)

13:3015:00

 Fachvorträge und Erfahrungsberichte

 Raum: Champions Lounge

 Link:   Industrietag

 Session Chair: Martin Glinz (Professor Emeritus an der Universität Zürich (CH))

 "A sovereign AI platform for the new agentic software engineering"

 Sprecher:in:

 Format: 30 Minuten Präsentation

Abstract

AI is fundamentally changing our software engineering, and we are all part of this major transformation. This change affects more than just coding. It affects all phases — from digital design to software operation. The experience from our customer projects shows that this new agentic software engineering needs an AI development platform that meets compliance, security and reliability requirements.

The implementation of this sovereign AI platform at MaibornWolff was the key to getting the “Go” from more than 50 of our customers to use AI tools for software development in their projects. The presentation explains the structure of our AI development platform and shows how we use it, what is important and what it costs.

 "Control Your Data. Control Your Future. — Warum souveräne Cloud- und KI-Lösungen für die digitale Autonomie der Schweiz entscheidend sind"

 Sprecher:in:

 Format: 30 Minuten Präsentation

Abstract

Digitale Autonomie entwickelt sich in der Schweiz von einer ambitionierten Zielvorstellung zu einer strategischen Notwendigkeit. Da digitale Infrastrukturen die Grundlage von Wirtschaft und öffentlichen Dienstleistungen bilden, lautet die zentrale Frage nicht mehr, ob sie genutzt werden sollen, sondern wer sie kontrolliert, unter welcher Gerichtsbarkeit sie stehen und welche Abhängigkeiten damit verbunden sind.

Echte Autonomie muss den gesamten digitalen Stack einschliessen — von der Infrastruktur über Modelle bis hin zu Anwendungen — und Resilienz, den Schutz geistigen Eigentums sowie eine vertrauenswürdige Governance von Daten und Entscheidungen gewährleisten. Ohne diese Ende-zu-Ende-Perspektive laufen Organisationen Gefahr, eine Abhängigkeit lediglich durch eine andere zu ersetzen.

Diese Session geht darauf ein, wie souveräne Cloud-Lösungen und KI echte digitale Autonomie ermöglichen. Sie zeigt auf, welche Chancen sich für die Schweiz ergeben, eine führende Rolle einzunehmen — durch die Kombination vertrauenswürdiger rechtlicher Rahmenbedingungen, starker Forschungsökosysteme und souveräner Infrastrukturen von Wirtschaft und öffentlichem Sektor.

 "The Synthetic Data Playbook: Generating Trillions of the Finest Tokens"

 Sprecher:in:

 Format: 30 Minuten Präsentation

15:0015:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

15:3017:30

 Fachvorträge und Erfahrungsberichte

 Raum: Champions Lounge

 Link:   Industrietag

 Session Chair: Stefan Sauer (Professor an der Universität Paderborn (DE))

 "Adaptive Internal Developer Platforms als Enabler digitaler Souveränität"

 Sprecher:in:

 Format: 30 Minuten Präsentation

Abstract

Die digitale Souveränität softwareintensiver Organisationen wird zunehmend durch die steigende Komplexität cloud-nativer Architekturen, proprietäre Plattformökosysteme und implizite Abhängigkeiten von Infrastruktur- und Tool-Anbietern herausgefordert. Während Internal Developer Platforms (IDPs) als Mittel zur Steigerung von Entwicklerproduktivität und Standardisierung etabliert sind, bleiben sie häufig statisch, toolzentriert und bieten nur eingeschränkte Kontroll- und Anpassungsmöglichkeiten im Hinblick auf souveräne Architektur- und Governanceentscheidungen.

Dieser Beitrag führt das Konzept der adaptiven Internal Developer Platform (aIDP) der adesso SE ein und positioniert es als technologischen Enabler digitaler Souveränität im Kontext des Platform Engineerings. Die aIDP wird als kontextsensitives, selbstadaptives Softwaresystem definiert, das durch eine strikte Trennung zwischen deklarativer Beschreibung von Entwicklerintentionen („What“) und regelbasierter, automatisierter Umsetzung („How“) die Kontrolle über Entwicklungs-, Architektur- und Betriebsprozesse systematisch stärkt. Zentrales Strukturprinzip sind Golden Paths, die als versionierte, parametrische und semantisch angereicherte Umsetzungspfade modelliert werden und projektspezifisch, nachvollziehbar und technologieagnostisch instanziiert werden können.

Eine integrierte KI-gestützte Intelligence-Ebene unterstützt die semantische Interpretation natürlicher Spracheingaben, die Analyse von Abweichungen zu definierten Standards sowie die adaptive Weiterentwicklung der Plattformlogik auf Basis von Nutzungs- und Laufzeitfeedback. Ergänzt wird dieser Ansatz durch ein semantisches Architektur-Metamodell, das Architekturentscheidungen, Domänenstrukturen und Designprinzipien formalisiert und mit Code- und Infrastrukturebene synchronisiert. Dadurch wird Architektur explizit kontrollierbar, auditierbar und evolvierbar – als zentrale Voraussetzung digital souveräner Softwareentwicklung.

Der vorgestellte Ansatz leistet einen Beitrag zur theoretischen Fundierung souveräner Plattformarchitekturen und zeigt, wie adaptive Internal Developer Platforms digitale Souveränität durch formalisierte Abstraktion, regelbasierte Steuerung und KI-gestützte Systemintelligenz nachhaltig unterstützen können.

 "Mehr Souveränität in der Test-Automatisierung? Effektive Migration von Test-Suites weg von proprietären Tools"

 Sprecher:in:

 Format: 30 Minuten Präsentation

Abstract

Viele Teams nutzen inzwischen glücklicherweise Testautomatisierung in großem Umfang. Allerdings entstehen dadurch oft Abhängigkeiten von einzelnen Test-Tool-Herstellern. Wenn diese die Preise erhöhen (oder das Tool abstellen sollten), wird es schmerzhaft. Denn nicht nur die teureren Lizenzen kosten Geld, sondern natürlich auch eine Migration zu einem anderen Test-Tool oder -Framework. Wenn man 10.000 Testfälle hat, und mehrere Stunden für die Migration jedes einzelnen Testfalls schätzt, wird das schnell sehr teuer. Wie können unsere Ansätze aus dem Software Engineering hier helfen?

Historisch gewachsene Test-Suites sind meistens hoch redundant. Eine Migration auf ein neues Testautomatisierungs-Tool ist daher auch eine Chance, diese Redundanz loszuwerden und dadurch einen großen Teil des Migrationsaufwands zu sparen. Konkret helfen Test-Minimierungsverfahren aus unserer Forschungscommunity hierbei, indem sie aus einer großen Suite die (hoffentlich möglichst kleine) Teilmenge ermitteln, die für sich genommen schon den Großteil der Fehler findet, die die gesamte Testsuite findet. Dann reicht es, wenn wir die migrieren.

Im Vortrag stelle ich vor, welche Erfahrungen wir mit welchen Minimierungsverfahren bei unseren Kunden gemacht haben, die ihre Test-Suites migrieren. Dabei gehe ich sowohl auf moderne, AI-basierte Testselektionsverfahren ein als auch “Old-School” Coverage-Messung, um zu verfolgen, wie viel die migrierte Test-Suite im Vergleich zur neuen bereits abdeckt, und zeige, welche Einsparungen dadurch erreicht wurden.

 "Dimensionen digitaler Souveränität"

 Sprecher:in:

 Format: 30 Minuten Präsentation

Abstract

Digitale Souveränität ist eine Frage der Softwarearchitektur, nicht des Anbieters.

Modellgetriebene Ansätze stellen das Domänenwissen in den Mittelpunkt und machen die Logik explizit, überprüfbar und unabhängig von konkreten technischen Implementierungsentscheidungen. Durch die Trennung von Modellen, Infrastruktur und Technologie-Stacks bleiben Systeme über lange Life Cycles hinweg anpassungsfähig, auditierbar und resilient. Kontinuierliche Qualitätssicherung, Security by Design und Cloud-native Betriebsmodelle werden so zu systemischen Eigenschaften statt zu projektspezifischen Massnahmen.

So entsteht digitale Souveränität als dauerhafte Kontrolle über Wandel, Komplexität und Abhängigkeiten.

 "Architecting Digital Sovereignty: Business Value over Complexity"

 Sprecher:in:

 Format: 30 Minuten Präsentation

Abstract

Die Entwicklung von Individualsoftware im öffentlichen Sektor bedeutet heute nicht mehr, jede Zeile Code selbst zu schreiben. Im Vordergrund steht vielmehr die Bereitstellung von messbarem geschäftlichem Mehrwert bei gleichzeitig nachhaltigen Gesamtbetriebskosten (“Total Cost of Ownership”). Ein System, das zu komplex oder zu teuer im Unterhalt ist, verleiht keine echte Souveränität, vielmehr macht es abhängig vom Aufwand, der allein nötig ist, um den Betrieb aufrechtzuerhalten.

Digitale Souveränität ist letztlich eine architektonische Eigenschaft. Sie ergibt sich aus den bewussten Abwägungen, den akzeptierten Abhängigkeiten und der Frage, ob ein System auch in fünf oder zehn Jahren noch flexibel weiterentwickelt oder neu ausgerichtet werden kann.

Die Erreichung digitaler Souveränität erfordert daher eine Betrachtung der Softwarearchitektur durch die Linse einer kooperativen Governance. Low-Maintenance-Ansätze („Low Ops“) sowie das Denken in gemeinsam genutzten funktionalen Bausteinen müssen priorisiert werden. Mit dem EMBAG-Gesetz wird Open Source mehr als nur zu einer rechtlichen Vorgabe — es wird zu einem strategischen Schlüssel, um Komplexität nachhaltig zu reduzieren. Durch die Nutzung schweizspezifischer, gemeinschaftlich erprobter Standards können wir aufhören, isolierte Individual­lösungen zu bauen, und stattdessen ein föderiertes digitales Ökosystem gestalten und steuern.

Diese Session zeigt auf, wie Architektur und Governance zusammenspielen müssen, damit die Software, die wir heute besitzen, uns morgen nicht selbst in Besitz nimmt.

19:0022:00

 Konferenzdinner

 Link:   Social Events

 Veranstaltungsort:   Gurten Pavillon

10:0010:30

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

10:3012:00

 Vorträge der Nominierten

 Raum: Sky Lounge 3

 Link:   Student Research Competition / Softwaretechnikpreis

 Session Chairs: Manuel Ohrndorf (Universität Bern (CH)), Pooja Rani (Universität Zürich (CH))

 "Extracting Knowledge Graphs from User Stories Using LangChain (Masterarbeit)"

 Autor:in: Thayna Camargo da Silva

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Requirely: A Tool for Detecting and Correcting Requirements Smells (Masterarbeit)"

 Autor:in: Max Unterbusch

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Engineering and Selecting Machine Learning Features for Feature Models (Masterarbeit)"

 Autor:in: Raphael Dunkel

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Creation and Evaluation of a Tool for Visualizing Reachability Analyses in Software Libraries (Masterarbeit)"

 Autor:in: Ramon Jasari

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Designing and Validating Code Comprehension Tests: An Empirical Study on Task Design (Masterarbeit)"

 Autor:in: Luisa Bartl

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Mining Bugs in Linux to Assess the Effectiveness of Automated Variability Testing (Masterarbeit)"

 Autor:in: Christopher Rau

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Trunk-Based Development in Open Source Software Projects: A Data Driven Approach (Bachelorarbeit)"

 Autor:in: Levi Samuel Böhme

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "T-Wise Sampling Operations on Binary Decision Diagrams (Bachelorarbeit)"

 Autor:in: Aaron Molt

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Analyzing the Impact of Typosquatting Attacks in Maven (Bachelorarbeit)"

 Autor:in: Finn Wilken

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

 "Towards Large-Scale Variability Investigations in Nostr (Seminararbeit)"

 Autor:in: Michael Kaiser

 Format: 7 Minuten Präsentation + 2 Minuten Fragerunde

12:0013:00

 Mittagessen

 Raum: Champions Lounge (Catering-Bereich)

13:0013:30

 Poster Session (Am Ende der Mittagspause)

 Raum: Champions Lounge (Catering-Bereich)

15:0015:30

 Poster Session (Während der Kaffeepause)

 Raum: Champions Lounge (Catering-Bereich)

19:0022:00

 Konferenzdinner

 Link:   Social Events

 Veranstaltungsort:   Gurten Pavillon

15:0015:30

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

15:3017:30

 Vorträge der Dissertationspreis-Nominierten

 Raum: Sky Lounge 3

 Link:   Dissertationspreis

 Session Chair: Malte Lochau (Universität Siegen (DE))

 "Towards Managed Clone-and-Own: Automating Matching and Patching"

 Autor:in: Alexander Schultheiß

 Format: 10 Minuten Präsentation + 10 Minuten Fragerunde

 "Neural Bug Detection"

 Autor:in: Cedric Richter

 Format: 10 Minuten Präsentation + 10 Minuten Fragerunde

 "Unleashing the Potential of Configuration Counting for Product-Line Analyses"

 Autor:in: Chico Sundermann

 Format: 10 Minuten Präsentation + 10 Minuten Fragerunde

 "Functional Modeling of Cyber-Physical Systems"

 Autor:in: Imke Nachmann

 Format: 10 Minuten Präsentation + 10 Minuten Fragerunde

 "T-Reqs: A Conceptual Model & Framework for Template-Based Requirements Quality Improvement in Space Engineering"

 Autor:in: Katharina Grosser

 Format: 10 Minuten Präsentation + 10 Minuten Fragerunde

 "Automatic Performance Modeling and Analysis of Configurable Scientific Software and Workflows"

 Autor:in: Larissa Schmid

 Format: 10 Minuten Präsentation + 10 Minuten Fragerunde

17:3018:00

 Jurysitzung (Geschlossen)

 Raum: Sky Lounge 3

 Link:   Dissertationspreis

 Session Chair: Malte Lochau (Universität Siegen (DE))

19:0022:00

 Konferenzdinner

 Link:   Social Events

 Veranstaltungsort:   Gurten Pavillon

13:0013:30

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

13:3015:00

 SEUH

 Raum: Sky Lounge 1

 Link:   SEUH

 Session Chair: TBA

15:0015:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

15:3017:00

 SEUH

 Raum: Sky Lounge 1

 Link:   SEUH

 Session Chair: TBA

19:0022:00

 Konferenzdinner

 Link:   Social Events

 Veranstaltungsort:   Gurten Pavillon

 Veranstaltungsort:   Stadion Wankdorf

08:3009:00

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

09:0010:00

 Wissenschaftliche Keynote: Chunyang Chen

 Raum: Champions Lounge

 Link:   Wissenschaftliche Keynote: Chunyang Chen

 Sprecher:in:

 Session Chair: Michael Pradel (Universität Stuttgart (DE))

10:0010:30

 Kaffeepause

 Raum: Champions Lounge (Catering-Bereich)

10:3012:00

 Session: GUI-level Analysis & Requirements

 Raum: Sky Lounge 2

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Andreas Metzger (Universität Duisburg-Essen (DE))

 "Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge"

 Autor:in: Yanqi Su

 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

 "Parametric Falsification of Many Probabilistic Requirements under Flakiness"

 Autor:innen: Matteo Camilli, Raffaela Mirandola

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:3012:00

 Session: LLMs & AI

 Raum: Champions Lounge

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Andrea Stocco (TU München (DE))

 "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:3012:00

 Session: Security & Privacy

 Raum: Sky Lounge 3

 Link:   Wissenschaftliches Programm (SE)

 Session Chair: Dominik Helm (Universität Stuttgart (DE))

 "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:0012:15

 Abschluss

 Raum: Champions Lounge

 Sprecher:in: Timo Kehrer (Universität Bern (CH))

12:1513:30

 Mittagessen

 Raum: Champions Lounge (Catering-Bereich)

10:0010:30

 Registrierung

 Raum: Champions Lounge (Empfangsbereich) (3. Stock)

10:3012:00

 SEUH

 Raum: Sky Lounge 1

 Link:   SEUH

 Session Chair: TBA

12:0013:30

 Mittagessen

 Raum: Champions Lounge (Catering-Bereich)