Autor der Publikation

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

, , , und . Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023, Seite 319--326. ACM, (2023)
DOI: 10.1145/3578245.3584314

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

AuthentiCap - A Touchless Vehicle Authentication and Personalization System., und . AmI, Volume 10217 von Lecture Notes in Computer Science, Seite 46-63. (2017)The Capacitive Chair., , und . HCI (21), Volume 9189 von Lecture Notes in Computer Science, Seite 397-407. Springer, (2015)Robust driver foot tracking and foot gesture recognition using capacitive proximity sensing., und . JAISE, 11 (3): 221-235 (2019)Distributed Quality-Attribute Optimization of Software Architectures, , , , und . Proceedings of the 11th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2017), Seite 7:1--7:10. ACM, (2017)Best paper award.Scenario-based Resilience Evaluation and Improvement of Microservice Architectures: An Experience Report, , , , , und . ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021, Volume 2978 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)SQuAT-Vis: Visualization and Interaction in Software Architecture Optimization, und . Proceedings of the 14th European Conference on Software Architecture (ECSA 2020), Seite 107--119. Cham, Springer, (2020)TransVis: Using Visualizations and Chatbots for Supporting Transient Behavior in Microservice Systems, , , , und . IEEE, (2021)Interactive Elicitation of Resilience Scenarios Based on Hazard Analysis Techniques, , , , , , und . Software Architecture, 13365, Seite 229-253. Cham, Springer, (2022)Iterative and Incremental Refinement of Microservice-based Architectures and SLOs, , , und . (Juni 2022)MiSim : A Simulator for Resilience Assessment of Microservice-Based Architectures, , , , und . 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS), Seite 1014-1025. IEEE, (2022)