Horst Sauer

According to our database, Horst Sauer authored at least 15 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Adopting microservices and DevOps in the cyber-physical systems domain: A rapid review and case study.

Jonas Fritzsch, Justus Bogner, Markus Haug, Ana Cristina Franco da Silva, Carolin Rubner, Matthias Saft, Horst Sauer, Stefan Wagner

Softw. Pract. Exp., March, 2023

2022

Adopting Microservices and DevOps in the Cyber-Physical Systems Domain: A Rapid Review and Case Study at Siemens AG.

Justus Bogner, Jonas Fritzsch, Markus Haug, Ana Cristina Franco da Silva, Carolin Rubner, Matthias Saft, Horst Sauer, Stefan Wagner

Dataset, July, 2022

Capturing Dependencies Within Machine Learning via a Formal Process Model.

Fabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

Specification Aware Multi-Agent Reinforcement Learning.

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning.

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.

Thomas Gabor, Andreas Sedlmeier, Thomy Phan, Fabian Ritz, Marie Kiermeier, Lenz Belzner, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt, Marc Zeller, Claudia Linnhoff-Popien

Int. J. Softw. Tools Technol. Transf., 2020

Learning and Testing Resilience in Cooperative Multi-Agent Systems.

Thomy Phan, Thomas Gabor, Andreas Sedlmeier, Fabian Ritz, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt, Marc Zeller, Claudia Linnhoff-Popien

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Scenario co-evolution for reinforcement learning on a grid world smart factory domain.

Thomas Gabor, Andreas Sedlmeier, Marie Kiermeier, Thomy Phan, Marcel Henrich, Monika Pichlmair, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

2018

Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm.

Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Monitoring Autonomous Agents in Self-Organizing Industrial Systems.

Marie Kiermeier, Thomy Phan, Horst Sauer, Jan Wieghardt

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

2017

Building scalable models for anomaly detection in self-organizing industrial systems.

Marie Kiermeier, Martin Werner, Horst Sauer, Jan Wieghardt

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Monitoring self-organizing industrial systems using sub-trajectory dictionaries.

Marie Kiermeier, Horst Sauer, Jan Wieghardt

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Anomaly detection in self-organizing industrial systems using pathlets.

Marie Kiermeier, Martin Werner, Claudia Linnhoff-Popien, Horst Sauer, Jan Wieghardt

Proceedings of the IEEE International Conference on Industrial Technology, 2017

2016

Software engineering for distributed autonomous real-time systems.

Lenz Belzner, Michael Till Beck, Thomas Gabor, Harald Roelle, Horst Sauer

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

2015

Efficient Testing based on Logical Architecture.

Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt

Proceedings of the 24th Australasian Software Engineering Conference, 2015