Autor der Publikation

Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns.

, , , und . ICPE (Companion), Seite 319-326. ACM, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Simulating Microservice-based Architectures for Resilience Assessment Enriched by Authentic Container Orchestration, , , , , , und . Software Engineering 2024, Gesellschaft für Informatik e.V., Bonn, (2024)Kubernetes-in-the-Loop: Enriching Microservice Simulation Through Authentic Container Orchestration, , , , , und . Performance Evaluation Methodologies and Tools, (2023)In print..A Survey on the Relevance of the Performance of Model Transformations., , , , , , und . J. Object Technol., 20 (2): 1-27 (2021)Robust driver foot tracking and foot gesture recognition using capacitive proximity sensing., und . J. Ambient Intell. Smart Environ., 11 (3): 221-235 (2019)Privacy by Design: Analysis of Capacitive Proximity Sensing as System of Choice for Driver Vehicle Interfaces., und . HCI (47), Volume 12429 von Lecture Notes in Computer Science, Seite 51-66. Springer, (2020)Identifying and Prioritizing Chaos Experiments by Using Established Risk Analysis Techniques., , , und . ISSRE, Seite 229-240. IEEE, (2020)SQuAT-Vis: Visualization and Interaction in Software Architecture Optimization., und . ECSA Companion, Volume 1269 von Communications in Computer and Information Science, Seite 107-119. Springer, (2020)Dynamics of trending topics between social media, news, and scientific literature., , und . ECIS, (2022)How is Transient Behavior Addressed in Practice?: Insights from a Series of Expert Interviews., , , und . ICPE (Companion), Seite 105-112. ACM, (2022)Scenario-based Resilience Evaluation and Improvement of Microservice Architectures: An Experience Report., , , , , und . ECSA (Companion), Volume 2978 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)