Autor der Publikation

Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets.

, , und . ECSA Companion, Volume 1269 von Communications in Computer and Information Science, Seite 381-394. Springer, (2020)

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, Volume P-343 von LNI, Seite 133-134. Gesellschaft für Informatik e.V., (2024)An Architectural Template for Parallel Loops and Sections., und . Softwaretechnik-Trends, 39 (3): 25-27 (2019)Planning for Software System Recovery by Knowing Design Limitations of Cloud-native Patterns., , , , und . CLOSER, Seite 215-222. SCITEPRESS, (2022)MiSim: A Simulator for Resilience Assessment of Microservice-Based Architectures., , , , und . QRS, Seite 1014-1025. IEEE, (2022)Interactive Elicitation of Resilience Scenarios Based on Hazard Analysis Techniques., , , , , , und . ECSA (Tracks and Workshops), Volume 13365 von Lecture Notes in Computer Science, Seite 229-253. Springer, (2021)Scenario-Based Elicitation, Specification, and Comprehension of Transient Software Behavior (Poster)., , , , und . SSP, Volume 3043 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Kubernetes-in-the-Loop: Enriching Microservice Simulation Through Authentic Container Orchestration., , , , , und . VALUETOOLS, Volume 539 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 82-98. Springer, (2023)Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns., , , und . ICPE (Companion), Seite 319-326. ACM, (2023)Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets., , und . ECSA Companion, Volume 1269 von Communications in Computer and Information Science, Seite 381-394. Springer, (2020)MiSim - A Lightweight and Extensible Simulator for a Scenario-Based Resilience Evaluation of Microservice Architectures (Poster)., , , und . SSP, Volume 3043 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)