{"id":"https://openalex.org/W4404411441","doi":"https://doi.org/10.1109/access.2024.3498737","title":"Tempus: Probabilistic Network Latency Verification","display_name":"Tempus: Probabilistic Network Latency Verification","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4404411441","doi":"https://doi.org/10.1109/access.2024.3498737"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3498737","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2024.3498737","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dx.doi.org/10.1109/access.2024.3498737","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042385487","display_name":"Sepehr Abdous","orcid":"https://orcid.org/0000-0003-4443-3863"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sepehr Abdous","raw_affiliation_strings":["Computer Science Department, Johns Hopkins University, Baltimore, MD, USA","The Johns Hopkins University, USA"],"raw_orcid":"https://orcid.org/0000-0003-4443-3863","affiliations":[{"raw_affiliation_string":"Computer Science Department, Johns Hopkins University, Baltimore, MD, USA","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"The Johns Hopkins University, USA","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011888985","display_name":"Senapati Sang Diwangkara","orcid":"https://orcid.org/0000-0003-4240-4460"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Senapati Diwangkara","raw_affiliation_strings":["Computer Science Department, Johns Hopkins University, Baltimore, MD, USA","The Johns Hopkins University, USA"],"raw_orcid":"https://orcid.org/0000-0003-4240-4460","affiliations":[{"raw_affiliation_string":"Computer Science Department, Johns Hopkins University, Baltimore, MD, USA","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"The Johns Hopkins University, USA","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053176681","display_name":"Soudeh Ghorbani","orcid":"https://orcid.org/0000-0002-1331-1372"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Soudeh Ghorbani","raw_affiliation_strings":["Computer Science Department, Johns Hopkins University, Baltimore, MD, USA","The Johns Hopkins University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Johns Hopkins University, Baltimore, MD, USA","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"The Johns Hopkins University, USA","institution_ids":["https://openalex.org/I145311948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5042385487"],"corresponding_institution_ids":["https://openalex.org/I145311948"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22625325,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":null,"first_page":"169896","last_page":"169909"},"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.9860000014305115,"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.9860000014305115,"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.9753000140190125,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9606000185012817,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7000702619552612},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6654797792434692},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.569010853767395},{"id":"https://openalex.org/keywords/tempus","display_name":"TEMPUS","score":0.4696613550186157},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20416241884231567},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.17360016703605652}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7000702619552612},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6654797792434692},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.569010853767395},{"id":"https://openalex.org/C2776061088","wikidata":"https://www.wikidata.org/wiki/Q735318","display_name":"TEMPUS","level":2,"score":0.4696613550186157},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20416241884231567},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.17360016703605652},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2024.3498737","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2024.3498737","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:a49f834b7bbc4876b8dce7aa314700b1","is_oa":true,"landing_page_url":"https://doaj.org/article/a49f834b7bbc4876b8dce7aa314700b1","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 12, Pp 169896-169909 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3498737","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2024.3498737","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1588944181","display_name":null,"funder_award_id":"1910821","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G2083961367","display_name":null,"funder_award_id":"1910821","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W1976417857","https://openalex.org/W2030968944","https://openalex.org/W2043725361","https://openalex.org/W2115526539","https://openalex.org/W2118404561","https://openalex.org/W2120575449","https://openalex.org/W2122695394","https://openalex.org/W2164740236","https://openalex.org/W2265169711","https://openalex.org/W2485543941","https://openalex.org/W2566986399","https://openalex.org/W2582525364","https://openalex.org/W2725063651","https://openalex.org/W2742515467","https://openalex.org/W2743073148","https://openalex.org/W2753781312","https://openalex.org/W2763317416","https://openalex.org/W2769038759","https://openalex.org/W2794896506","https://openalex.org/W2887025476","https://openalex.org/W2902696225","https://openalex.org/W2920793298","https://openalex.org/W2968108410","https://openalex.org/W2969431578","https://openalex.org/W2982608089","https://openalex.org/W3033341886","https://openalex.org/W3046379685","https://openalex.org/W3046470751","https://openalex.org/W3046676529","https://openalex.org/W3097069770","https://openalex.org/W3108378780","https://openalex.org/W3113979915","https://openalex.org/W3190458349","https://openalex.org/W3192114749","https://openalex.org/W3210247583","https://openalex.org/W3216253728","https://openalex.org/W4233126987","https://openalex.org/W4238465620","https://openalex.org/W4290991152","https://openalex.org/W4290991530","https://openalex.org/W4308966194","https://openalex.org/W4309226583","https://openalex.org/W4309227924","https://openalex.org/W4310614686","https://openalex.org/W4364387774","https://openalex.org/W4386365395","https://openalex.org/W4386378087","https://openalex.org/W4386385142","https://openalex.org/W4386396793","https://openalex.org/W4389075802","https://openalex.org/W4389077081","https://openalex.org/W4401176809","https://openalex.org/W6606536520","https://openalex.org/W6639592347","https://openalex.org/W6725400097","https://openalex.org/W6735880254","https://openalex.org/W6753747084","https://openalex.org/W6756449579","https://openalex.org/W6774173563","https://openalex.org/W6776240636","https://openalex.org/W6810641612","https://openalex.org/W6858896491","https://openalex.org/W6858937112","https://openalex.org/W7014563061"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2768552087","https://openalex.org/W2128274106","https://openalex.org/W1985666989","https://openalex.org/W2000739043","https://openalex.org/W597790131","https://openalex.org/W2048072811","https://openalex.org/W2000663996"],"abstract_inverted_index":{"Networks":[0],"have":[1,85],"exceedingly":[2],"low":[3],"latency":[4,8,36,94,111,117,147,228,270],"requirements.":[5,37],"Verifying":[6],"network":[7,48,64,130,150,199,215,232,269],"is":[9,189],"crucial":[10],"for":[11],"identifying":[12],"any":[13],"bottlenecks":[14],"that":[15,95,115,187,265],"may":[16],"negatively":[17],"impact":[18],"user":[19],"experience":[20],"and":[21,43,123,126,141,144,182,185,191,243,252],"swiftness":[22],"of":[23,62,76,149,160,211,229,257,260,274],"business":[24],"operations.":[25],"Network":[26,56],"operators":[27],"today":[28],"heavily":[29],"rely":[30],"on":[31],"high-fidelity":[32],"simulators":[33,40],"to":[34,132,206],"validate":[35],"Alas,":[38],"detailed":[39],"are":[41,50],"slow":[42],"subsequently":[44],"not":[45,90],"scalable.":[46,192],"Alternatively,":[47],"verifiers":[49,57,84],"emerging":[51],"as":[52,89],"powerful":[53],"validation":[54],"means.":[55],"provide":[58],"an":[59,212],"abstract":[60,129],"model":[61],"the":[63,74,82,145,153,158,162,165,227,230],"behavior.":[65],"Albeit":[66],"faster":[67],"than":[68,203],"their":[69],"current":[70],"simulation-based":[71],"counterparts,":[72],"abstracting":[73],"details":[75],"networks":[77,184],"comes":[78],"at":[79],"a":[80,109,139,168,196,255],"cost:":[81],"state-of-the-art":[83,197],"major":[86],"limitations":[87],"such":[88],"modeling":[91],"failures":[92],"or":[93],"prevent":[96],"them":[97],"from":[98,164],"reliably":[99],"verifying":[100],"latency.":[101],"This":[102],"paper":[103],"bridges":[104],"this":[105],"gap":[106],"by":[107],"proposing":[108],"scalable":[110],"verification":[112,118],"method,":[113],"Tempus,":[114,223],"decomposes":[116],"into":[119],"two":[120],"phases":[121],"(functional":[122],"temporal":[124,135],"verification)":[125],"refines":[127],"advanced":[128],"models":[131],"enable":[133],"fast":[134,190,198],"verification.":[136],"Concretely,":[137],"given":[138],"source":[140,166],"destination":[142,163],"pair":[143],"empirical":[146],"measurements":[148],"components":[151],"(e.g.,":[152],"queueing":[154],"delay),":[155],"Tempus":[156,177,266],"returns":[157],"probability":[159],"reaching":[161],"within":[167],"time":[169],"frame":[170],"under":[171,178,220,244,271],"all":[172,208,234,245],"failure":[173,209,246],"scenarios.":[174],"We":[175,262],"evaluate":[176],"both":[179],"wide":[180],"area":[181],"datacenter":[183],"show":[186],"it":[188],"For":[193],"instance,":[194],"Parsimon,":[195],"simulator,":[200],"requires":[201],"more":[202],"one":[204],"month":[205],"simulate":[207],"scenarios":[210,247],"8-ary":[213],"fat-tree":[214],"with":[216],"100":[217],"Gbps":[218],"links":[219],"25%":[221],"load.":[222,275],"in":[224,248],"contrast,":[225],"verifies":[226],"same":[231],"among":[233],"<inline-formula":[235],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[236],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[237],"<tex-math":[238],"notation=\"LaTeX\">$(source,":[239],"destination)$":[240],"</tex-math></inline-formula>":[241],"pairs":[242],"only":[249],"8":[250],"minutes":[251],"32":[253],"seconds,":[254],"speedup":[256],"three":[258],"orders":[259],"magnitude.":[261],"also":[263],"demonstrate":[264],"accurately":[267],"approximates":[268],"various":[272],"degrees":[273]},"counts_by_year":[],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}