Ansprechperson
Prof. Dr. Holger Schlingloff
Prof. Dr. Holger Schlingloff
Chief Scientist
Geschäftsbereich SQC
+49 30 3463-7504
Prof. Dr. Holger Schlingloff
Fraunhofer FOKUS

Prof. Dr. Holger Schlingloff ist Chief Scientist des Geschäftsbereichs SQC 

Ausbildung & Beruf

Holger Schlingloff ist Chief Scientist des System Quality Center (SQC) am Fraunhofer-Institut für offene Kommunikationssysteme FOKUS, Berlin, und gleichzeitig Professor für Softwaretechnik mit den Schwerpunkten Spezifikation, Verifikation und Testtheorie an der Humboldt-Universität zu Berlin.

Er promovierte 1990 an der TU München mit einer Arbeit zur temporalen Logik von Bäumen. Danach war er Gastwissenschaftler an der Carnegie-Mellon-Universität, Pittsburgh, und wissenschaftlicher Assistent am Institut für Informatik der TU München. Von 1997-2001 war er Geschäftsführer des Bremer Instituts für Sichere Systeme (BISS) am Technologie-Zentrum Informatik (TZI) der Universität Bremen. Er habilitierte sich im Jahre 2001 an der Universität Bremen, Thema der Habilitationsschrift ist die partielle Zustandsraumanalyse sicherheitskritischer Systeme.

Seine Forschungsinteressen liegen in der Qualitätssicherung eingebetteter Software, modellbasierter Entwicklung und Modellprüfung, logische Verifikation von Anforderungen, statischer Analyse und der automatischen Generierung und Ausführung von Softwaretests. Prof. Schlingloff leitet mehrere größere europäische und nationale Förderprojekte auf diesen Gebieten und setzt die Ergebnisse in industriellen Kooperationsprojekten im Bereich der Verkehrs-, Automatisierungs- und Medizintechnik ein.

Publications

Jahr
Year
Titel/Autor:in
Title/Author
Publikationstyp
Publication Type
2022 SmartDelta: automated quality assurance and optimization in incremental industrial software systems development
Saadatmand, Mehrdad; Enoiu, Eduard Paul; Schlingloff, Holger; Felderer, Michael; Afzal, Wasif
Konferenzbeitrag
Conference Paper
2022 Formal methods for software engineering
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Buch
Book
2021 CrESt Use Cases
Schlingloff, Holger
Aufsatz in Buch
Book Article
2021 Creating Trust in Collaborative Embedded Systems
Akili, Samira; Cioroaica, Emilia; Kuhn, Thomas; Schlingloff, Holger
Aufsatz in Buch
Book Article
2021 Goal-Based Strategy Exploration
Obe, Patricia Aluko; Brings, Jennifer; Daun, Marian; Feeken, Linda; Mirzaei, Elham; Neumann, Martin; Nickles, Jochen; Rösel, Simon; Sauer, Markus; Schlingloff, Holger; Stierand, Ingo; Zernickel, Jan-Stefan
Aufsatz in Buch
Book Article
2021 Preface. Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2018
Schlingloff, H.; Penczek, W.
Zeitschriftenaufsatz
Journal Article
2020 Excellence in variant testing
Schlingloff, Holger; Kruse, Peter M.; Saadatmand, Mehrdad
Konferenzbeitrag
Conference Paper
2020 Wie können KI-Komponenten mit Modellen abgesichert werden?
Schlingloff, Holger; Großmann, Jürgen
Zeitschriftenaufsatz
Journal Article
2018 Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic
Lorenz, Felix; Schlingloff, Holger
Konferenzbeitrag
Conference Paper
2016 Variant management and reuse
Schaefer, Ina; Heuer, André; Jäger, Tobias; Kaufmann, Tobias; Manz, Christian; May, Reinhold; Reuter, Christian; Rumpe, Bernhard; Schlingloff, Holger; Schröck, Sebastian; Schulze, Christoph; Schulze, Michael; Weißleder, Stephan
Aufsatz in Buch
Book Article
2014 An evaluation of model-based testing in embedded applications
Weißleder, Stephan; Schlingloff, Holger
Konferenzbeitrag
Conference Paper
2013 Eighth Workshop on Model-Based Testing, MBT 2013. Proceedings. Online resource
Petrenko, Alexander K.; Schlingloff, Holger
Tagungsband
Conference Proceeding
2012 Automatic model-based test generation from UML state machines
Weißleder, Stephan; Schlingloff, Holger
Aufsatz in Buch
Book Article
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica

This list has been generated from the publication platform Fraunhofer-Publica