{"id":"https://openalex.org/W4407257996","doi":"https://doi.org/10.1007/s10270-024-01258-x","title":"Networcat: applying analysis techniques of shared memory software on message-passing distributed systems","display_name":"Networcat: applying analysis techniques of shared memory software on message-passing distributed systems","publication_year":2025,"publication_date":"2025-02-07","ids":{"openalex":"https://openalex.org/W4407257996","doi":"https://doi.org/10.1007/s10270-024-01258-x"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-024-01258-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01258-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01258-x.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01258-x.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045663730","display_name":"Levente Bajczi","orcid":"https://orcid.org/0000-0002-6551-5860"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Levente Bajczi","raw_affiliation_strings":["Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tud\u00f3sok k\u00f6r\u00fatja, Budapest, 1117, Hungary"],"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tud\u00f3sok k\u00f6r\u00fatja, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062314301","display_name":"Vince Moln\u00e1r","orcid":"https://orcid.org/0000-0002-8204-7595"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Vince Moln\u00e1r","raw_affiliation_strings":["Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tud\u00f3sok k\u00f6r\u00fatja, Budapest, 1117, Hungary"],"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tud\u00f3sok k\u00f6r\u00fatja, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045663730"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01861367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"5","first_page":"1495","last_page":"1514"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"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.9993000030517578,"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/computer-science","display_name":"Computer science","score":0.8697324991226196},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6246359348297119},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5959945917129517},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.49828314781188965},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4690437912940979},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.44342225790023804},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3223115801811218},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.17847338318824768}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8697324991226196},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6246359348297119},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5959945917129517},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.49828314781188965},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4690437912940979},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.44342225790023804},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3223115801811218},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.17847338318824768},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10270-024-01258-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01258-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01258-x.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10270-024-01258-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01258-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01258-x.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3232523729","display_name":null,"funder_award_id":"2022-1.2.4-EUREKA-2023-00013","funder_id":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap"},{"id":"https://openalex.org/G8730038352","display_name":null,"funder_award_id":"UNKP-24-3-BME-213","funder_id":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap"}],"funders":[{"id":"https://openalex.org/F4320311358","display_name":"Budapesti M\u0171szaki \u00e9s Gazdas\u00e1gtudom\u00e1nyi Egyetem","ror":"https://ror.org/02w42ss30"},{"id":"https://openalex.org/F4320335908","display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap","ror":null},{"id":"https://openalex.org/F4320336675","display_name":"National Research, Development and Innovation Office","ror":null},{"id":"https://openalex.org/F4320338388","display_name":"Eurostars","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4407257996.pdf","grobid_xml":"https://content.openalex.org/works/W4407257996.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W121297392","https://openalex.org/W189341565","https://openalex.org/W1749713674","https://openalex.org/W1840610064","https://openalex.org/W2065180040","https://openalex.org/W2091776255","https://openalex.org/W2123506780","https://openalex.org/W2128932399","https://openalex.org/W2167814583","https://openalex.org/W2274611295","https://openalex.org/W2507977852","https://openalex.org/W2625764229","https://openalex.org/W2626631502","https://openalex.org/W2738891045","https://openalex.org/W2776248742","https://openalex.org/W2778029444","https://openalex.org/W2910332906","https://openalex.org/W2953899265","https://openalex.org/W2956182160","https://openalex.org/W2979761551","https://openalex.org/W3106753174","https://openalex.org/W4211008702","https://openalex.org/W4236546623","https://openalex.org/W4292202268","https://openalex.org/W4296313421","https://openalex.org/W4366451581","https://openalex.org/W4387092552","https://openalex.org/W4393942804","https://openalex.org/W6931722066"],"related_works":["https://openalex.org/W321339674","https://openalex.org/W2019062800","https://openalex.org/W2899146177","https://openalex.org/W2167421399","https://openalex.org/W2616010075","https://openalex.org/W1507160831","https://openalex.org/W2186490196","https://openalex.org/W2059943739","https://openalex.org/W4243156926","https://openalex.org/W2162969183"],"abstract_inverted_index":{"Abstract":[0],"Communication":[1],"models":[2,129,149],"are":[3],"a":[4,35,51,66,103,112,134,159],"key":[5],"aspect":[6],"in":[7,65,130],"the":[8,20,45,55,90,120,122,154,173,187,196,221,229],"design":[9],"and":[10,74,86,93,125,145,165,178,180],"implementation":[11],"of":[12,22,47,58,62,82,97,115,127,162,176,198,231],"distributed":[13,131,208,216],"system":[14,217],"architectures.":[15],"Application":[16],"logic":[17],"must":[18],"consider":[19],"guarantees":[21,46,64],"these":[23,63,117],"models,":[24],"which":[25],"fundamentally":[26],"influence":[27],"its":[28,184,236],"correctness.":[29],"Modern":[30],"multi-core":[31],"processor":[32],"architectures":[33],"face":[34],"similar":[36],"problem":[37],"when":[38],"it":[39],"comes":[40],"to":[41,71,76,102,153,186,238],"accessing":[42],"shared":[43,204],"memory:":[44],"an":[48],"architecture":[49],"have":[50],"fundamental":[52],"impact":[53],"on":[54,80,172,207],"observable":[56],"behavior":[57],"software.":[59],"The":[60,106],"formalization":[61],"declarative":[67],"way":[68],"has":[69],"led":[70],"powerful":[72],"tools":[73,201],"algorithms":[75],"define":[77],"reusable":[78,163],"constraints":[79],"patterns":[81,164],"memory":[83,108,205],"access":[84],"events":[85],"their":[87],"relationships,":[88],"enabling":[89],"efficient":[91],"description":[92],"automatic":[94],"formal":[95],"analysis":[96,126],"software":[98],"properties":[99],"with":[100],"respect":[101],"specific":[104],"architecture.":[105],"Cat":[107,155],"modeling":[109,124],"language":[110],"provides":[111],"standard":[113,160],"means":[114],"specifying":[116],"constraints.":[118],"Despite":[119],"parallels,":[121],"axiomatic":[123],"communication":[128,148],"systems":[132],"remain":[133],"relatively":[135],"unexplored":[136],"area.":[137],"In":[138],"this":[139,143,212],"paper,":[140],"we":[141,181],"address":[142],"gap":[144],"demonstrate":[146,166],"how":[147],"can":[150],"be":[151],"mapped":[152],"language.":[156],"We":[157,210],"create":[158],"library":[161],"our":[167],"approach,":[168],"called":[169],"NetworCat":[170],",":[171],"simple":[174],"examples":[175],"UDP":[177],"TCP,":[179],"also":[182,226],"present":[183],"applicability":[185],"vastly":[188],"configurable":[189],"OMG-DDS":[190],"service.":[191],"This":[192],"adaptation-based":[193],"approach":[194],"enables":[195],"use":[197],"ever-improving":[199],"verification":[200,224,233],"built":[202],"for":[203,223],"concurrency":[206],"systems.":[209],"believe":[211],"not":[213],"only":[214],"benefits":[215],"analyses":[218],"by":[219,234],"broadening":[220],"toolset":[222],"but":[225],"positively":[227],"impacts":[228],"field":[230],"memory-model-aware":[232],"widening":[235],"audience":[237],"another":[239],"domain.":[240]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}