{"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"],"raw_orcid":"https://orcid.org/0000-0002-6551-5860","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":true,"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"],"raw_orcid":"https://orcid.org/0000-0002-8204-7595","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":1,"corresponding_author_ids":["https://openalex.org/A5045663730","https://openalex.org/A5062314301"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":{"value":3090,"currency":"USD","value_usd":3090},"apc_paid":{"value":3090,"currency":"USD","value_usd":3090},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0170068,"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,172,186,195,220,228],"design":[9],"and":[10,74,86,93,125,145,165,177,179],"implementation":[11],"of":[12,22,47,58,62,82,97,115,127,162,175,197,230],"distributed":[13,131,207,215],"system":[14,216],"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,183,235],"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,185,237],"accessing":[42],"shared":[43,203],"memory:":[44],"an":[48],"architecture":[49],"have":[50],"fundamental":[52],"impact":[53],"on":[54,80,171,206],"observable":[56],"behavior":[57],"software.":[59],"The":[60,106],"formalization":[61],"declarative":[67],"way":[68],"has":[69],"led":[70],"powerful":[72],"tools":[73,200],"algorithms":[75],"define":[77],"reusable":[78,163],"constraints":[79],"patterns":[81,164],"memory":[83,108,204],"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,211],"paper,":[140],"we":[141,180],"address":[142],"gap":[144],"demonstrate":[146,166],"how":[147],"can":[150],"be":[151],"mapped":[152],"language.":[156],"We":[157,209],"create":[158],"library":[161],"our":[167],"approach,":[168],"called":[169],"NetworCat,":[170],"simple":[173],"examples":[174],"UDP":[176],"TCP,":[178],"also":[181,225],"present":[182],"applicability":[184],"vastly":[187],"configurable":[188],"OMG-DDS":[189],"service.":[190],"This":[191],"adaptation-based":[192],"approach":[193],"enables":[194],"use":[196],"ever-improving":[198],"verification":[199,223,232],"built":[201],"for":[202,222],"concurrency":[205],"systems.":[208],"believe":[210],"not":[212],"only":[213],"benefits":[214],"analyses":[217],"by":[218,233],"broadening":[219],"toolset":[221],"but":[224],"positively":[226],"impacts":[227],"field":[229],"memory-model-aware":[231],"widening":[234],"audience":[236],"another":[238],"domain.":[239]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}