09.07.2024
		t.b.a.
	11.06.2024
	Thorge Becker	Incremental MaxSAT for Multi-Objective Optimization in Real-Time Taxi-Sharing Services	en	ZV	MA
	07.05.2024
	Firat Gezirgen	Beidseitige Transformation zwischen Timed-Arc-Petri-Netzen und nebenläufigen Zeitautomaten	de	ZV	BA
	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