Contact Person
Prof. Dr. Holger Schlingloff
Prof. Dr. Holger Schlingloff
Chief Scientist
Business Unit SQC
Tel.: +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

Lapawczyk, Timon; Gerlach, Jens (Gutachter); Schlingloff, Holger (Gutachter):
Formale Verifikation von Heap-Algorithmen mit Frama-C.
2016
Berlin, Humboldt-Univ. zu Berlin, Bachelor-Arb., 2016

Schlingloff, Holger:
Kooperierende Transportroboter : SE: Humboldt-Universität Berlin.
2016

Chai, Ming; Schlingloff, Holger (Thesis advisor):
Runtime verification of railway applications with extended live sequence charts.
Aachen : Shaker, 2016
Berlin, Humboldt-Univ. zu Berlin, Diss., 2015

Schlingloff, Holger:
Software-Verifikation II - automatische Verifikation : VL+ UE: Humboldt-Universität Berlin.
2016

Schlingloff, H.:
Cyber-physische Systeme : PJ: Humboldt-Universität Berlin.
2015

Schlingloff, H.:
Cyberphysische Systeme : SE: Humboldt Univ. Berlin.
2015

Groß, Björn; Schlingloff, Holger:
Modellbasierter Produktlinientest für eingebettete Echtzeitsysteme.
2015
Berlin, Humboldt-Univ. zu Berlin, Bachelor-Arb., 2015

Destailleur, Aurèle; Schlingloff, Holger:
Multi-Modeling im Kontext von domänenspezifischen Sprachen.
2015
Berlin, Humboldt-Univ. zu Berlin, Diplom-Arb., 2015

Schlingloff, H.:
Software-Verifikation : VL: Humboldt-Universität Berlin.
2015

Thiele, Christian; Schlingloff, Holger (day-to-day-supervisor):
Design der verteilten Echtzeit-Systemarchitektur DISTAL und Implementierung am Beispiel des humanoiden Roboters Myon.
2014
Berlin, Humboldt-Univ., Diplom-Arb., 2014

Kühnlenz, Frank; Schlingloff, Holger (day-to-day-supervisor):
Design und Management von Experimentier-Workflows.
2014
Berlin, Humboldt-Univ., Diss., 2014

Soden, Michael; Schlingloff, Holger (day-to-day-supervisor):
Dynamische Modellanalyse von Metamodellen mit Operationaler Semantik.
2014
Berlin, Humboldt-Univ., Diss., 2014

Weißleder, Stephan; Schlingloff, Holger:
An evaluation of model-based testing in embedded applications.
In: Institute of Electrical and Electronics Engineers:
Proceedings of the IEEE seventh international conference on software testing, verification and validation 2014 (ICST) : March 31 - April 4 2014, Cleveland, Ohio, USA.
Los Alamitos, Calif. [u.a.] : IEEE, 2014, 223 - 232

Wartenberg, Florian; Schlingloff, Holger (supervisor):
Model-Based Test Design of Efficient Test Suites for Software Product Lines.
2014
Berlin, Humboldt-Univ., Diplom-Arb., 2014

Schlingloff, H.:
Modellbasierte Software-Entwicklung eingebetteter Systeme : VL: Humboldt Univ. Berlin.
2014

Domanska, Monika; Schlingloff, Holger (supervisor):
RoboNewbie - Robotersimulation für Lehre und Forschung.
2014
Berlin, Humboldt-Univ., Diplom-Arb., 2014

Mishra, Satish; Schlingloff, Holger (supervisor):
Software Product and Process Quality Improvement Using Formal Methods.
2014
Berlin, Humboldt-Univ., Diss., 2014

Schlingloff, H.:
Softwaretechnik für autonome Roboterteams : PJ: Humboldt Univ. Berlin.
2014

Serediouk, Valerij; Schlingloff, Holger (supervisor):
UML-basierte Runtime Verification.
2014
Berlin, Humboldt-Univ., Diplom-Arb., 2014

Richter, Tanja; Schlingloff, Holger (supervisor):
Vergleichende Untersuchung zum Einfluss der Morphologie auf das Verhalten von Robotern unter Verwendung von CSL.
2014
Berlin, Humboldt-Univ., Diplom-Arb., 2014

Petrenko, Alexander K.; Schlingloff, Holger:
Proceedings of the eighth workshop on model-based testing MBT 2013. : March 17, 2013 in Rome, Italy. Online Resource.
2013
(Electronic proceedings in theoretical computer science (EPCTS); 111)

Schlingloff, H.; Lackner, H.:
Qualitätssicherung von Software : VL+UE: Humboldt Universität Berlin.
2013

Petrenko, Alexandre (Ed.); Schlingloff, Holger (Ed.):
Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012) : Tallinn, Estonia, 25 March 2012.
Open Publishing Association, 2012
(Electronic proceedings in theoretical computer science (EPCTS); 80)

Weißleder, Stephan; Schlingloff, Holger:
Automatic model-based test generation from UML machines.
In: Zander, Justyna (Ed.) u.a.:
Model-based testing for embedded systems.
Boca Raton : CRC Press, 2011, 77-110
(Computational analysis, synthesis, and design of dynamic systems).

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 93 (2009), 1-3, S. I-I

Lackner, Hartmut; Svacina, Jaroslav; Schlingloff, Holger:
Test case generation from workflow-based requirement specification.
In: Czaja, Ludwik (Hrsg.) u.a.; Workshop for Concurrency, Specification and Programming <18, 2009, Krakow>:
Concurrency, Specification and Programming : Proceedings of the CS&P '2009 Workshop.
Warsaw : Univ., 2009
(Workshop for Concurrency, Specification and Programming <18, 2009, Krakow> 2).

Schlingloff, Holger; Sühl, Carsten; Dörr, Heiko; Conrad, Mirko; Stroop, J.; Sadeghipour, S.; Kühl, M.; Rammig, F.; Engels, G.:
IMMOS - Eine integrierte Methodik zur modellbasierten Steuergeräteentwicklung.
In: Deutschland / Bundesministerium für Bildung und Forschung:
Eröffnungskonferenz Forschungsoffensive "Software Engineering 2006" : 01.-03. Juli 2004 ; Tagungsbeiträge.
Berlin, 2006

Gimblett, A.; Roggenbach, Markus; Schlingloff, Holger:
Towards a Formal Specification of an Electronic Payment System in CSP-CASL.
In: Fiadeiro, José Luiz (Hrsg.) u.a.:
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 ; revised selected papers.
Berlin [u.a.] : Springer, 2005, S. 61-78
(Lecture notes in computer science 3423).

Friske, Mario; Schlingloff, Holger:
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.
In: Klein, Torsten (Hrsg.) u.a.:
Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme, MBEES 2005 : Tagungsband.
Braunschweig : Technische Universität, 2005, S. 1-10
(Informatik-Berichte / Technische Universität Braunschweig 2005, 1).

Schlingloff, Holger; Conrad, Mirko; Dörr, Heiko; Sühl, Carsten:
Modellbasierte Steuergeräteentwicklung für den Automobilbereich.
In: Plödereder, E. (Hrsg.):
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, S. 51-64
(Berichte aus der Softwaretechnik).

Schlingloff, Holger:
Beweistheoretische Untersuchungen zur temporalen Logik.
1983
München, Techn. Univ., Institut für Informatik, Dipl.-Arb., 1983.