Adopting microservices and DevOps in the cyber‐physical systems domain: A rapid review and case study
Fritzsch, Jonas, Bogner, Justus, Haug, Markus, Franco da Silva, Ana Cristina, Rubner, Carolin, Saft, Matthias, Sauer, Horst, Wagner, Stefan
Published in Software, practice & experience (01.03.2023)
Published in Software, practice & experience (01.03.2023)
Get full text
Journal Article
Monitoring self-organizing industrial systems using sub-trajectory dictionaries
Kiermeier, Marie, Sauer, Horst, Wieghardt, Jan
Published in 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) (01.07.2017)
Published in 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) (01.07.2017)
Get full text
Conference Proceeding
The scenario coevolution paradigm: adaptive quality assurance for adaptive systems
Gabor, Thomas, Sedlmeier, Andreas, Phan, Thomy, Ritz, Fabian, Kiermeier, Marie, Belzner, Lenz, Kempter, Bernhard, Klein, Cornel, Sauer, Horst, Schmid, Reiner, Wieghardt, Jan, Zeller, Marc, Linnhoff-Popien, Claudia
Published in International journal on software tools for technology transfer (01.08.2020)
Published in International journal on software tools for technology transfer (01.08.2020)
Get full text
Journal Article
Monitoring Autonomous Agents in Self-Organizing Industrial Systems
Kiermeier, Marie, Phan, Thomy, Sauer, Horst, Wieghardt, Jan
Published in 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) (01.07.2018)
Published in 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) (01.07.2018)
Get full text
Conference Proceeding
Specification Aware Multi-Agent Reinforcement Learning
Ritz, Fabian, Phan, Thomy, Müller, Robert, Gabor, Thomas, Sedlmeier, Andreas, Zeller, Marc, Wieghardt, Jan, Schmid, Reiner, Sauer, Horst, Klein, Cornel, Linnhoff-Popien, Claudia
Published in Agents and Artificial Intelligence
Published in Agents and Artificial Intelligence
Get full text
Book Chapter
Capturing Dependencies Within Machine Learning via a Formal Process Model
Ritz, Fabian, Phan, Thomy, Sedlmeier, Andreas, Altmann, Philipp, Wieghardt, Jan, Schmid, Reiner, Sauer, Horst, Klein, Cornel, Linnhoff-Popien, Claudia, Gabor, Thomas
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Get full text
Book Chapter
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
Gabor, Thomas, Kiermeier, Marie, Sedlmeier, Andreas, Kempter, Bernhard, Klein, Cornel, Sauer, Horst, Schmid, Reiner, Wieghardt, Jan
Published in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Published in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Get full text
Book Chapter
Adopting Microservices and DevOps in the Cyber-Physical Systems Domain: A Rapid Review and Case Study
Fritzsch, Jonas, Bogner, Justus, Haug, Markus, Ana Cristina Franco da Silva, Rubner, Carolin, Saft, Matthias, Sauer, Horst, Wagner, Stefan
Published in arXiv.org (13.10.2022)
Published in arXiv.org (13.10.2022)
Get full text
Paper
Journal Article
Capturing Dependencies within Machine Learning via a Formal Process Model
Ritz, Fabian, Phan, Thomy, Sedlmeier, Andreas, Altmann, Philipp, Wieghardt, Jan, Schmid, Reiner, Sauer, Horst, Klein, Cornel, Linnhoff-Popien, Claudia, Gabor, Thomas
Published in arXiv.org (10.08.2022)
Published in arXiv.org (10.08.2022)
Get full text
Paper
Journal Article
SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning
Ritz, Fabian, Phan, Thomy, Müller, Robert, Gabor, Thomas, Sedlmeier, Andreas, Zeller, Marc, Wieghardt, Jan, Schmid, Reiner, Sauer, Horst, Klein, Cornel, Linnhoff-Popien, Claudia
Published in arXiv.org (14.12.2020)
Published in arXiv.org (14.12.2020)
Get full text
Paper
Journal Article
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
Gabor, Thomas, Kiermeier, Marie, Sedlmeier, Andreas, Kempter, Bernhard, Klein, Cornel, Sauer, Horst, Schmid, Reiner, Wieghardt, Jan
Published in arXiv.org (13.02.2019)
Published in arXiv.org (13.02.2019)
Get full text
Paper
Journal Article
Anomaly detection in self-organizing industrial systems using pathlets
Kiermeier, Marie, Werner, Martin, Linnhoff-Popien, Claudia, Sauer, Horst, Wieghardt, Jan
Published in 2017 IEEE International Conference on Industrial Technology (ICIT) (01.03.2017)
Published in 2017 IEEE International Conference on Industrial Technology (ICIT) (01.03.2017)
Get full text
Conference Proceeding
Software Engineering for Distributed Autonomous Real-Time Systems
Belzner, Lenz, Beck, Michael Till, Gabor, Thomas, Roelle, Harald, Sauer, Horst
Published in 2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) (01.05.2016)
Published in 2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) (01.05.2016)
Get full text
Conference Proceeding