Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
2024 |
Synthesis of dynamic modelling framework and optimal control strategy for virtually coupled train sets with guaranteed safety
Wanli, Lu; Zhang, Miao; Schlingloff, Holger; Wudka, Björn; Luo, Zhengwei; Chai, Ming; Lv, Jidong |
Zeitschriftenaufsatz Journal Article
|
2023 |
SmartDelta project: Automated quality assurance and optimization across product versions and variants
Saadatmand, Mehrdad; Abbas, Muhammad; Enoiu, Eduard Paul; Schlingloff, Holger; Afzal, Wasif; Dornauer, Benedikt; Felderer, Michael |
Zeitschriftenaufsatz Journal Article
|
2023 |
Safety- und Security-Engineering Hand in Hand
Sadeghipour, Sadegh; Schlingloff, Holger; Conrad, Mirko; Schülzke, Harald |
Zeitschriftenaufsatz Journal Article
|
2023 |
Joint Specification and Testing of Safety and Security Requirements
Sadeghipou, Sadegh; Schlingloff, Holger; Conrad, Mirko; Schülzke, Harald |
Paper
|
2023 |
A cooperative decentralised optimization method for vehicle platooning
Wudka, Björn; Thomas, Carsten; Schlingloff, Holger |
Konferenzbeitrag Conference Paper
|
2022 |
Formal methods for software engineering
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed |
Buch Book
|
2022 |
SmartDelta: automated quality assurance and optimization in incremental industrial software systems development
Saadatmand, Mehrdad; Enoiu, Eduard Paul; Schlingloff, Holger; Felderer, Michael; Afzal, Wasif |
Konferenzbeitrag Conference Paper
|
2021 |
CrESt Use Cases
Schlingloff, Holger |
Aufsatz in Buch Book Article
|
2021 |
Preface. Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2018
Schlingloff, H.; Penczek, W. |
Zeitschriftenaufsatz Journal Article
|
2021 |
Goal-Based Strategy Exploration
Obe, Patricia Aluko; Brings, Jennifer; Daun, Marian; Feeken, Linda; Mirzaei, Elham; Neumann, Martin; Nickles, Jochen; Rösel, Simon; Sauer, Markus; Schlingloff, Holger; Stierand, Ingo; Zernickel, Jan-Stefan |
Aufsatz in Buch Book Article
|
2021 |
Creating Trust in Collaborative Embedded Systems
Akili, Samira; Cioroaica, Emilia; Kuhn, Thomas; Schlingloff, Holger |
Aufsatz in Buch Book Article
|
2020 |
Excellence in variant testing
Schlingloff, Holger; Kruse, Peter M.; Saadatmand, Mehrdad |
Konferenzbeitrag Conference Paper
|
2020 |
Wie können KI-Komponenten mit Modellen abgesichert werden?
Schlingloff, Holger; Großmann, Jürgen |
Zeitschriftenaufsatz Journal Article
|
2018 |
Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic
Lorenz, Felix; Schlingloff, Holger |
Konferenzbeitrag Conference Paper
|
2016 |
Variant management and reuse
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 |
Aufsatz in Buch Book Article
|
2014 |
An evaluation of model-based testing in embedded applications
Weißleder, Stephan; Schlingloff, Holger |
Konferenzbeitrag Conference Paper
|
2013 |
Eighth Workshop on Model-Based Testing, MBT 2013. Proceedings. Online resource
Petrenko, Alexander K.; Schlingloff, Holger |
Tagungsband Conference Proceeding
|
2012 |
Automatic model-based test generation from UML state machines
Weißleder, Stephan; Schlingloff, Holger |
Aufsatz in Buch Book Article
|