Ernst Denert Preis

Hinweis: Zur Teilnahme am Ernst Denert Preis ist eine Registrierung zur SE-Hauptkonferenz erforderlich: https://se2024.se.jku.at/registrierung/

Mittwoch, 28.2.

11:00 – 12:30, Loft C
– – –
Dominik Helm: Modular Collaborative Program Analysis

Sören Henning : Scalability Benchmarking of Cloud-Native Applications Applied to Event-Driven Microservices

Tobias Hey: Automatische Wiederherstellung von Nachverfolgbarkeit zwischen Anforderungen und Quelltext

– – –

14:00 – 15:30, Loft C

Stefan Höppner: Empirical Assessment of Advantages and Disadvantages of Model Transformation Languages

Thomas Lemberger: Towards Cooperative Software Verification with Test Generation and Formal Verification

Muhammad Numair Mansur: Automatically Detecting and Mitigating Issues in Program Analyzers

– – –

16:00 – 17:30, Loft C

Malte  Mues: The integration of Multi-Color Taint-Analysis with Dynamic Symbolic Execution for Java Web Application Security Analysis

Felix Pauck: Cooperative Android App Analysis