Ansprechpartner
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

Fraunhofer publication list
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
(Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004))
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)
urn:nbn:de:0011-n-215843
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