Bence Babati

On the Validated Usage of the C++ Standard Template Library

Gábor Horváth, Norbert Pataki, Bence Babati, 2019, BCI.

C/C++ Preprocessing with modern data storage devices

Norbert Pataki, Bence Babati, Zoltan Porkolab, 2015, 2015 IEEE 13th International Scientific Conference on Informatics.

Analysis of Include Dependencies in C++ Source Code

Norbert Pataki, Bence Babati, 2017, FedCSIS.

Static Analysis Toolset with Clang

Norbert Pataki, Bence Babati, Gábor Horváth, 2018 .

Comprehensive performance analysis of C++ smart pointers

Norbert Pataki, Bence Babati, 2017 .

Static analysis of functors’ mathematical properties in C++ source code

Norbert Pataki, Bence Babati, 2019 .