{"id":"https://openalex.org/W2118710507","doi":"https://doi.org/10.1145/2188286.2188345","title":"Capturing performance assumptions using stochastic performance logic","display_name":"Capturing performance assumptions using stochastic performance logic","publication_year":2012,"publication_date":"2012-04-22","ids":{"openalex":"https://openalex.org/W2118710507","doi":"https://doi.org/10.1145/2188286.2188345","mag":"2118710507"},"language":"en","primary_location":{"id":"doi:10.1145/2188286.2188345","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2188286.2188345","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd 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/A5074547557","display_name":"Lubom\u00edr Bulej","orcid":"https://orcid.org/0000-0002-4573-6084"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Lubom\u00edr Bulej","raw_affiliation_strings":["Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#","institution_ids":["https://openalex.org/I202391551"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082418720","display_name":"Tom\u00e1\u0161 Bure\u0161","orcid":"https://orcid.org/0000-0003-3622-9918"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 Bure\u0161","raw_affiliation_strings":["Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#","institution_ids":["https://openalex.org/I202391551"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057729207","display_name":"Jaroslav Keznikl","orcid":null},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jaroslav Keznikl","raw_affiliation_strings":["Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#","institution_ids":["https://openalex.org/I202391551"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020899377","display_name":"Alena Koubkov\u00e1","orcid":"https://orcid.org/0000-0002-5159-772X"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Alena Koubkov\u00e1","raw_affiliation_strings":["Charles University, Prague, Czech Rep"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University, Prague, Czech Rep","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012983622","display_name":"Andrej Podzimek","orcid":null},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Andrej Podzimek","raw_affiliation_strings":["Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep#TAB#","institution_ids":["https://openalex.org/I202391551"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101719359","display_name":"Petr T\u016fma","orcid":"https://orcid.org/0000-0002-7035-2322"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr T\u016fma","raw_affiliation_strings":["Charles University, Prague, Czech Rep"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University, Prague, Czech Rep","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"311","last_page":"322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7909305095672607},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.737159252166748},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.47928351163864136},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.4480932354927063},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44339612126350403},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.44061946868896484},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.43048354983329773},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.42717477679252625},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4237416386604309},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4185051918029785},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3580586314201355},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14619195461273193}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7909305095672607},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.737159252166748},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.47928351163864136},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.4480932354927063},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44339612126350403},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.44061946868896484},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43048354983329773},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.42717477679252625},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4237416386604309},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4185051918029785},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3580586314201355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14619195461273193},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2188286.2188345","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2188286.2188345","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.233.4464","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.4464","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://d3s.mff.cuni.cz/publications/download/2012-ICPE-BulejBuresKezniklKoubkovaPodzimekTuma-SPL.pdf","raw_type":"text"},{"id":"pmh:oai:asep.lib.cas.cz:CavUnEpca/0369679","is_oa":false,"landing_page_url":"http://hdl.handle.net/11104/0203688","pdf_url":null,"source":{"id":"https://openalex.org/S7407055266","display_name":"ASEP","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W53099289","https://openalex.org/W204377626","https://openalex.org/W1479765790","https://openalex.org/W1480909796","https://openalex.org/W1492737188","https://openalex.org/W1496357020","https://openalex.org/W1511806592","https://openalex.org/W1533723839","https://openalex.org/W1568333198","https://openalex.org/W1936354298","https://openalex.org/W1992772536","https://openalex.org/W2041284610","https://openalex.org/W2045877109","https://openalex.org/W2052363833","https://openalex.org/W2062989416","https://openalex.org/W2066693491","https://openalex.org/W2090962365","https://openalex.org/W2098631554","https://openalex.org/W2113143794","https://openalex.org/W2116758077","https://openalex.org/W2117020308","https://openalex.org/W2118469209","https://openalex.org/W2122111000","https://openalex.org/W2154273644","https://openalex.org/W2244013538","https://openalex.org/W2895360275","https://openalex.org/W3143245542","https://openalex.org/W3215037115","https://openalex.org/W4251742697","https://openalex.org/W4300710928"],"related_works":["https://openalex.org/W1985198438","https://openalex.org/W1825982205","https://openalex.org/W2528467228","https://openalex.org/W1493446239","https://openalex.org/W2162118494","https://openalex.org/W2372895414","https://openalex.org/W1979547103","https://openalex.org/W3109164266","https://openalex.org/W4238823939","https://openalex.org/W4254917997"],"abstract_inverted_index":{"Compared":[0],"to":[1,17,37,73,122],"functional":[2],"unit":[3],"testing,":[4],"automated":[5],"performance":[6,20,42,74,118,137,140],"testing":[7,141],"is":[8,67],"difficult,":[9],"partially":[10],"because":[11],"correctness":[12],"criteria":[13],"are":[14],"more":[15],"difficult":[16],"express":[18,38],"for":[19,22,106,139],"than":[21],"functionality.":[23],"Where":[24],"existing":[25],"approaches":[26],"rely":[27],"on":[28,31,40,69],"absolute":[29],"bounds":[30],"the":[32,85,100,115],"execution":[33],"time,":[34],"we":[35,50,126],"aim":[36],"assertions":[39],"code":[41,134],"in":[43],"relative,":[44],"hardware-independent":[45],"terms.":[46],"To":[47],"this":[48],"end,":[49],"introduce":[51],"Stochastic":[52],"Performance":[53],"Logic":[54],"(SPL),":[55],"which":[56,89,112],"allows":[57,77,113],"making":[58],"statements":[59],"about":[60],"relative":[61],"method":[62],"performance.":[63],"Since":[64],"SPL":[65,92,110,130],"interpretation":[66],"based":[68],"statistical":[70],"tests":[71],"applied":[72],"measurements,":[75],"it":[76],"(for":[78],"a":[79,90],"special":[80],"class":[81],"of":[82,99,109,117,129],"formulas)":[83],"calculating":[84],"minimum":[86],"probability":[87],"at":[88],"particular":[91],"formula":[93],"holds.":[94],"We":[95],"prove":[96],"basic":[97],"properties":[98],"logic":[101],"and":[102,142],"present":[103],"an":[104],"algorithm":[105],"SAT-solver-guided":[107],"evaluation":[108],"formulas,":[111],"optimizing":[114],"number":[116],"measurements":[119],"that":[120],"need":[121],"be":[123],"made.":[124],"Finally,":[125],"propose":[127],"integration":[128],"formulas":[131],"with":[132],"Java":[133],"using":[135],"higher-level":[136],"annotations,":[138],"documentation":[143],"purposes.":[144]},"counts_by_year":[{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}