15.07.2025
	Deniz Hagelstein	Quantitative evaluation of AI-based literature search in comparison to systematic literature search	en	AV	BA
	10.06.2025
11:00	Ghassen Hajiri	Modeling an RCE Network Protocol with TLA+
	20.05.2025
	Deniz Hagelstein	Quantitative evaluation of AI-based literature search in comparison to systematic literature search	en	ZV	BA
	Soumabrata Mukherjee	Enhancing Classification Accuracy Using Weight Adjustments Guided by Suspiciousness Scores in Convolutional Neural Networks
	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