Schlingloff, H.: |
Software-Verifikation : VL+ UE: Humboldt-Universität Berlin. |
2018 |
|
Schlingloff, H.: |
Software-Verifikation : VL+ UE: Humboldt-Universität Berlin. |
2017 |
|
Lapawczyk, Timon; Gerlach, Jens (Gutachter); Schlingloff, Holger (Gutachter): |
Formale Verifikation von Heap-Algorithmen mit Frama-C. |
2016 |
Berlin, Humboldt-Univ. zu Berlin, Bachelor's Thesis, 2016 |
|
Znamirowski, Martin; Schlingloff, Holger (Supervisor): |
Hybridisierung von kombinatorischen Abdeckungskriterien für Testfallpriorisierung. |
2016 |
Berlin, Humboldt-Univ. zu Berlin, Diplom-Arb., 2016 |
|
Schlingloff, Holger: |
Kooperierende Transportroboter : SE: Humboldt-Universität Berlin. |
2016 |
|
Walter, Florian; Schlingloff, Holger (Supervisor): |
Modellierung und Verifikation eines Systems mobiler Transportroboter mit Modellprüfung zeitbehafteter Automaten. |
2016 |
Berlin, Humboldt-Univ. zu Berlin, Bachelor's Thesis, 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 |
|
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.) u.a.: |
Advanced model-based engineering of embedded systems : extensions of the SPES 2020 methodology. |
Cham : Springer International Publishing, 2016, 197-222 |
|
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. |
|