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 (eds.) Proceedings of the 10th International Conference on Applied Informatics
Eger, Hungary : Eszterházy Károly Egyetem (2018) pp. 23-29. , 7 p.
DOI Teljes dokumentum
Publication:30307127 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 17 | Independent citation: 5 | Self citation: 12 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 10 | WoS/Scopus assigned: 10 | Number of citations with DOI: 11
Conference paper (Chapter in Book) | Scientific[30307127] [Approved]
All citations+mentions: 17, External citations: 5, Self citations: 12, Unhandled citations: 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
Publication:27079068 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 4 | Independent citation: 1 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[27079068] [Validated]
All citations+mentions: 4, External citations: 1, Self citations: 3, Unhandled citations: 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
Publication:3389415 Validated Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[3389415] [Validated]
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)
Country: United Kingdom / England,
Publication:3384875 Published Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[3384875] [Approved]
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, Country: United Kingdom / England,
Publication:3384872 Admin approved Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[3384872] [Admin approved]
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,
Publication:3380867 Published Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[3380867] [Approved]
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 (eds.) Proceedings of the 40th International Conference on Software Engineering Companion
New York City, United States of America : ACM Press (2018) pp. 428-429. , 2 p.
DOI IEEE Xplore ACM Digital Library WoS Scopus
Publication:3376954 Published Core Chapter in Book (Abstract ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Abstract (Chapter in Book) | Scientific[3376954] [Approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 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 (eds.) ; Zoltán, Porkoláb (eds.) ; György, Orbán (eds.) ; Gábor, Horváth (eds.) 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, Country: Germany,
Publication:3299858 Published Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[3299858] [Approved]
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 (eds.) Informatika a felsőoktatásban
Debrecen, Hungary : Debreceni Egyetem Informatikai Kar (2017) 461 p. pp. 203-208. , 6 p.
Publication:3258922 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3258922] [Admin approved]
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 City, United States of America : ACM Press (2017) 39 p. Paper: 5 , 6 p.
DOI ACM Digital Library WoS Scopus
Publication:3245042 Admin approved Core Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 3 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[3245042] [Admin approved]
All citations+mentions: 6, External citations: 3, Self citations: 3, Unhandled citations: 0
2024-05-15 20:15