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.


Fraunhofer publication list
Schlingloff, Holger; Kruse, Peter M.; Saadatmand, Mehrdad:
Excellence in variant testing
(International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS) <14, 2020, Magdeburg>)
In: Cordy, M.: VaMoS '20, 14th International Working Conference on Variability Modelling of Software-Intensive Systems: Magdeburg, Germany February, 2020 . New York: ACM, 2020, Art. 12, 2 pp.
Schlingloff, Holger; Großmann, Jürgen:
Wie können KI-Komponenten mit Modellen abgesichert werden?
In: German testing magazine, (2020), No.1, pp.28-30
Lorenz, Felix; Schlingloff, Holger:
Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic
(International Conference on Automation Science and Engineering (CASE) <14, 2018, Munich>)
In: Vogel-Heuser, B.: 14th IEEE International Conference on Automation Science and Engineering, CASE 2018: Munich, Germany, August 20-24, 2018. Piscataway, NJ: IEEE, 2018, pp. 1093-1098
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:
Variant management and reuse
In: Pohl, Klaus (Ed.): Advanced model-based engineering of embedded systems: Extensions of the SPES 2020 methodology. Cham: Springer International Publishing, 2016, pp. 197-222
Weißleder, Stephan; Schlingloff, Holger:
An evaluation of model-based testing in embedded applications
(International Conference on Software Testing, Verification and Validation (ICST) <7, 2014, Cleveland/Ohio>)
In: Institute of Electrical and Electronics Engineers -IEEE-: IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014: Cleveland, Ohio, USA, 31 March - 4 April 2014; Proceedings. Piscataway, NJ: IEEE, 2014, pp. 223-232
Petrenko, Alexander K.; Schlingloff, Holger:
Eighth Workshop on Model-Based Testing, MBT 2013. Proceedings. Online resource: Held in Rome on March 17, 2013 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013)
(Workshop on Model-Based Testing (MBT) <8, 2013, Rome>)
Rome, 2013
Weißleder, Stephan; Schlingloff, Holger:
Automatic model-based test generation from UML state machines
In: Zander, J. et al.: Model-based testing for embedded systems. Boca Raton, Fla.: CRC Press, 2012. (Computational analysis, synthesis, and design of dynamic systems 13), pp. 77-110
Filippidis, L.; Schlingloff, H.:
Structural equation modelling for causal analysis applied to transport systems
(Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT) <9, 2012, Braunschweig>)
In: Schnieder, Eckehard (Ed.): FORMS/FORMAT 2012, 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems: Braunschweig, 11.-13.12.2012. Braunschweig: Technische Universität Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik, 2012, pp. 109-122
Burkhard, H.D.; Czaja, L.; Lindemann, G.; Penczek, W.; Salwicki, A.; Schlingloff, H.; Suraj, Z.:
Concurrency Specification and Programming (CS&P). Preface
In: Fundamenta informaticae, Vol.93 (2009), No.1-3, pp.I-I
Lackner, H.; Svacina, J.; Schlingloff, H.:
Test case generation from workflow-based requirement specification
(Workshop on Concurrency, Specification and Programming (CS&P) <18, 2009, Krakow>)
In: Czaja, L.: Workshop on Concurrency, Specification, and Programming, CS&P 2009. Proceedings. Vol.2: Krakow-Przegorzaly, Poland, 28-30 September 2009. Warsaw: Politechnika Warszawska, 2009, pp. 339-350
Burkhard, H.-D.; Czaja, L.; Lindemann, G.; Penczek, W.; Salwicki, A.; Schlingloff, H.; Suraj, Z. :
Concurrency specification and programming, CS&P 2008: Groß Väter See (near Berlin), Germany, 29.September - 1. October 2008
(Concurrency specification and programming (CS&P) <2008, Groß Väter See>)
Amsterdam: IOS Press, 2008
(Fundamenta Informaticae Vol.85, Nr.1-4)
Burkhard, H.-D.; Czaja, L.; Lindemann, G.; Penczek, W.; Salwicki, A.; Schlingloff, H.; Suraj, Z.:
Concurrency Specification and Programming (CS&P)
(Concurrency Specification and Programming Workshop (CS&P) <2005, Ruciane-Nida>)
In: Burkhard, H.-D.: Special issue on concurrency specification and programming, CS&P 2005: Ruciane-Nida, Poland, 28 - 30 September 2005. Amsterdam: IOS Press, 2006. (Fundamenta informaticae 72.2006, Nr.1/3), pp. VII-VII
Schlingloff, H.; Martens, A.; Schmidt, K.:
Modeling and model checking web services
(International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS) <2, 2004, Nancy>)
In: Electronic notes in theoretical computer science. Online journal, Vol.126 (2005), pp.3-26
Gimblett, A.; Roggenbach, M.; Schlingloff, H.:
Towards a Formal Specification of an Electronic Payment System in CSP-CASL
(International Workshop on Algebraic Development Techniques (WADT) <17, 2004, Barcelona>)
In: Fiadeiro, J.L.: Recent trends in algebraic development techniques: 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 ; revised selected papers. Berlin: Springer, 2005. (Lecture Notes in Computer Science 3423), pp. 61-78
Friske, M.; Schlingloff, H.:
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise
(Workshop on Model-Based Development of Embedded Systems (MBEES) <2005, Schloss Dagstuhl>)
In: Klein, T. et al.: Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme, MBEES 2005. Tagungsband. Braunschweig, 2005. (TU Braunschweig, Institut für Software Systems Engineering. Technischer Bericht TUBS-SSE-2005-01), pp. 1-10
Paech, B.; Santen, T.; Schlingloff, H.:
Abschlussbericht QUASAR: Integrierte Qualitätssicherung und Anforderungsanalyse zur Softwareentwicklung im Umfeld Fahrzeug
Kaiserslautern, 2004
(IESE-Report 063.04/D)
Schlingloff, H.; Sühl, C.; Dörr, H.; Conrad, M.; Stroop, J.; Sadeghipour, S.; Kühl, M.; Rammig, F.; Engels, G.:
IMMOS - Eine integrierte Methodik zur modellbasierten Steuergeräteentwicklung
(Eröffnungskonferenz Forschungsoffensive "Software Engineering 2006" <2004, Berlin>)
In: Bundesministerium für Bildung und Forschung -BMBF-: Eröffnungskonferenz Forschungsoffensive "Software Engineering 2006". Tagungsbeiträge. Berlin, 2004, 12 pp.
Schlingloff, H.; Conrad, M.; Dörr, H.; Sühl, C.:
Modellbasierte Steuergeräteentwicklung für den Automobilbereich
(Workshop "Automotive - Safety & Security" <2004, Stuttgart>)
In: Plödereder, E.: Automotive - Safety & Security 2004: Sicherheit und Zuverlässigkeit für automobile Informationstechnik. Ada Deutschland Tagung 2004 - Zuverlässige Softwaresysteme, 6. und 7. Oktober 2004, Universität Stuttgart. Aachen: Shaker, 2004. (Berichte aus der Softwaretechnik), pp. 51-64