( en | de | ru )

 

Disambiguation of "Hakamian, M. Alireza"

Author of the publication

copydeleteadd this publication to your clipboard
Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets.

, , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 381-394. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alireza Djirsarai

Alireza Rahimi

Alireza Azem

Alireza Mirshahi

Alireza Tayebi

 

Other publications of authors with the same name

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