Contact Person
Prof. Dr. Holger Schlingloff
Prof. Dr. Holger Schlingloff
Chief Scientist
Business Unit SQC
+49 30 3463-7504
Prof. Dr. Holger Schlingloff
Fraunhofer FOKUS

Prof. Dr. Holger Schlingloff is Chief Scientist of SQC

Education & Career

Holger Schlingloff is Chief Scientist of the System Quality Center (SQC) at the Fraunhofer Institute FOKUS and professor for software engineering at the Humboldt University of Berlin. His main interests are specification, verification and testing of embedded safety-critical software. He obtained his Ph.D. from the Technical University of Munich in 1990 with a thesis on temporal logic of trees; after that, he visited Carnegie-Mellon-University, Pittburgh, where he worked on model checking of real-time systems. After his return he was associate professor at the TU Munich and, from 1997 to 2001, managing director of the Bremen Institute for Safe Systems (BISS) within the Center for Computing Technologies (TZI),  Bremen. His habilitation in 2001 was on partial state space of safety-critical systems. Since 2002, when he joined Fraunhofer, he is managing industrial projects in the automotive, railway, and medical technology domain. His areas of expertise include quality assurance of embedded control software, model-based development and model checking, logical verification of requirements, static analysis, and automated software testing.

Publications

Jahr
Year
Titel/Autor:in
Title/Author
Publikationstyp
Publication Type
2022 Formal methods for software engineering
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Buch
Book
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
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 Preface. Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2018
Schlingloff, H.; Penczek, W.
Zeitschriftenaufsatz
Journal 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
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