{"id":"https://openalex.org/W6968780945","doi":"https://doi.org/10.5281/zenodo.5348289","title":"Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation","display_name":"Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation","publication_year":2021,"publication_date":"2021-09-14","ids":{"openalex":"https://openalex.org/W6968780945","doi":"https://doi.org/10.5281/zenodo.5348289"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5348289","is_oa":true,"landing_page_url":"https://zenodo.org/record/5348289","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/5348289","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Di Stefano, Luca","orcid":"https://orcid.org/0000-0003-1922-3151"},"institutions":[{"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"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Di Stefano, Luca","raw_affiliation_strings":["INRIA/LIG, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"INRIA/LIG, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I1326498283","https://openalex.org/I4210104430"]}]},{"author_position":"middle","author":{"id":null,"display_name":"De Nicola, Rocco","orcid":"https://orcid.org/0000-0003-4691-7570"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"De Nicola, Rocco","raw_affiliation_strings":["IMT School for Advanced Studies, Lucca, Italy"],"affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","author":{"id":null,"display_name":"Inverso, Omar","orcid":"https://orcid.org/0000-0002-9348-1979"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Inverso, Omar","raw_affiliation_strings":["Gran Sasso Science Institute (GSSI), L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.9236999750137329},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.8051999807357788},{"id":"https://openalex.org/keywords/replicate","display_name":"Replicate","score":0.6603999733924866},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.6202999949455261},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.6140999794006348},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.536899983882904},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.5130000114440918},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.5026000142097473}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.9236999750137329},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8514999747276306},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.8051999807357788},{"id":"https://openalex.org/C2781162219","wikidata":"https://www.wikidata.org/wiki/Q26250693","display_name":"Replicate","level":2,"score":0.6603999733924866},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6377999782562256},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.6202999949455261},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6172000169754028},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.6140999794006348},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.536899983882904},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.5130000114440918},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.5026000142097473},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4489000141620636},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.40959998965263367},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3359000086784363},{"id":"https://openalex.org/C112968700","wikidata":"https://www.wikidata.org/wiki/Q11368","display_name":"Unix","level":3,"score":0.3246000111103058},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.28439998626708984},{"id":"https://openalex.org/C171730128","wikidata":"https://www.wikidata.org/wiki/Q5227290","display_name":"Data file","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C2778241615","wikidata":"https://www.wikidata.org/wiki/Q83303","display_name":"Fortran","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.27219998836517334},{"id":"https://openalex.org/C198140048","wikidata":"https://www.wikidata.org/wiki/Q10859422","display_name":"Software versioning","level":3,"score":0.26669999957084656},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C172658912","wikidata":"https://www.wikidata.org/wiki/Q661613","display_name":"Batch processing","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C77741850","wikidata":"https://www.wikidata.org/wiki/Q751046","display_name":"IBM PC compatible","level":3,"score":0.2556999921798706},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C3739613","wikidata":"https://www.wikidata.org/wiki/Q679003","display_name":"Distributed Computing Environment","level":2,"score":0.25220000743865967}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:5348289","is_oa":true,"landing_page_url":"https://zenodo.org/record/5348289","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.5348289","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5348289","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5348289","is_oa":true,"landing_page_url":"https://zenodo.org/record/5348289","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,169],"package":[1],"allows":[2],"to":[3,28,34,38,80,88,111,119,140,176,220,231,290,450,493,581,711],"replicate":[4,112,120],"the":[5,51,62,67,82,96,100,113,121,142,149,164,217,242,269,301,385,389,413,458,486,495,508,527,557,589,599,603,607,613,631,636,656,684,692,695,701,708,723,727,773,778,785,832,844],"experiments":[6,31,94,114,122,125,250,693,829],"described":[7,634],"in":[8,50,66,163,300,485,565,594,635,655,736,831],"\u201cVerification":[9,834],"of":[10,99,271,278,387,420,474,559,576,753,814,828,835],"Distributed":[11,836],"Systems":[12,837],"via":[13,838],"Sequential":[14,839],"Emulation\u201d.":[15,840],"Instructions":[16],"for":[17,73,394,499,562,653,661,763,777,807,823,856],"full":[18],"replication":[19,102,827],"are":[20,761],"also":[21,56,741,783],"included.":[22],"Repository":[23],"contents":[24,84,822],"<code>main.sh</code>:":[25],"Quickstart":[26,215],"script":[27,33,110,118,253,601,724],"run":[29,93,127,141,148,672,748],"all":[30,249,683],"<code>permissions.sh</code>:":[32],"give":[35],"adequate":[36],"permissions":[37],"executables":[39],"<code>replication.tar.gz</code>:":[40],"gzipped":[41],"archive":[42],"containing:":[43],"<code>emergence</code>,":[44,261],"<code>invariant</code>,":[45,262],"<code>stock</code>:":[46],"C":[47,90,199,279,292,421,628,645],"programs":[48,91,194,280,294,305,342,422,433,629],"used":[49,72,87,593],"experimental":[52,567],"evaluation.":[53,568],"Each":[54,373,544,570],"directory":[55,222,258,488],"contains":[57,379,551],"a":[58,160,172,177,185,256,380,475,502,552,573,717],"<code>_logs</code>":[59],"folder":[60,374,545],"with":[61,259,454,530,694,843],"log":[63,245],"files":[64],"referred":[65],"paper.":[68],"<code>labs</code>:":[69],"LAbS":[70,282,297],"specifications":[71,283],"<code>emergence</code>":[74,378,549],"and":[75,92,234,247,263,377,396,412,489,548,615,623,638,805],"<code>invariant</code>":[76,376,547],"experiments.":[77,685],"<code>LICENSE</code>:":[78],"conditions":[79],"use":[81,206,288,507],"repository":[83,103,219,776,816],"<code>tools</code>:":[85],"Software":[86],"generate":[89,192],"<code>README.mdown</code>:":[95],"README":[97],"file":[98,382,553],"original":[101,528,774],"(https://gitlab.inria.fr/ldistefa/tosem-artifacts)":[104,780],"<code>README-ZENODO.mdown</code>:":[105],"this":[106,448,470,560,815],"document":[107],"<code>replication.py</code>:":[108],"Python":[109,134,178,186,477],"<code>replication.sh</code>:":[115],"fallback":[116],"shell":[117,151],"Requirements":[123],"All":[124],"should":[126],"successfully":[128],"on":[129],"most":[130,739],"x64":[131],"Linux":[132],"machines.":[133],"3.7":[135],"or":[136,463,602,746],"above":[137,390],"is":[138,201,384,409,416,535,556],"needed":[139,536],"<code>replication.py</code>":[143,604,662,669],"script.":[144,152],"Alternatively,":[145],"one":[146,388,505,665],"may":[147,170,670,770],"<code>replication.sh</code>":[150,600],"Some":[153],"caveats":[154],"about":[155,852],"specific":[156,461,503,574],"tools:":[157],"Symbiotic":[158],"requires":[159,184],"<code>python</code>":[161],"executable":[162,180,188],"machine\u2019s":[165],"PATH":[166],"(usually":[167,181,189],"<code>/usr/bin/python</code>).":[168],"be":[171,436,483,671,716],"symbolic":[173],"link":[174],"pointing":[175],"3":[179],"<code>/usr/bin/python3</code>).":[182],"SeaHorn":[183],"2":[187],"<code>/usr/bin/python2</code>).":[190],"To":[191,587],"instrumented":[193],"(see":[195],"below),":[196],"an":[197,444],"external":[198],"preprocessor":[200,542],"required.":[202],"For":[203,766],"instance,":[204],"we":[205,398,592],"<code>gcc":[207],"-E</code>.":[208],"We":[209,467,611,642],"do":[210,817],"provide":[211,643],"ready-to-use":[212],"instumented":[213,651],"programs.":[214],"Download":[216],"whole":[218],"some":[221,402],"<code>dir</code>,":[223],"then:":[224],"<pre><code>cd":[225,512],"/path/to/dir":[226],"#":[227,240,340],"Gives":[228],"execution":[229],"permission":[230],"main.sh,":[232],"tools,":[233,459],"their":[235,650,754],"dependencies":[236],"chmod":[237],"+x":[238],"permissions.sh":[239],"Unpacks":[241],"archive,":[243],"makes":[244],"directories,":[246,756],"runs":[248,682,691],"./main.sh</code></pre>":[251],"The":[252,284,405,812],"will":[254,267,287],"create":[255,291],"<code>dir/logs</code>":[257],"subdirectories":[260],"<code>stock</code>,":[264],"where":[265],"it":[266,431,626],"store":[268],"output":[270,386,408],"each":[272,296,563],"verification":[273,452,500,585],"task.":[274,586],"Replication":[275],"details":[276],"Generation":[277],"from":[281,295],"following":[285,509],"commands":[286,591],"<code>sliver</code>":[289,407],"emulation":[293],"system":[298],"considered":[299],"paper:":[302],"<pre><code>#":[303],"Invariant":[304],"tools/sliver-v1.5_linux_x64/sliver.py":[306,316,324,332,343,353,363],"labs/formation.invariant.labs":[307],"size=10":[308,365],"range=2":[309,366],"n=3":[310,367],"--fair":[311,348,358,368],"--no-bv":[312,320,328,336,349,359,369],"--show":[313,321,329,337,350,360,370],"&gt;":[314,322,330,338,351,361,371,524],"invariant/formation/formation.c":[315],"labs/approx.labs":[317,325],"yes=1":[318,334],"no=2":[319,335],"invariant/approx-a/approx-a.c":[323],"yes=2":[326],"no=3":[327],"invariant/approx-a/approx-b.c.orig":[331],"labs/maj.labs":[333],"invariant/maj/maj.c.orig":[339],"Emergence":[341],"labs/boids.labs":[344],"birds=3":[345,355],"size=5":[346,356],"delta=5":[347,357],"emergence/boids/boids.c":[352],"labs/flock.labs":[354],"emergence/flock/flock.c":[362],"labs/formation.emergence.labs":[364],"emergence/formation/formation.c</code></pre>":[372],"under":[375,546],"<code>&lt;program&gt;.c</code>":[381],"which":[383,481,555],"commands.":[391],"Notice":[392],"that,":[393],"<code>approx-b</code>":[395],"<code>maj</code>,":[397],"have":[399,468],"manually":[400],"performed":[401],"additional":[403],"transformations.":[404],"unmodified":[406],"named":[410,417],"<code>maj.c.orig</code>":[411],"final":[414],"program":[415,478,497,529],"<code>maj.c</code>.":[418],"Instrumentation":[419],"SLiVER":[423,496],"was":[424],"originally":[425],"tailored":[426],"towards":[427],"BMC":[428],"verification,":[429],"so":[430,757],"generates":[432],"that":[434,738],"can":[435,482,506,782],"directly":[437,619],"verified":[438],"by":[439,457,472,501,640,797],"CBMC.":[440],"Other":[441],"tools":[442,740],"require":[443,742],"instrumentation":[445],"steps.":[446],"Typically":[447],"amounts":[449],"replace":[451],"intrinsics":[453],"those":[455],"supported":[456],"add":[460],"headers":[462],"function":[464],"declarations,":[465],"etc.":[466,580],"automated":[469],"steps":[471],"means":[473],"helper":[476],"called":[479],"<code>absentee</code>,":[480],"found":[484],"<code>tools</code>":[487],"at":[490,772],"(https://github.com/lou1306/absentee)":[491],"Typically,":[492],"instrument":[494],"<code>program.c</code>":[498],"tool,":[504],"command":[510,729,759],"line:":[511],"tools/absentee":[513],"gcc":[514],"-E":[515],"/path/to/&lt;program&gt;.c":[516],"|":[517],"python3":[518],"-m":[519],"absentee":[520],"--conf":[521],"&lt;tool&gt;.conf":[522],"-":[523],"/path/to/&lt;program&gt;.&lt;tool&gt;.c</code></pre>":[525],"Preprocessing":[526],"<code>gcc</code>":[531],"(or":[532],"another":[533],"compiler)":[534],"because":[537],"<code>absentee</code>":[538],"does":[539],"not":[540,818],"support":[541],"directives.":[543],"already":[550],"<code>&lt;program&gt;.&lt;tool&gt;.c</code>,":[554],"result":[558],"step":[561],"tool":[564,571,702],"our":[566,595],"Verification":[569],"needs":[572],"set":[575],"arguments,":[577],"environment":[578,744],"variables,":[579],"correctly":[582],"perform":[583],"its":[584,821],"investigate":[588],"actual":[590],"evaluation,":[596],"please":[597],"check":[598],"program.":[605],"About":[606],"<code>stock</code>":[608,657],"case":[609,617,664],"studies":[610,618],"wrote":[612],"<code>stock-safe</code>":[614],"<code>stock-unsafe</code>":[616],"as":[620,627,647,649],"triple":[621],"structure,":[622],"then":[624],"encoded":[625],"using":[630,820],"same":[632],"procedure":[633],"paper":[637,833],"implemented":[639],"<code>sliver</code>.":[641],"these":[644,758],"programs,":[646],"well":[648],"version":[652],"2ls,":[654],"folder.":[658],"Usage":[659],"instructions":[660],"In":[663,679],"wants":[666],"more":[667],"granularity,":[668],"manually.":[673],"<code>./replication.py":[674,686,698],"--help</code>":[675],"shows":[676,726],"usage":[677],"instructions.":[678],"brief:":[680],"<code>./replication.py</code>":[681],"tool1":[687],"tool2":[688],"...</code>":[689],"only":[690,725,762],"given":[696],"tools.":[697],"--list</code>":[699],"lists":[700],"names.":[703],"<code>./replication":[704],"--timeout":[705],"&lt;n&gt;</code>":[706],"overrides":[707],"default":[709],"timeout":[710],"<em>n</em>":[712],"seconds":[713],"(<em>n</em>":[714],"must":[715],"positive":[718],"integer)":[719],"By":[720],"adding":[721],"<code>--dry-run</code>,":[722],"experiments\u2019":[728],"lines,":[730],"without":[731],"actually":[732],"executing":[733],"them.":[734],"Keep":[735],"mind":[737],"custom":[743],"variables":[745],"won\u2019t":[747],"properly":[749],"when":[750],"invoked":[751],"outside":[752],"own":[755],"lines":[760],"reference.":[764],"Support":[765],"further":[767],"information,":[768],"you":[769],"look":[771],"Git":[775],"artifacts:":[779],"You":[781],"contact":[784],"paper\u2019s":[786,845],"corresponding":[787,846],"author:":[788],"Luca":[789],"Di":[790,849],"Stefano":[791,850],"luca.di-stefano@inria.fr":[792],"Acknowledgments":[793],"Work":[794],"partially":[795],"funded":[796],"MIUR":[798],"project":[799],"PRIN":[800],"2017FTXR7S":[801],"<em>IT":[802],"MATTERS</em>":[803],"(Methods":[804],"Tools":[806],"Trustworthy":[808],"Smart":[809],"Systems).":[810],"Disclaimer":[811],"authors":[813],"endorse":[819],"ANY":[824],"purpose":[825],"besides":[826],"presented":[830],"Please":[841],"enquire":[842],"author":[847],"(Luca":[848],"luca.di-stefano@inria.fr)":[851],"software":[853],"packages":[854],"intended":[855],"generic":[857],"usage.":[858]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}