Prof. Dr. Holger Schlingloff
Profil
Zusammenfassung
Prof. Schlingloff entwickelt Methoden zur formalen Verifikation und zum Testen von komplexen Softwaresystemen — von eingebetteten Systemen über autonome Systeme bis zu Web Services. Seine Expertise liegt in der mathematischen Spezifikation von Systemverhalten und der automatisierten Überprüfung auf Korrektheit, was besonders für sicherheitskritische Anwendungen relevant ist.
Skills
Stammdaten
Identität, Organisation und Kontakt aus HU-FIS.
- Name
- Prof. Dr. Holger Schlingloff
- Titel
- Prof. Dr.
- Fakultät
- Mathematisch-Naturwissenschaftliche Fakultät
- Institut
- Institut für Informatik
- Arbeitsgruppe
- Softwaretechnik (S)
- 🔒 nur für eingeloggte sichtbarAnmelden
- Telefon
- 🔒 nur für eingeloggte sichtbarAnmelden
- HU-FIS-Profil
- Quelle ↗
- Zuletzt gescrapt
- 28.6.2026, 01:12:24
Forschungsthemen8
AMVAD
Quelle ↗Förderer: Investitionsbank Berlin (IBB) Zeitraum: 01/2023 - 12/2025 Projektleitung: Prof. Dr. Holger Schlingloff, Prof. Dr. Lars Grunske
Big Data Analytics am Beispiel von Finanzdaten Preisgeld
Quelle ↗Zeitraum: 02/2014 - 12/2017 Projektleitung: Prof. Dr. Holger Schlingloff
CrESt: Modellbasierte Entwicklung kollaborativer eingebetteter Systeme
Quelle ↗Förderer: Bundesministerium für Forschung, Technologie und Raumfahrt Zeitraum: 02/2017 - 04/2020 Projektleitung: Prof. Dr. Holger Schlingloff
Mögliche Industrie-Partner314
Details nur für eingeloggte sichtbar
🔒 Das System hat 314 mögliche Industrie-Partner gefunden — Firmen, Scores und Begründungen sind nur für eingeloggte Nutzer:innen sichtbar. Anmelden
Publikationen25
Top 25 nach Zitationen — Quelle: OpenAlex (BAAI/bge-m3 embedded für Matching).
Model Checking
19994257 Zitationen
Model Checking
2001Elsevier eBooks · 384 Zitationen · DOI
Formal Methods in System Design · 92 Zitationen · DOI
Kooperationen0
Bestätigte Forscher↔Partner-Paare aus HU-FIS — Gold-Standard-Positive für das Matching.
Aus HU-FIS sind keine Kooperationen für diese Person gemeldet.