| 16.09.2025 | |||||
| t.b.a. | |||||
| 19.08.2025 | |||||
| 10:00 | Milan Bhardwaj | Refining Loop Invariants with Adaptive Feedback, Code Comparison and Caching: Integrating LLMs and Verifiers | en | AV | MA |
| 15.07.2025 | |||||
| 09:00 | Tim Bogumil | Lime-based explanation of multidimensional signals | en | AV | BA |
| 10:00 | Vaishnavi Kantu | Feature-Driven Analysis of a Local Search MaxSAT Solver using Decision Trees | en | ZV | MA |
| 11:00 | Lucas Mougenot | TEMPY Extended: Test Smell Detection and Fault-Rate Analysis in Python | en | ZV | BA |
| 12:00 | Deniz Hagelstein | Quantitative evaluation of AI-based literature search in comparison to systematic literature search | en | AV | BA |
| 13:00 | Kian Schulz | Automated Generation of Activity Diagrams from Java Execution Traces | en | AV | BA |
| 10.06.2025 | |||||
| 11:00 | Ghassen Hajiri | Modeling an RCE Network Protocol with TLA+ | en | AV | MA |
| 13:00 | Tristan Reh | SBIR: Combining Spectrum-Based and Information-Retrieval-Based Fault Localization | |||
| 14:30 | Manish Mahesh Kumar | Comparison of Hybrid Machine Learning Models for Aramoly Detection in Wireless Sensor Networks | en | ZV | RP |
| 15:30 | Sudarsan Reddy Katam | Short-Term Wind Power Prediction with Time Series Data Using RNN Architectures | en | ZV | RP |
| 20.05.2025 | |||||
| 11:00 | Marc Bessa Hoffmann | Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives | en | AV | RP |
| 12:00 | Soumabrata Mukherjee | Enhancing Classification Accuracy Using Weight Adjustments Guided by Suspiciousness Scores in Convolutional Neural Networks | en | AV | RP |
| 13:00 | Deniz Hagelstein | Quantitative evaluation of AI-based literature search in comparison to systematic literature search | en | ZV | BA |
| 14:00 | Tim Bogumil | Lime-based explanation of multidimensional signals | en | ZV | BA |
| 22.04.2025 | |||||
| 09:30 | Yamen Hallak | Graph-based analysis of aircraft cabin system design in the context of model-based systems engineering | en | AV | BA |
| 11:00 | Kian Schulz | Automated Generation of Activity Diagrams from Java Execution Traces | en | ZV | BA |
| 12:00 | Sascha Feil | Können Open-Source "Large Language Models" die Entwicklung neuronaler Netzwerke unterstützen? | de | AV | BA |
| 14:00 | Jan Heitmüller | Local Search on the Hard Clauses of Partial MaxSAT | en | AV | RP |
| 15:00 | Joshua Yu | Hybrid Harmony-Search Driven Optimization for Multi-DOF Robot Arm Control | en | AV | BA |
| 16:00 | Hai Nam Tran | Evaluation of effectiveness of Large Language Models on Software Verification and Program Explanation Tasks | en | AV | RP |
| 17:00 | Milan Bhardwaj | Refining Loop Invariants with Adaptive Feedback, Code Comparison and Caching: Integrating LLMs and Verifiers | en | ZV | MA |
| 27.03.2025 | |||||
| 09:30 | Hai Nam Tran | Evaluation of effectiveness of Large Language Models on Software Verification and Program Explanation Tasks | en | ZV | RP |
| 10:30 | Marc Bessa Hoffmann | Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives | en | ZV | RP |
| 20.02.2025 | |||||
| 12:00 | Joshua Yu | Hybrid Harmony-Search Driven Optimization for Multi-DOF Robot Arm Control | en | ZV | BA |
| 13:00 | Sascha Feil | Können Open-Source "Large Language Models" die Entwicklung neuronaler Netzwerke unterstützen? | de | ZV | BA |
| 14:00 | Soumabrata Mukherjee | Enhancing Classification Accuracy Using Weight Adjustments Guided by Suspiciousness Scores in Convolutional Neural Networks | en | ZV | RP |
| 15:00 | Jan Heitmüller | Local Search on the Hard Clauses of Partial MaxSAT | en | ZV | RP |
| 16:00 | Malte Machwitz | Test selection for development of C++ software based on call graph analysis | en | AV | BA |
| 23.01.2025 | |||||
| 12:30 | Ghassen Hajiri | Modeling an RCE Network Protocol with TLA+ | en | ZV | MA |
| 13:30 | Jason Schritt | Rulebooks for motion planning of autonomous vehicles in danger | en | AV | BA |
| 14:30 | Anton Reinecke | Safe real-time updates in timed automata for online model-checking | en | AV | MA |
| 19.12.2024 | |||||
| 10:00 | Ghassen Hajiri | Modeling an RCE Network Protocol with TLA+ | en | ZV | MA |
| 11:00 | Malte Machwitz | Test selection for development of C++ software based on call graph analysis | en | ZV | BA |
| 12:00 | Omar Bittar | Federated Non-Gradient-Based Boosting versus Federated Gradient Based Approaches | en | AV | BA |
| 17.10.2024 | |||||
| 14:00 | Omar Bittar | Federated Non-Gradient-Based Boosting versus Federated Gradient Based Approaches | en | ZV | BA |
| 15:00 | Jason Schritt | Rulebooks for motion planning of autonomous vehicles in danger | en | ZV | BA |
| 25.09.2024 | |||||
| 15:00 | Thorge Becker | Incremental MaxSAT for Multi-Objective Optimization in Real-Time Taxi-Sharing Services | en | AV | MA |
| 22.08.2024 | |||||
| 10:30 | Wolf Grosspietsch | Multi-armed Bandit Learning for Stochastic Local Search MaxSAT Solving | en | AV | BA |
| 11:30 | Trang Pham | Enhancing MaxSAT Local Search with a Soft Conflict Pseudo Boolean Constraint | en | AV | BA |
| 12:30 | Anton Reinecke | Safe real-time updates in timed automata for online model-checking | en | ZV | MA |
| 01.08.2024 | |||||
| 09:00 | Robin Willenbrock | Static Detection of Data Races in Interrupt-Driven Software Using Reduced Inter-Procedural Control Flow Graphs | en | AV | BA |
| 10:00 | Linh Ngoc Le | Offline test generation for real-time systems using model checking | en | AV | RP |
| 09.07.2024 | |||||
| 14:00 | Wolf Grosspietsch | Multi-armed Bandit learning for stochastic local search MaxSAT solving | en | ZV | BA |
| 15:00 | Trang Pham | Enhancing MaxSAT Local Search with a Soft Conflict Pseudo Boolean Constraint | en | ZV | BA |
| 16:00 | Maximilian Lohmann and Lukas Klenner | LiResolver: License Incompatibility Resolution for Open Source Software | en | ||
| 04.07.2024 | |||||
| 15:00 | Dr.Kai Bavendiek (Imbus) | On Test Automation - Software Testing in Practice Room A1.15 | en | ||
| 11.06.2024 | |||||
| 14:00 | Thorge Becker | Incremental MaxSAT for Multi-Objective Optimization in Real-Time Taxi-Sharing Services | en | ZV | MA |
| 15:00 | Firat Gezirgen | Beidseitige Transformation zwischen Timed-Arc-Petri-Netzen und nebenläufigen Zeitautomaten | de | AV | BA |
| 16:00 | Robin Willenbrock | Static Detection of Data Races in Interrupt-Driven Software Using Reduced Inter-Procedural Control Flow Graphs | en | ZV | BA |
| 17:15 | Linh Ngoc Le | Offline test generation for real-time systems using model checking | en | ZV | RP |
| 07.05.2024 | |||||
| 14:00 | Firat Gezirgen | Beidseitige Transformation zwischen Timed-Arc-Petri-Netzen und nebenläufigen Zeitautomaten | de | ZV | BA |
| 15:00 | Preslav Naydenov | Automatic Configuration of Anytime MaxSAT Solver Parameters for Routing and Scheduling in Wireless Mesh Networks | en | AV | BA |
| 09.04.2024 | |||||
| 15:00 | Yunus Aras | DeepFault in Regression Models: Identifying and Analyzing Suspicious Neurons | en | AV | BA |
| 16:00 | Lennart Mühlhahn | Mutation-Based Accuracy Improvements in Neural Networks using Spectrum-Based Fault Localization | en | AV | BA |
| 17:00 | Endri Memaj | Using a Parser-Parser Combinator for Improved Handling of Sequences in Blattwerkzeug | en | AV | BA |
| 21.03.2024 | |||||
| 10:00 | Preslav Naydenov | Automatic Configuration of Anytime MaxSAT Solver Parameters for Routing and Scheduling in Wireless Mesh Networks | en | ZV | BA |
| 11:00 | Reine Elisabeth Tchahou Ngamo | Federated non gradient based Boosting versus federated gradient based approaches | en | AV | RP |
| 12:00 | Artur Stanow | Applying Multi-Versioning on Containerized HTML-based Video Game Software for Satisfying Performance Requirements | en | AV | BA |
| 15:00 | Fin Bießler | Randomized Generation of Flaky Test Suites | en | AV | BA |
| 15.02.2024 | |||||
| 14:00 | Lennart Mühlhahn | Mutation-Based Accuracy Improvements in Neural Networks using Spectrum-Based Fault Localization | en | ZV | BA |
| 15:00 | Alexander Heidorn | Iterative Neural Network Optimization Using the Apricot Weight-Adaption Approach with Weighted Training Subsets | en | AV | BA |
| 16:00 | Artur Stanow | Applying Multi-Versioning on Containerized HTML-based Video Game Software for Satisfying Performance Requirements | en | ZV | BA |
| 11.01.2024 | |||||
| 14:00 | Reine Elisabeth Tchahou Ngamo | Federated non gradient based Boosting versus federated gradient based approaches | en | ZV | RP |
| 14.12.2023 | |||||
| 14:00 | Fin Bießler | Randomized Generation of Flaky Test Suites | en | ZV | BA |
| 15:00 | Alexander Heidorn | Iterative Optimization of the Apricot Weight-Adaptation Approach Using Weighted Training Subsets | en | ZV | BA |
| 09.11.2023 | |||||
| 14:00 | Endri Memaj | Using a Parser-Parser Combinator for Improved Handling of Sequences in Blattwerkzeug | en | ZV | BA |
| 10.10.2023 | |||||
| 14:00 | Jan Heitmüller | User Partitioning for Anytime Local-Search MaxSAT Solvers | en | AV | BA |
| 12.09.2023 | |||||
| 14:00 | Jan Heitmüller | User Partitioning for Anytime Local-Search MaxSAT Solvers | en | ZV | BA |
| 08.08.2023 | |||||
| 12:00 | David Rakhshan | Braille Translation using Stochastic Parsing | en | AV | BA |
| 13:00 | Thorge Becker | Application of Frequency Fitness Assignment for solving MaxSAT problems | en | AV | RP |
| 14:00 | Vincent Hanke | Attacking Defense Strategies of Neural Networks using Dynamic Backdoors | en | AV | MT |
| 15:00 | Marc Bessa Hoffmann | Enhancing the Fix Patterns Database of Static Analysis Violations in Automated Semantic Program Repair using AVATAR | en | AV | BA |
| 11.07.2023 | |||||
| 11:00 | Franziska-Sophie Göttsch | Comparison and Implementation of Graph Traversal Algorithms for Automating Model-Based GUI Testing | en | AV | BA |
| 12:00 | Pierre Hüber | Ensemblate Learning of Neural Networks and Time-Series | en | AV | RP |
| 13:00 | Ananya Biswas | Conformance Testing in UPPAAL with First and Higher-Order Mutants for Timed Automata | en | AV | MT |