%0 Conference Paper %1 DBLP:conf/wosp/0001HZH23 %A Frank, Sebastian %A Hakamian, M. Alireza %A Zahariev, Denis %A van Hoorn, André %B Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023 %D 2023 %E Vieira, Marco %E Cardellini, Valeria %E Marco, Antinisca Di %E Tuma, Petr %I ACM %K resilience specification verification %P 319--326 %R 10.1145/3578245.3584314 %T Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns %U https://doi.org/10.1145/3578245.3584314

@inproceedings{DBLP:conf/wosp/0001HZH23, added-at = {2023-06-29T06:51:47.000+0200}, author = {Frank, Sebastian and Hakamian, M. Alireza and Zahariev, Denis and van Hoorn, Andr{\'{e}}}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ca525a0e62375c9545090a248e6d0c03/alirezahakamian}, booktitle = {Companion of the 2023 {ACM/SPEC} International Conference on Performance Engineering, {ICPE} 2023, Coimbra, Portugal, April 15-19, 2023}, doi = {10.1145/3578245.3584314}, editor = {Vieira, Marco and Cardellini, Valeria and Marco, Antinisca Di and Tuma, Petr}, interhash = {d9920a65802f69e3877377685fd76841}, intrahash = {ca525a0e62375c9545090a248e6d0c03}, keywords = {resilience specification verification}, pages = {319--326}, publisher = {{ACM}}, timestamp = {2023-06-29T06:51:47.000+0200}, title = {Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns}, url = {https://doi.org/10.1145/3578245.3584314}, year = 2023 }