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
Közlemény:34019576 Nyilvános Forrás Duplumgyanú Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[34019576] [Nyilvános]
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
Közlemény:33540927 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[33540927] [Admin láttamozott]
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
Közlemény:32723245 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[32723245] [Admin láttamozott]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
4.
Horváth, Gábor
Static Analyses for C++ in the Presence of Separate Compilation 162 p.
Eötvös Loránd Tudományegyetem (ELTE), Informatika Doktori Iskola, Pataki Norbert Disszertáció benyújtásának éve: 2021, Védés éve: 2021 Megjelenés/Fokozatszerzés éve: 2021
DOI ELTE Könyvtára EDIT
Közlemény:32644144 Egyeztetett Forrás Idéző Disszertáció (PhD ) Tudományos
PhD (Disszertáció) | Tudományos[32644144] [Egyeztetett]
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
Közlemény:31819027 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[31819027] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
6.
Gábor, Horváth ; Norbert, Pataki
Synthesizing Same-Language Summaries for Symbolic Execution
In: Zoltán, Horváth; Adrian, Petruşel (szerk.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Budapest, Magyarország : ELTE Informatikai Kar, Babes-Bolyai Tudományegyetem, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Babes-Bolyai Tudományegyetem (2020) 201 p. pp. 78-79. , 2 p.
Közlemény:31622847 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31622847] [Admin láttamozott]
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, Amerikai Egyesült Államok : ACM Press (2019) pp. 32-34. , 3 p.
DOI Scopus Egyéb URL
Közlemény:30846360 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[30846360] [Nyilvános]
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. (szerk.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York, Amerikai Egyesült Államok : Association for Computing Machinery (2019) pp. 1-6. , 6 p.
DOI Egyéb URL
Közlemény:30824520 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[30824520] [Egyeztetett]
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. (szerk.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York, Amerikai Egyesült Államok : Association for Computing Machinery (2019) Paper: 23 , 8 p.
DOI ACM Digital Library Scopus Egyéb URL
Közlemény:30796615 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 0 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[30796615] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 0, Függő: 6, Nem jelölt: 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. (szerk.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York, Amerikai Egyesült Államok : Association for Computing Machinery (2019) Paper: 21 , 7 p.
DOI ACM Digital Library Scopus Egyéb URL
Közlemény:30796594 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 2 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[30796594] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 2, Függő: 2, Nem jelölt: 0
2024-04-19 20:35