{"id":"https://openalex.org/W6893966751","doi":"https://doi.org/10.5281/zenodo.6541544","title":"Reproduction Package for SEFM 2022 Article `Cooperation between Automatic and Interactive Software Verifiers'","display_name":"Reproduction Package for SEFM 2022 Article `Cooperation between Automatic and Interactive Software Verifiers'","publication_year":2022,"publication_date":"2022-09-28","ids":{"openalex":"https://openalex.org/W6893966751","doi":"https://doi.org/10.5281/zenodo.6541544"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6541544","is_oa":true,"landing_page_url":"https://zenodo.org/record/6541544","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":"","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/6541544","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Beyer, Dirk","orcid":"https://orcid.org/0000-0003-4832-7662"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Beyer, Dirk","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Spiessl, Martin","orcid":"https://orcid.org/0000-0002-9169-9130"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Spiessl, Martin","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9169-9130","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Umbricht, Sven","orcid":null},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Umbricht, Sven","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"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/login","display_name":"Login","score":0.6610999703407288},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6424999833106995},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.5565000176429749},{"id":"https://openalex.org/keywords/file-system","display_name":"File system","score":0.4311000108718872},{"id":"https://openalex.org/keywords/file-format","display_name":"File format","score":0.42750000953674316},{"id":"https://openalex.org/keywords/virtual-desktop","display_name":"Virtual desktop","score":0.37290000915527344},{"id":"https://openalex.org/keywords/os-x","display_name":"OS X","score":0.3671000003814697},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.36059999465942383}],"concepts":[{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.7846999764442444},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7649999856948853},{"id":"https://openalex.org/C113324615","wikidata":"https://www.wikidata.org/wiki/Q472302","display_name":"Login","level":2,"score":0.6610999703407288},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6424999833106995},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.5565000176429749},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.4311000108718872},{"id":"https://openalex.org/C97250363","wikidata":"https://www.wikidata.org/wiki/Q235557","display_name":"File format","level":2,"score":0.42750000953674316},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4223000109195709},{"id":"https://openalex.org/C112999334","wikidata":"https://www.wikidata.org/wiki/Q2094455","display_name":"Virtual desktop","level":3,"score":0.37290000915527344},{"id":"https://openalex.org/C515153823","wikidata":"https://www.wikidata.org/wiki/Q14116","display_name":"OS X","level":3,"score":0.3671000003814697},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.36059999465942383},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.3481000065803528},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.323199987411499},{"id":"https://openalex.org/C198140048","wikidata":"https://www.wikidata.org/wiki/Q10859422","display_name":"Software versioning","level":3,"score":0.31859999895095825},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.31299999356269836},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C186967261","wikidata":"https://www.wikidata.org/wiki/Q5082128","display_name":"Mobile device","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C2775877400","wikidata":"https://www.wikidata.org/wiki/Q1142183","display_name":"User space","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6541544","is_oa":true,"landing_page_url":"https://zenodo.org/record/6541544","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":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.6541544","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6541544","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6541544","is_oa":true,"landing_page_url":"https://zenodo.org/record/6541544","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":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[{"score":0.5043773055076599,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reproduction":[0],"Package":[1],"for":[2,74,176],"\u201cCooperation":[3],"between":[4,28],"Automatic":[5,29],"and":[6,30,95,154],"Interactive":[7,31],"Software":[8,32],"Verifiers\u201d":[9],"This":[10],"reproduction":[11],"package":[12],"provides":[13],"a":[14],"virtual":[15],"machine":[16],"to":[17,86,148,166],"reproduce":[18,87],"the":[19,75,80,88,93,98,117,159,167,174],"results":[20,89],"from":[21,126],"our":[22,23],"SEFM":[24],"2022":[25],"publication":[26],"Cooperation":[27],"Verifiers.":[33],"Hardware":[34],"Requirements":[35],"Recommended:":[36],"-":[37,42,46,53,58,62],"18":[38],"GB":[39,48,55,64],"of":[40,49,56,65,82,140],"RAM":[41,57],"8":[43,54],"CPU":[44,60],"cores":[45],"150":[47],"disk":[50,66],"space":[51,67],"Minimal:":[52],"1":[59],"core":[61],"20":[63],"The":[68,144],"README.md":[69],"details":[70],"how":[71],"resource":[72],"limits":[73],"experiments":[76],"can":[77,169],"reduced,":[78],"at":[79],"risk":[81],"not":[83],"being":[84],"able":[85],"exactly.":[90],"Usage":[91],"Start":[92],"VM":[94,101,104,145],"log":[96],"with":[97,158],"user":[99],"account:":[100],"username:":[102],"vagrant":[103,106],"password:":[105],"Change":[107],"directory":[108],"into":[109,134],"<code>~/cooperation-automatic-interactive</code>,":[110],"where":[111],"further":[112],"instructions":[113],"are":[114],"provided":[115],"in":[116],"file":[118],"<code>README.md</code>.":[119],"For":[120],"some":[121],"steps,":[122],"loading":[123],"additional":[124],"files":[125],"other":[127],"Zenodo":[128],"artifacts":[129],"is":[130,137,146],"required.":[131],"Including":[132],"these":[133],"this":[135],"artifact":[136],"infeasible":[138],"because":[139],"their":[141],"large":[142],"size.":[143],"configured":[147],"allow":[149],"SSH":[150],"login":[151],"via":[152],"username":[153],"password,":[155],"but":[156],"comes":[157],"Gnome":[160],"desktop":[161,175],"environment":[162],"pre-installed.":[163],"A":[164],"link":[165],"<code>README.md</code>":[168],"also":[170],"be":[171],"found":[172],"on":[173],"quick":[177],"access.":[178]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}