21.
Babati, Bence ; Horváth, Gábor ; Májer, Viktor ; Pataki, Norbert
Static Analysis Toolset with Clang
In: Gábor, Kusper; Gergely, Kovásznai; Roland, Kunkli; Sándor, Király; Tibor, Tómács (szerk.) Proceedings of the 10th International Conference on Applied Informatics
Eger, Magyarország : Eszterházy Károly Egyetem (2018) pp. 23-29. , 7 p.
DOI Teljes dokumentum
Közlemény:30307127 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 17 | Független: 5 | Függő: 12 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 10 | WoS/Scopus jelölt: 10 | DOI jelölt: 11
Konferenciaközlemény (Könyvrészlet) | Tudományos[30307127] [Nyilvános]
Nyilvános idéző összesen: 17, Független: 5, Függő: 12, Nem jelölt: 0
22.
Gábor, Horváth ; Norbert, Pataki
Transparent functors for the C++ Standard Template Library
CEUR WORKSHOP PROCEEDINGS 2046 pp. 96-101. , 6 p. (2018)
Scopus Teljes dokumentum
Közlemény:27079068 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 4 | Független: 1 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[27079068] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 1, Függő: 3, Nem jelölt: 0
23.
R, Kovacs ; G., Horvath
An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer
STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 63 : 2 pp. 88-101. , 14 p. (2018)
DOI EDIT
Közlemény:3389415 Egyeztetett Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[3389415] [Egyeztetett]
24.
Gábor, Horváth ; Dániel, Krupp ; Tibor, Brunner ; Gábor, Márton ; Péter, Szécsi ; Zoltán, Gera
Cross Translation Unit Analysis in Clang Static Analyzer Qualitative Evaluation on C/C++ projects (2018)
Megjelenés: Egyesült Királyság / Anglia,
Közlemény:3384875 Nyilvános Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[3384875] [Nyilvános]
25.
Gábor, Horváth ; Réka, Kovács ; Péter, Szécsi
Effortless Differential Analysis of Clang Static Analyzer Changes (2018)
European LLVM Developers Meeting, Megjelenés: Egyesült Királyság / Anglia,
Közlemény:3384872 Admin láttamozott Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[3384872] [Admin láttamozott]
26.
Gábor, Horváth ; Péter, Szécsi ; Zoltán, Gera ; Dániel, Krupp ; Norbert, Pataki
Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages (2018)
Poszter, 40th International Conference on Software Engineering 2018, ICSE 2018,
Közlemény:3380867 Nyilvános Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[3380867] [Nyilvános]
27.
Gábor, Horváth ; Péter, Szécsi ; Zoltán, Gera ; Dániel, Krupp ; Norbert, Pataki
Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages
In: Ivica, Crnkovic; Marsha, Chechik; Mark, Harman (szerk.) Proceedings of the 40th International Conference on Software Engineering Companion
New York, Amerikai Egyesült Államok : ACM Press (2018) pp. 428-429. , 2 p.
DOI IEEE Xplore ACM Digital Library WoS Scopus
Közlemény:3376954 Nyilvános Forrás Könyvrészlet (Absztrakt / Kivonat ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Absztrakt / Kivonat (Könyvrészlet) | Tudományos[3376954] [Nyilvános]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
28.
Dániel, Krupp ; Zoltán, Porkoláb ; György, Orbán ; Gábor, Horváth ; Zoltán, Gera ; Péter, Szécsi ; Dániel, Krupp (szerk.) ; Zoltán, Porkoláb (szerk.) ; György, Orbán (szerk.) ; Gábor, Horváth (szerk.) et al.
Cross Translational Unit Analysis in Clang Static Analyzer: Prototype and measurements pp. 1-7. , 7 p. (2017)
EuroLLVM 2017 konferencia cikke és előadása, Megjelenés: Németország,
Közlemény:3299858 Nyilvános Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[3299858] [Nyilvános]
29.
Horváth, Gábor ; Pataki, Norbert
Haladó fordítóprogramok tárgy oktatása
In: Aradi, Bernadett; Bujdosó, Gyöngyi; Horváth, Géza; Szokol, Patrícia (szerk.) Informatika a felsőoktatásban
Debrecen, Magyarország : Debreceni Egyetem Informatikai Kar (2017) 461 p. pp. 203-208. , 6 p.
Közlemény:3258922 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3258922] [Admin láttamozott]
30.
Gábor, Horváth ; Norbert, Pataki ; Márton, Balassi
Code Generation in Serializers and Comparators of Apache Flink
In: Mario, Wolczko Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
New York, Amerikai Egyesült Államok : ACM Press (2017) 39 p. Paper: 5 , 6 p.
DOI ACM Digital Library WoS Scopus
Közlemény:3245042 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 3 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[3245042] [Admin láttamozott]
Nyilvános idéző összesen: 6, Független: 3, Függő: 3, Nem jelölt: 0
2024-05-15 20:52