{"id":"https://openalex.org/W4362505491","doi":"https://doi.org/10.1145/3578245.3584314","title":"Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns","display_name":"Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns","publication_year":2023,"publication_date":"2023-04-03","ids":{"openalex":"https://openalex.org/W4362505491","doi":"https://doi.org/10.1145/3578245.3584314"},"language":"en","primary_location":{"id":"doi:10.1145/3578245.3584314","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3578245.3584314","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion of the 2023 ACM/SPEC International Conference on Performance Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026750885","display_name":"Sebastian Frank","orcid":"https://orcid.org/0000-0002-3068-1172"},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Frank","raw_affiliation_strings":["University of Hamburg, Hamburg, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3068-1172","affiliations":[{"raw_affiliation_string":"University of Hamburg, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084404811","display_name":"Alireza Hakamian","orcid":null},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alireza Hakamian","raw_affiliation_strings":["University of Stuttgart, Stuttgart, Germany"],"raw_orcid":"https://orcid.org/0000-0001-9899-0062","affiliations":[{"raw_affiliation_string":"University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080492370","display_name":"Denis Zahariev","orcid":"https://orcid.org/0000-0002-5905-9846"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Denis Zahariev","raw_affiliation_strings":["University of Stuttgart, Stuttgart, Germany"],"raw_orcid":"https://orcid.org/0000-0002-5905-9846","affiliations":[{"raw_affiliation_string":"University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031841678","display_name":"Andr\u00e9 van Hoorn","orcid":"https://orcid.org/0000-0003-2567-6077"},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 van Hoorn","raw_affiliation_strings":["University of Hamburg, Hamburg, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2567-6077","affiliations":[{"raw_affiliation_string":"University of Hamburg, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8889,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.8389688,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"319","last_page":"326"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/chaos","display_name":"CHAOS (operating system)","score":0.7468442916870117},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.7106871008872986},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6257452368736267},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5974739193916321},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5857934355735779},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.47453582286834717},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.44940704107284546},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4456946849822998},{"id":"https://openalex.org/keywords/steady-state","display_name":"Steady state (chemistry)","score":0.4341960549354553},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3324841856956482},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2650512754917145},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24229106307029724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16011875867843628},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1551443338394165}],"concepts":[{"id":"https://openalex.org/C2779374083","wikidata":"https://www.wikidata.org/wiki/Q5011038","display_name":"CHAOS (operating system)","level":2,"score":0.7468442916870117},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.7106871008872986},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6257452368736267},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5974739193916321},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5857934355735779},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.47453582286834717},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.44940704107284546},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4456946849822998},{"id":"https://openalex.org/C8171440","wikidata":"https://www.wikidata.org/wiki/Q903414","display_name":"Steady state (chemistry)","level":2,"score":0.4341960549354553},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3324841856956482},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2650512754917145},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24229106307029724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16011875867843628},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1551443338394165},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C147789679","wikidata":"https://www.wikidata.org/wiki/Q11372","display_name":"Physical chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3578245.3584314","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3578245.3584314","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion of the 2023 ACM/SPEC International Conference on Performance Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5461454949","display_name":null,"funder_award_id":"01IS22007B,01IS17051","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"}],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1502211727","https://openalex.org/W1996832037","https://openalex.org/W2023808162","https://openalex.org/W2033014924","https://openalex.org/W2152648140","https://openalex.org/W2602365947","https://openalex.org/W2730972217","https://openalex.org/W2884095124","https://openalex.org/W2978736296","https://openalex.org/W3035242936","https://openalex.org/W4225687330","https://openalex.org/W4230027996","https://openalex.org/W4253269985","https://openalex.org/W4288385502","https://openalex.org/W6706900933"],"related_works":["https://openalex.org/W2320196587","https://openalex.org/W2106512568","https://openalex.org/W2159465694","https://openalex.org/W2077550944","https://openalex.org/W2030822348","https://openalex.org/W1964722880","https://openalex.org/W2890578400","https://openalex.org/W2909452000","https://openalex.org/W2019257762","https://openalex.org/W2151497195"],"abstract_inverted_index":{"Chaos":[0,29,54,86],"Engineering":[1,30,55,87],"is":[2,37],"an":[3],"approach":[4,31,88],"for":[5],"assessing":[6],"the":[7,35,66,70,85,93],"resilience":[8],"of":[9,95],"software":[10],"systems,":[11],"i.e.,":[12,63],"their":[13,100],"ability":[14],"to":[15,23,83,91],"withstand":[16],"unexpected":[17],"events,":[18],"adapt":[19],"accordingly,":[20],"and":[21,42,51,89,99],"return":[22],"a":[24,39,76],"steady":[25,40,73],"state.":[26],"The":[27],"traditional":[28],"only":[32],"verifies":[33],"whether":[34],"system":[36,67],"in":[38],"state":[41,47],"considers":[43],"no":[44],"statements":[45],"about":[46],"changes":[48],"over":[49],"time":[50],"timing.":[52],"Thus,":[53],"conceptually":[56],"does":[57],"not":[58],"consider":[59],"transient":[60,96],"behavior":[61,68,97],"hypotheses,":[62],"specifications":[64],"regarding":[65],"during":[69],"transition":[71],"between":[72],"states":[74],"after":[75],"failure":[77],"has":[78],"been":[79],"injected.":[80],"We":[81],"aim":[82],"extend":[84],"tooling":[90],"support":[92],"specification":[94],"hypotheses":[98],"verification.":[101]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}