{"id":"https://openalex.org/W4393955114","doi":"https://doi.org/10.1007/978-3-031-57267-8_14","title":"A Modular Soundness Theory for the Blackboard Analysis Architecture","display_name":"A Modular Soundness Theory for the Blackboard Analysis Architecture","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393955114","doi":"https://doi.org/10.1007/978-3-031-57267-8_14"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57267-8_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_14.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009838300","display_name":"Sven Keidel","orcid":"https://orcid.org/0000-0002-4278-2181"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Sven Keidel","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4278-2181","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030100328","display_name":"Dominik Helm","orcid":"https://orcid.org/0009-0004-6425-8630"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]},{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Helm","raw_affiliation_strings":["National Research Center for Applied Cybersecurity (ATHENE), Darmstadt, Germany","Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0009-0004-6425-8630","affiliations":[{"raw_affiliation_string":"National Research Center for Applied Cybersecurity (ATHENE), Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470"]},{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086396255","display_name":"Tobias Roth","orcid":"https://orcid.org/0000-0001-6561-0430"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]},{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Roth","raw_affiliation_strings":["National Research Center for Applied Cybersecurity (ATHENE), Darmstadt, Germany","Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6561-0430","affiliations":[{"raw_affiliation_string":"National Research Center for Applied Cybersecurity (ATHENE), Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470"]},{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]},{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I4392021234","display_name":"Hessian Center for Artificial Intelligence","ror":"https://ror.org/014ybqb54","country_code":"DE","type":"facility","lineage":["https://openalex.org/I31512782","https://openalex.org/I4392021234"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["Hessian Center for Artificial Intelligence (hessian.AI), Darmstadt, Germany","National Research Center for Applied Cybersecurity (ATHENE), Darmstadt, Germany","Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6563-7537","affiliations":[{"raw_affiliation_string":"Hessian Center for Artificial Intelligence (hessian.AI), Darmstadt, Germany","institution_ids":["https://openalex.org/I4392021234"]},{"raw_affiliation_string":"National Research Center for Applied Cybersecurity (ATHENE), Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470"]},{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5009838300"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":3.575,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.91949153,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"361","last_page":"390"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"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/T11349","display_name":"Music Technology and Sound Studies","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12162","display_name":"Cellular Automata and Applications","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.9362413287162781},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8510454893112183},{"id":"https://openalex.org/keywords/blackboard","display_name":"Blackboard (design pattern)","score":0.7452792525291443},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6252847909927368},{"id":"https://openalex.org/keywords/blackboard-system","display_name":"Blackboard system","score":0.5820280313491821},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5312758684158325},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4883837103843689},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3223618268966675},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3209933638572693},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.06863391399383545}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9362413287162781},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8510454893112183},{"id":"https://openalex.org/C2778308757","wikidata":"https://www.wikidata.org/wiki/Q23601418","display_name":"Blackboard (design pattern)","level":2,"score":0.7452792525291443},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6252847909927368},{"id":"https://openalex.org/C157273737","wikidata":"https://www.wikidata.org/wiki/Q1753023","display_name":"Blackboard system","level":3,"score":0.5820280313491821},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5312758684158325},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4883837103843689},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3223618268966675},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3209933638572693},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.06863391399383545},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-57267-8_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:145588","is_oa":true,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-031-57267-8_14","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Konferenzver\u00f6ffentlichung"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57267-8_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4393955114.pdf"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W1553511155","https://openalex.org/W1553894716","https://openalex.org/W1591856965","https://openalex.org/W1611084195","https://openalex.org/W1990621394","https://openalex.org/W2013885073","https://openalex.org/W2014764321","https://openalex.org/W2059390719","https://openalex.org/W2060107892","https://openalex.org/W2060205259","https://openalex.org/W2064138295","https://openalex.org/W2080575293","https://openalex.org/W2082036516","https://openalex.org/W2087403174","https://openalex.org/W2110423393","https://openalex.org/W2133824159","https://openalex.org/W2140021378","https://openalex.org/W2148662736","https://openalex.org/W2385667943","https://openalex.org/W2417567569","https://openalex.org/W2491928626","https://openalex.org/W2509308157","https://openalex.org/W2617348763","https://openalex.org/W2625141509","https://openalex.org/W2752111507","https://openalex.org/W2794609696","https://openalex.org/W2867457158","https://openalex.org/W2884704156","https://openalex.org/W2886090648","https://openalex.org/W2888021447","https://openalex.org/W2892721170","https://openalex.org/W2898152370","https://openalex.org/W2959352824","https://openalex.org/W2977431667","https://openalex.org/W2979331965","https://openalex.org/W3005977564","https://openalex.org/W3006937969","https://openalex.org/W3043272472","https://openalex.org/W3099954734","https://openalex.org/W3106522360","https://openalex.org/W3140161220","https://openalex.org/W3151652064","https://openalex.org/W3210126311","https://openalex.org/W4210741360","https://openalex.org/W4247889999","https://openalex.org/W7053085415"],"related_works":["https://openalex.org/W2279528337","https://openalex.org/W4231402822","https://openalex.org/W2385023133","https://openalex.org/W2254498469","https://openalex.org/W2161257492","https://openalex.org/W4230931601","https://openalex.org/W2123085253","https://openalex.org/W2146750700","https://openalex.org/W4247061306","https://openalex.org/W4251918048"],"abstract_inverted_index":{"Abstract":[0],"Sound":[1],"static":[2,20,41,56,97,182],"analyses":[3,140,147,183],"are":[4,47],"an":[5,239],"important":[6],"ingredient":[7],"for":[8,164],"compiler":[9],"optimizations":[10],"and":[11,42,57,80,96,176,233,242],"program":[12,38,152],"verification":[13],"tools.":[14],"However,":[15,134],"mathematically":[16],"proving":[17,226],"that":[18],"a":[19,25,64,112,117,132,135,161,191,196,231,236,243],"analysis":[21,130,167,198],"is":[22,24,170],"sound":[23,212],"difficult":[26],"task":[27],"due":[28],"to":[29,49,68,70,126],"two":[30,36],"problems.":[31],"First,":[32],"soundness":[33,65,83,86,118,162,201,227],"proofs":[34],"relate":[35],"complicated":[37],"semantics":[39,59,98],"(the":[40],"the":[43,53,55,61,72,78,94,100,129,151,165],"dynamic":[44,58,95],"semantics)":[45],"which":[46,116,123,139,169,188],"hard":[48],"reason":[50,127],"about.":[51],"Second,":[52],"more":[54,62],"differ,":[60],"work":[63],"proof":[66,119],"needs":[67],"do":[69],"bridge":[71],"impedance":[73],"mismatch.":[74],"These":[75],"problems":[76,90],"increase":[77],"effort":[79],"complexity":[81],"of":[82,172,195,202,204,228],"proofs.":[84],"Existing":[85],"theories":[87],"address":[88],"these":[89],"by":[91,225],"deriving":[92],"both":[93],"from":[99,200],"same":[101],"artifact,":[102],"often":[103],"called":[104],"generic":[105,109,136],"interpreter":[106,110,137],".":[107],"A":[108],"provides":[111],"common":[113],"structure":[114],"along":[115],"can":[120,141,209],"be":[121,142,210],"composed,":[122],"avoids":[124],"having":[125],"about":[128],"as":[131,144],"whole.":[133],"restricts":[138],"derived,":[143],"all":[145,203],"derived":[146],"must":[148],"roughly":[149],"follow":[150],"execution":[153],"order.":[154],"To":[155],"lift":[156],"this":[157],"restriction,":[158],"we":[159],"develop":[160],"theory":[163,224],"blackboard":[166],"architecture,":[168],"capable":[171],"describing":[173],"backward,":[174],"demand-driven,":[175],"summary-based":[177],"analyses.":[178],"The":[179],"architecture":[180],"describes":[181],"with":[184],"small":[185],"independent":[186],"modules,":[187],"communicate":[189],"via":[190],"central":[192],"store.":[193],"Soundness":[194],"compound":[197],"follows":[199],"its":[205],"modules.":[206],"Furthermore,":[207],"modules":[208,216],"proven":[211],"independently,":[213],"even":[214],"though":[215],"depend":[217],"on":[218],"each":[219],"other.":[220],"We":[221],"evaluate":[222],"our":[223],"four":[229],"analyses:":[230],"pointer":[232],"call-graph":[234],"analysis,":[235,238,241],"reflection":[237],"immutability":[240],"demand-driven":[244],"reaching":[245],"definitions":[246],"analysis.":[247]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}