1.
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]
2.
Horvath, Gabor ; Kovacs, Reka Nikolett ; Szecsi, Peter
Report on the Differential Testing of Static Analyzers
ACTA CYBERNETICA 25 : 4 pp. 781-795. , 15 p. (2022)
DOI
Publication:33540927 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33540927] [Admin approved]
3.
Szécsi, Péter György ; Horváth, Gábor ; Porkoláb, Zoltán
Improved Loop Execution Modeling in the Clang Static Analyzer
ACTA CYBERNETICA 25 : 4 pp. 909-921. , 13 p. (2022)
DOI Egyéb URL
Publication:32723245 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[32723245] [Admin approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
4.
Horváth, Gábor
Static Analyses for C++ in the Presence of Separate Compilation 162 p.
Eötvös Loránd University, Informatika Doktori Iskola, Pataki Norbert Dissertation submission year: 2021, Accepted: 2021 Published/defended: 2021
DOI ELTE Könyvtára EDIT
Publication:32644144 Validated Core Citing Thesis (PhD ) Scientific
PhD (Thesis) | Scientific[32644144] [Validated]
5.
Gábor, Horváth ; Norbert, Pataki
IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS
ACTA ELECTROTECHNICA ET INFORMATICA 20 : 4 pp. 10-18. , 9 p. (2020)
DOI Teljes dokumentum
Publication:31819027 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[31819027] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
6.
Gábor, Horváth ; Norbert, Pataki
Synthesizing Same-Language Summaries for Symbolic Execution
In: Zoltán, Horváth; Adrian, Petruşel (eds.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Bp, Hungary : ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar, Universitatea Babeș-Bolyai UBB, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Universitatea Babeș-Bolyai UBB (2020) 201 p. pp. 78-79. , 2 p.
Publication:31622847 Admin approved Core Citing Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31622847] [Admin approved]
7.
Horváth, Gábor
Retaining semantic information in the static analysis of real-world software
In: Association, for Computing Machinery Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH Companion 2019
New York City, United States of America : ACM Press (2019) pp. 32-34. , 3 p.
DOI Scopus Egyéb URL
Publication:30846360 Published Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[30846360] [Approved]
8.
Kovács, Réka ; Horváth, Gábor ; Porkoláb, Zoltán
Detecting C++ Lifetime Errors with Symbolic Execution
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (eds.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York City, United States of America : Association for Computing Machinery (2019) pp. 1-6. , 6 p.
DOI Other URL
Publication:30824520 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[30824520] [Validated]
9.
Bence, Babati ; Gábor, Horváth ; Norbert, Pataki ; Attila, Páter-Részeg
On the Validated Usage of the C++ Standard Template Library
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (eds.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York City, United States of America : Association for Computing Machinery (2019) Paper: 23 , 8 p.
DOI ACM Digital Library Scopus Other URL
Publication:30796615 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 0 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[30796615] [Validated]
All citations+mentions: 6, External citations: 0, Self citations: 6, Unhandled citations: 0
10.
Gábor, Horváth ; Norbert, Pataki
Categorization of C++ Classes for Static Lifetime Analysis
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (eds.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York City, United States of America : Association for Computing Machinery (2019) Paper: 21 , 7 p.
DOI ACM Digital Library Scopus Other URL
Publication:30796594 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 2 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[30796594] [Validated]
All citations+mentions: 4, External citations: 2, Self citations: 2, Unhandled citations: 0
2024-04-19 01:30