{"id":"https://openalex.org/W6967434044","doi":"https://doi.org/10.5281/zenodo.11090469","title":"QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification","display_name":"QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification","publication_year":2024,"publication_date":"2024-04-30","ids":{"openalex":"https://openalex.org/W6967434044","doi":"https://doi.org/10.5281/zenodo.11090469"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.11090469","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11090469","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":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.11090469","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Dorfhuber, Florian","orcid":"https://orcid.org/0000-0003-3755-7171"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]},{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ","DE"],"is_corresponding":true,"raw_author_name":"Dorfhuber, Florian","raw_affiliation_strings":["Masaryk University","Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Masaryk University","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Kretinsky, Jan","orcid":"https://orcid.org/0000-0002-8122-2881"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]},{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ","DE"],"is_corresponding":false,"raw_author_name":"Kretinsky, Jan","raw_affiliation_strings":["Masaryk University","Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Masaryk University","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":null,"display_name":"Eisentraut, Julia","orcid":"https://orcid.org/0000-0002-7735-8751"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eisentraut, Julia","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I62916508","https://openalex.org/I21449261"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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.7197999954223633},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6126000285148621},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5906000137329102},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5547000169754028},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.5529000163078308},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.45399999618530273},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.42800000309944153},{"id":"https://openalex.org/keywords/time-series","display_name":"Time series","score":0.3752000033855438}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7562000155448914},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7197999954223633},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6126000285148621},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5906000137329102},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5547000169754028},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.5529000163078308},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.45399999618530273},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.42800000309944153},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.424699991941452},{"id":"https://openalex.org/C151406439","wikidata":"https://www.wikidata.org/wiki/Q186588","display_name":"Time series","level":2,"score":0.3752000033855438},{"id":"https://openalex.org/C2984968299","wikidata":"https://www.wikidata.org/wiki/Q1077784","display_name":"Software tool","level":3,"score":0.35429999232292175},{"id":"https://openalex.org/C95986675","wikidata":"https://www.wikidata.org/wiki/Q185168","display_name":"Quantitative analysis (chemistry)","level":2,"score":0.34119999408721924},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.3334999978542328},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2800000011920929},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2750000059604645},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2653999924659729},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.26440000534057617},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.25279998779296875},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.11090469","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11090469","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":"doi:10.5281/zenodo.11090469","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.11090469","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":false,"raw_source_name":null,"raw_type":"article"},"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":{"In":[0],"our":[1,34,71,78,86,100,151],"paper,":[2],"we":[3,67,76],"present":[4],"the":[5,39,82,92,120,138,142,159,164,171],"Quantitative":[6],"Attack-Defense":[7],"Tree":[8],"Analysis":[9],"Tool":[10],"(QuADTool),":[11],"a":[12,19,106],"tool":[13,35,72,79],"to":[14,25,37,70,149],"analyze":[15],"attack-defense":[16],"trees":[17],"in":[18,85,99,156],"quantitative":[20],"fashion,":[21],"i.e.":[22],"with":[23,108],"respect":[24],"time,":[26],"probabilities":[27],"and":[28,81,95,115,174],"cost.":[29],"The":[30,166,180],"special":[31],"focus":[32],"of":[33,57,63,141,158,182],"is":[36],"bound":[38],"uncertainty":[40],"resulting":[41],"from":[42,50],"imprecise":[43],"input":[44,47],"quantities.":[45],"Such":[46],"quantities":[48],"arise":[49],"time":[51,94,97],"series":[52],"analysis":[53,93],"or":[54],"iid":[55],"samples":[56],"relevant":[58],"factors":[59],"(for":[60],"instance,":[61],"costs":[62],"certain":[64],"parts),":[65],"which":[66],"also":[68],"connect":[69],"For":[73],"artifact":[74,121],"evaluation,":[75],"submit":[77],"QuADTool":[80],"files":[83],"used":[84],"case":[87],"studies.":[88],"Please":[89],"note":[90],"that":[91],"conversion":[96],"results":[98,128,152],"paper":[101],"have":[102],"been":[103],"produced":[104],"using":[105],"computer":[107],"Intel":[109],"Core":[110],"i7":[111],"Gen":[112],"10":[113],"processor":[114],"16":[116],"GB":[117],"RAM.":[118],"Thus,":[119],"evaluation":[122],"may":[123],"not":[124],"exactly":[125],"reproduce":[126,150],"these":[127,183],"because":[129],"it":[130],"possibly":[131],"uses":[132],"less":[133],"powerful":[134],"computing":[135],"resources.":[136],"However,":[137],"overall":[139],"trend":[140],"result":[143],"should":[144],"be":[145,154],"similar.":[146],"All":[147],"instructions":[148],"can":[153],"found":[155],"Readme.txt":[157],"~/artifact/":[160],"directory":[161],"linked":[162],"on":[163],"desktop.":[165],"updated":[167],"version":[168],"now":[169],"includes":[170],"Prism-games":[172],"(https://www.prismmodelchecker.org/games/)":[173],"ADTool":[175],"(https://satoss.uni.lu/members/piotr/adtool/)":[176],"executables":[177],"for":[178],"evaluation.":[179],"licenses":[181],"software":[184],"apply":[185],"separately.":[186],"sha256:e2632c24443685521e7770b70a661a65abebf06bc521855fbd92306e42973ed4":[187]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}