Forschungsbericht 2024

Softwaresysteme E-16

Leitung: Schupp, Sibylle

Institut auf TORE
Institutswebsite

Publikationen

• IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses - Conference Paper not in Proceedings
  Lübke, Ole
  15th International Workshop on Pragmatics of SAT, PoS 2024
  Open Access
  
  
• A model template for reachability-based containment checking of imprecise observations in timed automata - Journal Article
  Lehmann, Sascha; Schupp, Sibylle
  Software and Systems Modeling (in Press): (2024)
  Open Access | Publisher DOI
  
  
• noSAT-MaxSATv3 - Conference Paper
  Lübke, Ole
  19th MaxSAT Evaluation, MSE 2024
  Open Access
  
  
• Repairing neural networks for image classification problems using spectrum-based fault localization - Conference Paper
  Rashedi, Daniel; Schupp, Sibylle
  4th IEEE International Conference on Software Engineering and Artificial Intelligence, SEAI 2024
  Publisher DOI
  
  
• Sliced online model checking for optimizing the beam scheduling problem in robotic radiation therapy - Conference Paper
  Beckers, Lars; Gerlach, Stefan; Lübke, Ole; Schlaefer, Alexander; Schupp, Sibylle
  6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024
  Open Access | Publisher DOI
  
  

Projekte

• Zeitbeschränktes Model-Checking und verifikationsbewusster Systementwurf für medizinische cyber-physikalische Systeme
  Deutsche Forschungsgemeinschaft (DFG); Laufzeit 2021-2025
  Projektleitung: Schlaefer, Alexander; Schupp, Sibylle