Prof. Dr. Holger Schlingloff

Prof. Schlingloff erforscht die systematische Entwicklung und Qualitätssicherung komplexer Softwaresysteme, insbesondere im Kontext von Digital Twins, automatisierten Bahnsystemen und inkrementeller Softwareentwicklung. Sein aktueller Fokus liegt auf formalen Verifikationsmethoden und modellgetriebener Entwicklung, um Sicherheit und Zuverlässigkeit in sicherheitskritischen Systemen (Eisenbahn, virtuelle Zugkopplung) zu gewährleisten. Mit Projekten wie SmartDelta entwickelt er automatisierte Qualitätsanalyse-Lösungen für evolvierende Softwareprodukte, die Unternehmen helfen, Qualitätseinbußen bei inkrementellen Updates zu erkennen und zu vermeiden. Die Methoden sind relevant für Bahnindustrie, Automobilindustrie und allgemein für Hersteller von sicherheitskritischer oder hochkomplexer Software.

🔒 Das System hat 755 mögliche Industrie-Partner gefunden — Firmen, Scores und Begründungen sind nur für eingeloggte Nutzer:innen sichtbar. Anmelden

• Stipendium für Herrn Mishra

  Quelle ↗

  Zeitraum: 06/2004 - 05/2005 Projektleitung: Prof. Dr. Holger Schlingloff

• Prosafe

  Quelle ↗

  Zeitraum: 03/2005 - 06/2006 Projektleitung: Prof. Dr. Holger Schlingloff

• Logische Analyse und formale Verifikation von offenen, interaktiven Multiagentensystemen

  Quelle ↗

  Förderer: Bundesministerium für Forschung, Technologie und Raumfahrt Zeitraum: 06/2009 - 04/2012 Projektleitung: Prof. Dr. Holger Schlingloff

• Model Checking

  1999

• Model Checking

  2001

  Elsevier eBooks · DOI

• Efficient Verification of Parallel Real–Time Systems

  1997

  Formal Methods in System Design · DOI