{"id":"https://openalex.org/W2995722189","doi":"https://doi.org/10.1145/3371088","title":"Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation","display_name":"Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation","publication_year":2019,"publication_date":"2019-12-20","ids":{"openalex":"https://openalex.org/W2995722189","doi":"https://doi.org/10.1145/3371088","mag":"2995722189"},"language":"en","primary_location":{"id":"doi:10.1145/3371088","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371088","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371088","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3371088","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100757655","display_name":"Mengqi Liu","orcid":"https://orcid.org/0000-0002-2771-798X"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengqi Liu","raw_affiliation_strings":["Yale University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009919918","display_name":"Lionel Rieg","orcid":null},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Lionel Rieg","raw_affiliation_strings":["Grenoble Alps University, France / CNRS, France / Grenoble INP, France / VERIMAG, France / Yale University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Grenoble Alps University, France / CNRS, France / Grenoble INP, France / VERIMAG, France / Yale University, USA","institution_ids":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070627140","display_name":"Zhong Shao","orcid":"https://orcid.org/0000-0001-8184-7649"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhong Shao","raw_affiliation_strings":["Yale University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000031216","display_name":"Ronghui Gu","orcid":"https://orcid.org/0000-0002-6812-6182"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ronghui Gu","raw_affiliation_strings":["Columbia University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046654886","display_name":"David Costanzo","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Costanzo","raw_affiliation_strings":["Yale University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100452997","display_name":"Jungeun Kim","orcid":"https://orcid.org/0000-0002-6474-5058"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jung-Eun Kim","raw_affiliation_strings":["Yale University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068072324","display_name":"Man-Ki Yoon","orcid":"https://orcid.org/0000-0001-7181-1730"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Man-Ki Yoon","raw_affiliation_strings":["Yale University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5919,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.89662921,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"4","issue":"POPL","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9966999888420105,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9951000213623047,"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.8284602165222168},{"id":"https://openalex.org/keywords/preemption","display_name":"Preemption","score":0.6993649005889893},{"id":"https://openalex.org/keywords/timeline","display_name":"Timeline","score":0.6796865463256836},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.5788571834564209},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5557825565338135},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5496408343315125},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.514300525188446},{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.4986884593963623},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.4397619366645813},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.31003403663635254},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.28334933519363403}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8284602165222168},{"id":"https://openalex.org/C206952183","wikidata":"https://www.wikidata.org/wiki/Q1193100","display_name":"Preemption","level":2,"score":0.6993649005889893},{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.6796865463256836},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.5788571834564209},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5557825565338135},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5496408343315125},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.514300525188446},{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.4986884593963623},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.4397619366645813},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.31003403663635254},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.28334933519363403},{"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/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3371088","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371088","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371088","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-02875542v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02875542","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-31. ⟨10.1145/3371088⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3371088","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371088","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371088","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1534946070","display_name":null,"funder_award_id":"FA8750-16-2-0274","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G1981839175","display_name":"SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems","funder_award_id":"1715154","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2144793629","display_name":null,"funder_award_id":"1521523, 1715154","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3072616741","display_name":null,"funder_award_id":"FA8750-16-2-0274, FA8750-15-C-0082","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4577670171","display_name":null,"funder_award_id":"FA8750-15-C-0082","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4613586726","display_name":null,"funder_award_id":"1521523,1715154,1763399","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G536862562","display_name":"SHF: Medium: DeepSEA: A Language for Programming and Synthesizing Certified Software","funder_award_id":"1763399","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6080364906","display_name":"Collaborative Research:  Expeditions in Computing:  The Science of Deep Specification","funder_award_id":"1521523","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/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320336508","display_name":"Institut des sciences de l'information et de leurs interactions","ror":"https://ror.org/04z22qz54"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2995722189.pdf","grobid_xml":"https://content.openalex.org/works/W2995722189.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W43313067","https://openalex.org/W583304954","https://openalex.org/W1500846484","https://openalex.org/W1552921094","https://openalex.org/W1563066232","https://openalex.org/W1579080362","https://openalex.org/W1988079752","https://openalex.org/W2019404692","https://openalex.org/W2023035194","https://openalex.org/W2086234010","https://openalex.org/W2095770127","https://openalex.org/W2109488193","https://openalex.org/W2113930382","https://openalex.org/W2122660464","https://openalex.org/W2126823808","https://openalex.org/W2136310957","https://openalex.org/W2155146646","https://openalex.org/W2162666438","https://openalex.org/W2166440675","https://openalex.org/W2247927454","https://openalex.org/W2412857152","https://openalex.org/W2415236938","https://openalex.org/W2416645316","https://openalex.org/W2495962902","https://openalex.org/W2511905731","https://openalex.org/W2512054480","https://openalex.org/W2741973633","https://openalex.org/W2761236351","https://openalex.org/W2798332481","https://openalex.org/W2798365728","https://openalex.org/W2897494537","https://openalex.org/W2959777056","https://openalex.org/W3152125310"],"related_works":["https://openalex.org/W1858249912","https://openalex.org/W2114034199","https://openalex.org/W4391249598","https://openalex.org/W2317428717","https://openalex.org/W2734259032","https://openalex.org/W3094038556","https://openalex.org/W2014772881","https://openalex.org/W4254228154","https://openalex.org/W3049477255","https://openalex.org/W4296345146"],"abstract_inverted_index":{"The":[0,90],"reliability":[1],"and":[2,38,192,247,267],"security":[3],"of":[4,9,15,24,28,78,85,87,100,104,111,128,134,164,168,180,197,218,258,272],"safety-critical":[5],"real-time":[6,187,229,250],"systems":[7,17],"are":[8,83,139,280],"utmost":[10],"importance":[11],"because":[12],"the":[13,46,76,101,105,129,135,145,165,181,195,205,214,219,256,273,278,283],"failure":[14,27],"these":[16],"could":[18],"incur":[19],"severe":[20],"consequences":[21],"(e.g.,":[22,81],"loss":[23],"lives":[25],"or":[26,131],"a":[29,155,178,228,235,242,248],"mission).":[30],"Such":[31],"properties":[32,74,99,133,163,206],"require":[33],"strong":[34],"isolation":[35,56,92,146,269],"between":[36,93,147],"components":[37,94],"they":[39],"rely":[40],"on":[41,75,97,208,270],"enforcement":[42],"mechanisms":[43],"provided":[44,60],"by":[45,61],"underlying":[47],"operating":[48],"system":[49],"(OS)":[50],"kernel.":[51,221],"In":[52,150,171],"addition":[53],"to":[54,64,115,143,190,213],"spatial":[55,268],"which":[57,232],"is":[58],"commonly":[59],"OS":[62,220,230],"kernels":[63],"various":[65],"extents,":[66],"it":[67],"also":[68],"requires":[69],"temporal":[70,266],"isolation,":[71],"that":[72,138,204,254],"is,":[73],"schedule":[77],"one":[79],"component":[80,199],"schedulability)":[82],"independent":[84],"behaviors":[86],"other":[88],"components.":[89,149],"strict":[91],"relies":[95],"critically":[96],"algorithmic":[98,162],"concrete":[102,166],"implementation":[103,137,167],"scheduler,":[106,130],"such":[107],"as":[108],"timely":[109],"provision":[110],"time":[112],"slots,":[113],"obliviousness":[114],"preemption,":[116,241],"etc.":[117],"However,":[118],"existing":[119],"work":[120],"either":[121],"only":[122],"reasons":[123],"about":[124,161,194],"an":[125],"abstract":[126],"model":[127],"proves":[132],"scheduler":[136],"not":[140],"rich":[141],"enough":[142],"establish":[144],"different":[148],"this":[151,209,223,262],"paper,":[152],"we":[153,173,225],"present":[154],"novel":[156],"compositional":[157],"framework":[158],"for":[159],"reasoning":[160],"preemptive":[169],"schedulers.":[170],"particular,":[172],"use":[174],"virtual":[175],"timeline":[176],",":[177],"variant":[179],"supply":[182],"bound":[183],"function":[184],"used":[185],"in":[186,200,255,282],"scheduling":[188,196],"analysis,":[189],"specify":[191],"reason":[193],"each":[198],"isolation.":[201],"We":[202,252],"show":[203],"proved":[207],"abstraction":[210],"carry":[211],"down":[212],"generated":[215],"assembly":[216],"code":[217],"Using":[222],"framework,":[224],"successfully":[226],"verify":[227],"kernel,":[231,238],"extends":[233],"mCertiKOS,":[234],"single-processor":[236],"non-preemptive":[237],"with":[239],"user-level":[240],"verified":[243,249],"timer":[244],"interrupt":[245],"handler,":[246],"scheduler.":[251],"prove":[253],"absence":[257],"microarchitectural-level":[259],"timing":[260],"channels,":[261],"new":[263],"kernel":[264],"enjoys":[265],"top":[271],"functional":[274],"correctness":[275],"guarantee.":[276],"All":[277],"proofs":[279],"implemented":[281],"Coq":[284],"proof":[285],"assistant.":[286]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}