1.
Umann, Kristóf ; Porkoláb, Zoltán
A Case Study on the Quality of Static Analysis Bug Reports
CEUR WORKSHOP PROCEEDINGS 3588 pp. 74-79. , 6 p. (2023)
Teljes dokumentum
Publication:34437958 Admin approved Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34437958] [Admin approved]
2.
Brunner, Tibor ; Cserép, Máté ; Fekete, Anett ; Mészáros, Mónika ; Porkoláb, Zoltán ✉
Towards Better Tool Support for Code Comprehension
In: Porkoláb, Zoltán; Zsók, Viktória (eds.) Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Cham, Switzerland : Springer International Publishing (2023) 393 p. pp. 165-201. Paper: Chapter 6 , 37 p.
DOI Other URL
Publication:34205378 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34205378] [Admin approved]
3.
Porkoláb, Zoltán (eds.) ; Zsók, Viktória (eds.)
Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Cham, Switzerland : Springer International Publishing (2023) , 393 p.
DOI ISBN: 9783031428326 ISBN: 9783031428333 Other URL
Publication:34205374 Admin approved Core Book (Conference proceedings ) Scientific
Conference proceedings (Book) | Scientific[34205374] [Admin approved]
4.
Fekete, Anett ; Kovács, Benedek ; Porkoláb, Zoltán
Automatic Dependency Tracking in Microservice-based Systems Using Static Analysis in Helm Charts
In: 2023 International Conference on Software, Telecommunications and Computer Networks (SoftCOM)
Institute of Electrical and Electronics Engineers (2023) pp. 1-7. , 7 p.
DOI Other URL
Publication:34189198 Validated Core Citing Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[34189198] [Validated]
5.
Fekete, Anett ; Porkoláb, Zoltán
Field Experiment of the Memory Retention of Programmers Regarding Source Code
STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 68 : 1 pp. 71-82. , 12 p. (2023)
DOI Other URL
Publication:34107990 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34107990] [Validated]
6.
Benjámin, Barth ; Richárd, Szalay ✉ ; Zoltán, Porkoláb
A Tag-Based Solution for Safer Parallel STL Usage
ACTA ELECTROTECHNICA ET INFORMATICA 23 : 2 pp. 19-27. Paper: 2023-0008 , 9 p. (2023)
DOI Teljes dokumentum
Publication:34090708 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34090708] [Validated]
7.
Umann, Kristóf ; Porkoláb, Zoltán
A Survey of Dataflow Analyses in Clang
In: 12th International Conference on Applied Informatics (ICAI 2023)
Eger, Hungary : EKKE (2023) pp. 1-3. , 3 p.
Other URL
Publication:34027987 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[34027987] [Admin approved]
8.
Benjámin, Barth ; Richárd, Szalay ; Zoltán, Porkoláb
Lightweight wrappers for conscious std::transform_reduce operation safety , 5 p. (2023)
Country: United States of America,
Teljes dokumentum
Publication:33862397 Admin approved Core Citing Miscellaneous (Radio, TV program, video ) Popular science
Radio, TV program, video (Miscellaneous) | Popular science[33862397] [Admin approved]
9.
Dániel, Balázs Rátai ; Zoltán, Horváth ; Zoltán, Porkoláb ; Melinda, Tóth
Evaluation of the Traquest model
In: Zalán, Bodó (eds.) Proceedings of the 14th Joint Conference on Mathematics and Computer Science
(2022) pp. 1-3. , 3 p.
Publication:34148405 Published Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[34148405] [Approved]
10.
Umann, Kristóf ; Porkoláb, Zoltán ; Horváth, Gábor
Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses Using Dataflow Analyses
(2022) , 4 p.
Egyéb URL
Publication:34019576 Published Core Suspect Conference proceedings Scientific
Conference proceedings | Scientific[34019576] [Approved]
2024-04-24 12:10