https://m2.mtmt.hu/ hun 2026-04-15 19:43 JournalArticle 36253186 VALIDATED true Special Issue of the 14th Conference of PhD Students in Computer Science 0 false 2026-02-24T15:11:25.593+0000 2025-10-10T08:48:56.874+0000 2025-07-16T19:45:09.435+0000 true 10012498 Porkoláb Zoltán /api/author/10012498 Author true 10012498 2025-10-10T08:48:43.835+0000 2025-10-10T08:48:43.835+0000 2025-10-10T08:48:53.089+0000 true 10015207 Tamássyné T. Zsuzsa /api/admin/10015207 Admin true 10015207 2025-10-10T08:48:56.879+0000 true 10015207 Tamássyné T. Zsuzsa /api/admin/10015207 Admin true 10015207 true false true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType 101 true 10000059 true 1 /api/category/1 Category true 1 Süli, Patrik P. Multithreading Atomicity: Static Analysis Checkers true true /api/journal/10004911 REVIEWED true true 10004911 false 10004911 true 0324-721X 2676-993X Journal FOREIGN 27 2 241 261 241 21 2025 true 325181 /api/conference/325181 true 10004 true 10001 /api/country/10001 Country true 1 /api/city/10004 City true 1015847 Conference true Ensuring thread safety in applications is crucial for preventing subtle and challenging bugs in concurrent programming. This paper presents two algorithmic approaches to improve thread safety through static analysis and to demonstrate their benefits in real life, the authors also implemented them as two detectors in SpotBugs static analyzer. These checkers are designed to identify unsafe usages of shared resources and improper atomic operations in concurrent Java programming, aiming to mitigate common multithreading issues such as race conditions. By emphasizing consistent locking strategies and the correct use of atomic types, the study offers insight into how to improve the reliability of multithreaded applications. true 2025 false true true true true false GOLD 2026-02-24 false https://cyber.bibl.u-szeged.hu/index.php/actcybern 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Q3 false false false false 2025-10-09T08:48:52.875+0000 Alkalmazott Informatikai és Alkalmazott Matemat... (ÓE); Biomatika és Alkalmazott Mesterséges Intelligen... (ÓE / NIK); Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK) 2 10 3 3 0 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 127316252 /api/authorship/127316252 1 0.333 true false true Author 10101235 /api/author/10101235 Süli Patrik Péter true true Süli Patrik P. true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 127316253 /api/authorship/127316253 2 0.33333334 false false false Knoll Judit true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 127316254 /api/authorship/127316254 3 0.33333334 false true false Author 10012498 /api/author/10012498 Porkoláb Zoltán true 10012498 true Porkoláb Zoltán true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 29612832 /api/publicationidentifier/29612832 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.14232/actacyb.311949 https://doi.org/10.14232/actacyb.311949 false true PublicationIdentifier 29979190 /api/publicationidentifier/29979190 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001580355800008 https://www.webofscience.com/wos/woscc/full-record/001580355800008 false true PublicationIdentifier 29818382 /api/publicationidentifier/29818382 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 105014020083 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105014020083 false true Classification 10880 /api/classification/10880 true true SjrRating 11593260 /api/sjrrating/11593260 106 0.74 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1802 /api/classificationexternal/1802 true 1802 true Q3 FROM_LAST_YEAR true true /api/publication/36253186 <div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10101235"><a href="/gui2/?type=authors&mode=browse&sel=10101235" target="_blank">Süli Patrik P. ✉ (<span class="authorship-author-name">Süli Patrik Péter</span> <span class="authorAux-mtmt"> Solution Architect</span>) </a> </span> <span class="author-affil"><span title="Óbudai Egyetem">ÓE</span>/<span title="Neumann János Informatikai Kar">NIK</span>/Biomatika és Alkalmazott Mesterséges Intelligencia Intézet; <span title="Óbudai Egyetem">ÓE</span>/Alkalmazott Informatikai és Alkalmazott Matematikai Doktori Iskola</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Knoll Judit </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10012498"><a href="/gui2/?type=authors&mode=browse&sel=10012498" target="_blank">Porkoláb Zoltán (<span class="authorship-author-name">Porkoláb Zoltán</span> <span class="authorAux-mtmt"> Programozási nyelvek, generatív programozás, sz...</span>) </a> </span> <span class="author-affil"><span title="Eötvös Loránd Tudományegyetem">ELTE</span>/<span title="Informatikai Kar">IK</span>/<span title="Informatikatudományi Intézet">Informtud_I</span>/Programozási Nyelvek és Fordítóprogramok Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;36253186" target="_blank">Multithreading Atomicity: Static Analysis Checkers</a></div> <div> <span class="journal-title">ACTA CYBERNETICA</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0324-721X">0324-721X</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/2676-993X">2676-993X</a>)</span>: <span class="journal-volume">27</span> <span class="journal-issue">2</span> <span class="page"> pp 241-261 </span> <span class="year">(2025)</span> <div class="conference"> 14th Conference of PhD Students in Computer Science. Konferencia helye, ideje: <span class="location">Szeged, Magyarország <span class="conference-date">2024.07.03. - 2024.07.05.</span> (<span class="conference-organizer">Szegedi Tudományegyetem) </div> (Szegedi Tudományegyetem) </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.14232/actacyb.311949" target="_blank" href="https://doi.org/10.14232/actacyb.311949"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001580355800008" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001580355800008"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="105014020083" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105014020083"> Scopus </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Information Systems and Management&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computational Theory and Mathematics&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q4</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Science (miscellaneous)&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q4</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Vision and Pattern Recognition&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q4</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Electrical and Electronic Engineering&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q4</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Management Science and Operations Research&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q4</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Software&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q4</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Theoretical Computer Science&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q4</div> </div></OnlyViewableByAuthor> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36253186</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> Forrás | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData"></span> </div> <div class="lastModified">Utolsó módosítás: 2025.10.10. 10:48 Tamássyné T. Zsuzsa (OE admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Special Issue of the 14th Conference of PhD Students in Computer Science</pre> </div></div>