{"id":"https://openalex.org/W2147066648","doi":"https://doi.org/10.1016/s1571-0661(04)81041-7","title":"Partial Order Trace Analyzer (POTA) for Distributed Programs","display_name":"Partial Order Trace Analyzer (POTA) for Distributed Programs","publication_year":2003,"publication_date":"2003-10-01","ids":{"openalex":"https://openalex.org/W2147066648","doi":"https://doi.org/10.1016/s1571-0661(04)81041-7","mag":"2147066648"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)81041-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)81041-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)81041-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050136674","display_name":"Alper \u015een","orcid":"https://orcid.org/0000-0002-5508-6484"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alper Sen","raw_affiliation_strings":["Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX 78712, USA","Department of Electrical and Computer Engineering, the University of Texas at Austin, Austin, TX 78712, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX 78712, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, the University of Texas at Austin, Austin, TX 78712, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061474994","display_name":"Vijay K. Garg","orcid":"https://orcid.org/0000-0002-5797-4389"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vijay K. Garg","raw_affiliation_strings":["Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX 78712, USA","Department of Electrical and Computer Engineering, the University of Texas at Austin, Austin, TX 78712, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX 78712, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, the University of Texas at Austin, Austin, TX 78712, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050136674","https://openalex.org/A5061474994"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":5.4552,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.96242929,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"89","issue":"2","first_page":"22","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8386607766151428},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.6363535523414612},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6072608828544617},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5885977149009705},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5877326130867004},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5629146099090576},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5402997732162476},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.535861074924469},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49794483184814453},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.46238842606544495},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4494193196296692},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.425099641084671},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39467158913612366},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3571516275405884},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33191484212875366},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2630578875541687}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8386607766151428},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.6363535523414612},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6072608828544617},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5885977149009705},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5877326130867004},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5629146099090576},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5402997732162476},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.535861074924469},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49794483184814453},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.46238842606544495},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4494193196296692},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.425099641084671},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39467158913612366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3571516275405884},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33191484212875366},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2630578875541687},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1016/s1571-0661(04)81041-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)81041-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.116.7189","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.7189","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://maple.ece.utexas.edu/~sen/publications/pota.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.132.7337","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.7337","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://maple.ece.utexas.edu/~sen/doc/TR-PDS-2003-004.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.7.6949","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ece.utexas.edu/~garg/dist/rv03.ps","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)81041-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)81041-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W20649036","https://openalex.org/W1501731334","https://openalex.org/W1503170978","https://openalex.org/W1503478887","https://openalex.org/W1528441743","https://openalex.org/W1529733775","https://openalex.org/W1573226501","https://openalex.org/W1576238472","https://openalex.org/W1590315663","https://openalex.org/W1652742168","https://openalex.org/W1873039666","https://openalex.org/W1914135806","https://openalex.org/W1934074768","https://openalex.org/W2065156609","https://openalex.org/W2067623660","https://openalex.org/W2087409327","https://openalex.org/W2088655521","https://openalex.org/W2093397547","https://openalex.org/W2100559484","https://openalex.org/W2108837172","https://openalex.org/W2109691981","https://openalex.org/W2115309705","https://openalex.org/W2119965246","https://openalex.org/W2122303816","https://openalex.org/W2122898375","https://openalex.org/W2128553025","https://openalex.org/W2129335898","https://openalex.org/W2131053137","https://openalex.org/W2134934621","https://openalex.org/W2145777668","https://openalex.org/W2166842511","https://openalex.org/W2344671925","https://openalex.org/W3137220996","https://openalex.org/W3169000564","https://openalex.org/W4240098661","https://openalex.org/W4246017475","https://openalex.org/W4300885858","https://openalex.org/W6672820449","https://openalex.org/W6678361975"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2031188261","https://openalex.org/W2374536116","https://openalex.org/W4232446061","https://openalex.org/W4285022830","https://openalex.org/W2020883449","https://openalex.org/W2077520193","https://openalex.org/W2548795765"],"abstract_inverted_index":{"Checking":[0],"the":[1,47,101,106,118,144,147,159,164,178,186,189,230,241,254,260],"correctness":[2],"of":[3,17,29,51,73,108,120,133,150,158,171,188,195,211,216,232,243],"software":[4],"is":[5,143,174,194],"a":[6,14,23,58,89,113,134,141,209,218,267],"growing":[7],"challenge.":[8],"In":[9,197,291],"this":[10,78,172,221],"paper,":[11],"we":[12,199,294],"present":[13],"prototype":[15],"implementation":[16],"Partial":[18],"Order":[19],"Trace":[20],"Analyzer":[21],"(POTA),":[22],"tool":[24],"for":[25,162,204],"checking":[26],"execution":[27,53,271,287],"traces":[28,272,288,299],"both":[30],"message":[31],"passing":[32],"and":[33,259],"shared":[34],"memory":[35],"programs":[36],"using":[37,88,224,308],"temporal":[38,205],"logic.":[39],"So":[40],"far":[41],"runtime":[42],"verification":[43,94],"tools":[44],"have":[45],"used":[46],"total":[48,90],"order":[49,60,64,91,97],"model":[50,65,98],"an":[52,124],"trace,":[54],"whereas":[55],"POTA":[56,122,247,264],"uses":[57],"partial":[59,63,96],"model.":[61,92],"The":[62,169,213],"enables":[66,280],"us":[67,80,281],"to":[68,81,140,167,235,273,282,297,304],"capture":[69],"possibly":[70],"exponential":[71,236],"number":[72,107,119,149,231],"interleavings":[74],"and,":[75],"in":[76,95,112,220,229,246],"turn,":[77],"allows":[79],"find":[82],"bugs":[83],"that":[84,153,193,269],"are":[85],"not":[86],"found":[87],"However,":[93],"suffers":[99],"from":[100,208],"state":[102,179,191],"explosion":[103,180],"problem":[104,181],"\u2013":[105],"possible":[109],"global":[110,151,156,190],"states":[111,152,157],"program":[114],"increases":[115],"exponentially":[116],"with":[117,138,146,289,300],"processes.":[121],"employs":[123],"effective":[125],"abstraction":[126],"technique":[127,173],"called":[128],"computation":[129,135,145,161,225],"slicing.":[130,238],"A":[131],"slice":[132],"(execution":[136],"trace)":[137],"respect":[139],"predicate":[142,165,219],"least":[148],"contains":[154,266],"all":[155],"original":[160],"which":[163],"evaluates":[166],"true.":[168],"advantage":[170],"that,":[175],"it":[176],"mitigates":[177],"by":[182],"reasoning":[183],"only":[184,305],"on":[185,248,286],"part":[187],"space":[192],"interest.":[196],"POTA,":[198],"implement":[200],"computing":[201],"slicing":[202,226],"algorithms":[203],"logic":[206,222],"predicates":[207],"subset":[210],"CTL.":[212],"overall":[214],"complexity":[215],"evaluating":[217],"upon":[223],"becomes":[227],"polynomial":[228],"processes":[233,302,307],"compared":[234,303],"without":[237],"We":[239],"illustrate":[240],"effectiveness":[242],"our":[244,284],"techniques":[245],"several":[249],"test":[250],"cases":[251],"such":[252],"as":[253],"General":[255],"Inter-ORB":[256],"Protocol":[257],"(GIOP)[18]":[258],"primary":[261],"secondary":[262],"protocol[32].":[263],"also":[265],"module":[268,279],"translates":[270],"Promela[16]":[274],"(input":[275],"language":[276],"SPIN).":[277],"This":[278],"compare":[283],"results":[285],"SPIN.":[290,309],"some":[292],"cases,":[293],"were":[295],"able":[296],"verify":[298],"250":[301],"10":[306]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}