PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hakamian, M. Alireza"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns

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

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.

Mir Alireza Hakamian University of Stuttgart

Alireza Hojjati University of Stuttgart

Alireza Rouhi University of Stuttgart

M. Nudischer

M. Kratzer

 

Other publications of authors with the same name

Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets, , and . Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings, volume 1269 of Communications in Computer and Information Science, page 381--394. Springer, (2020)Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns, , , and . Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023, page 319--326. ACM, (2023)Planning for Software System Recovery by Knowing Design Limitations of Cloud-native Patterns, , , , and . Proceedings of the 12th International Conference on Cloud Computing and Services Science, CLOSER 2022,, Online Streaming, April 27-29, 2022, page 215--222. SCITEPRESS, (2022)Interactive Elicitation of Resilience Scenarios Based on Hazard Analysis Techniques, , , , , , and . Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers, 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 . 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022, page 1014--1025. IEEE, (2022)Resilience, Survivability, and Elasticity: A Taxonomy for Change Impact Quantification of Reconfigurable Systems, , , and . 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, page 267--274. IEEE, (2020)Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios, , , , and . IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022, page 136--137. IEEE, (2022)A Process Model for Elastic and Resilient IoT Applications with Emergent Behaviors, , and . IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25-26, 2019, page 27--30. IEEE, (2019)Quantitative Analysis of Software Designs: Teaching Design and Experiences, and . Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023, page 341--344. ACM, (2023)