Forschungsbericht 2025

Softwaresysteme E-16

Leitung: Schupp, Sibylle

Institut auf TORE
Institutswebsite

Publikationen

• A provably safe controller for the needle-steering problem using online strategy synthesis - Journal Article
  Lehmann, Sascha; Rogalla, Antje; Neidhardt, Maximilian; Schlaefer, Alexander; Schupp, Sibylle
  Science of Computer Programming 245: 103314 (2025)
  Open Access | Publisher DOI
  
  
• Configurable abstraction of signals using signal temporal logic - Conference Paper
  Engeln, Ulrike; Schupp, Sibylle
  51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025
  Publisher DOI
  
  
• SLS-enhanced core-boosted linear search for anytime maximum satisfiability - Conference Paper
  Lübke, Ole; Berg, Jeremias
  31st International Conference on Principles and Practice of Constraint Programming, CP 2025
  Publisher DOI
  
  
• A model template for reachability-based containment checking of imprecise observations in timed automata - Journal Article
  Lehmann, Sascha; Schupp, Sibylle
  Software and Systems Modeling 24 (2): 411-444 (2025)
  Open Access | Publisher DOI
  
  
• Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations - Conference Paper
  Rashedi, Daniel; Schupp, Sibylle
  20th International Conference on Software Technologies 2025
  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