Publications
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.
urn:nbn:de:0011-n-5823782
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)
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