Source language representation of function summaries in static analysis. - Gábor Horváth 005; Norbert Pataki (ICOOOLPS@ECOOP, 2016)

Code Generation in Serializers and Comparators of Apache Flink. - Gábor Horváth 005; Norbert Pataki; Márton Balassi (ICOOOLPS@ECOOP, 2017)

Implementation and evaluation of cross translation unit symbolic execution for C family languages. - Gábor Horváth 005; Péter Szécsi; Zoltán Gera; Dániel Krupp; Norbert Pataki (ICSE (Companion Volume), 2018)

[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer. - Gábor Horváth 005; Péter Szécsi; Zoltán Gera; Dániel Krupp; Norbert Pataki (SCAM, 2018)

On the Validated Usage of the C++ Standard Template Library. - Bence Babati; Gábor Horváth 005; Norbert Pataki; Attila Páter-Részeg (BCI, 2019)

Categorization of C++ Classes for Static Lifetime Analysis. - Gábor Horváth 005; Norbert Pataki (BCI, 2019)

Detecting C++ Lifetime Errors with Symbolic Execution. - Réka Kovács; Gábor Horváth 005; Zoltán Porkoláb (BCI, 2019)

Retaining semantic information in the static analysis of real-world software. - Gábor Horváth 005 (SPLASH (Companion Volume), 2019)

Static Analyses for C++ in the Presence of Separate Compilation - Gábor Horváth 005 (2021)

Report on the Differential Testing of Static Analyzers. - Gábor Horváth 005; Réka Nikolett Kovács; Péter Szécsi (Acta Cybern., 2021)

Improved Loop Execution Modeling in the Clang Static Analyzer. - Péter György Szécsi; Gábor Horváth 005; Zoltán Porkoláb (Acta Cybern., 2021)

Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses. - Kristóf Umann; Gábor Horváth 005; Zoltán Porkoláb (Acta Cybern., 2024)

Scaling Symbolic Execution to Large Software Systems. - Gábor Horváth 005; Réka Kovács; Zoltán Porkoláb (CoRR, 2024)

Static Code Analysis with CodeChecker. - Gábor Horváth 005; Réka Kovács; Richárd Szalay; Zoltán Porkoláb; Gergely Orbán; Dániel Krupp (CoRR, 2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker. - Gábor Horváth 005; Réka Kovács; Richárd Szalay; Zoltán Porkoláb (CoRR, 2024)

Detecting lifetime errors of std::string_view objects in C++. - Réka Kovács; Gábor Horváth 005; Zoltán Porkoláb (CoRR, 2024)