TY  - CHAP
AU  - Babati, Bence
AU  - Pataki, Norbert
TI  - The Role of Implementation-Specific Static Analysis
T2  - 2023 International Conference on Software and System Engineering (ICoSSE)
PB  - IEEE
SN  - 9798350324242
PY  - 2023
SP  - 1
EP  - 6
PG  - 6
DO  - 10.1109/ICoSSE58936.2023.00009
UR  - https://m2.mtmt.hu/api/publication/34156166
ID  - 34156166
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Babati, Bence
AU  - Pataki, Norbert
TI  - EVALUATION OF PREDICATES IN THE C++ STANDARD TEMPLATE LIBRARY
JF  - ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA
J2  - ANN UNIV SCI BP R EÖTVÖS NOM SECT COMPUT
VL  - 52
PY  - 2021
SP  - 57
EP  - 72
PG  - 16
SN  - 0138-9491
UR  - https://m2.mtmt.hu/api/publication/32305034
ID  - 32305034
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Babati, Bence
AU  - Pataki, Norbert
TI  - A static analysis method for safe comparison functors in C++
JF  - ANNALES MATHEMATICAE ET INFORMATICAE
J2  - ANN MATH INFORM
VL  - 52
PY  - 2020
SP  - 5
EP  - 18
PG  - 14
SN  - 1787-5021
DO  - 10.33039/ami.2020.12.003
UR  - https://m2.mtmt.hu/api/publication/31783779
ID  - 31783779
N1  - 3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP Innovatív Informatikai és Infokommunikációs Megoldásokat Megalapozó Tematikus Kutatási Együttműködések
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Babati, Bence
AU  - Pataki, Norbert
ED  - Horváth, Zoltán
ED  - Adrian, Petruşel
TI  - The Role of Implementation-specific Static Analysis
T2  - Collection of Abstracts
PB  - Babes-Bolyai Tudományegyetem
C1  - Budapest
PY  - 2020
SP  - 17
EP  - 18
PG  - 2
UR  - https://m2.mtmt.hu/api/publication/31622865
ID  - 31622865
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Babati, Bence
AU  - Fülöp, Endre
AU  - Pataki, Norbert
TI  - Static Analysis of Multithreaded C++ Code
PY  - 2020
UR  - https://m2.mtmt.hu/api/publication/31152682
ID  - 31152682
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Babati, Bence
AU  - Horváth, Gábor
AU  - Pataki, Norbert
AU  - Attila, Páter-Részeg
ED  - Eleftherakis, G.
ED  - Lazarova, M.
ED  - Aleksieva-Petrova, A.
ED  - Tasheva, A.
TI  - On the Validated Usage of the C++ Standard Template Library
T2  - Proceedings of the 9th Balkan Conference on Informatics - BCI'19
PB  - Association for Computing Machinery
CY  - New York, New York
SN  - 9781450371933
PY  - 2019
PG  - 8
DO  - 10.1145/3351556.3351570
UR  - https://m2.mtmt.hu/api/publication/30796615
ID  - 30796615
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Babati, Bence
AU  - Pataki, Norbert
ED  - Theodore, Simos
ED  - Charalambos, Tsitouras
TI  - Static analysis of functors’ mathematical properties in C++ source code
T2  - Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)
PB  - American Institute of Physics (AIP)
CY  - College Park (MD)
SN  - 9780735418547
T3  - AIP Conference Proceedings, ISSN 0094-243X ; 2116.
PY  - 2019
PG  - 4
DO  - 10.1063/1.5114355
UR  - https://m2.mtmt.hu/api/publication/30746433
ID  - 30746433
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Babati, Bence
AU  - Pataki, Norbert
TI  - Comprehensive Performance Analysis of C++ Smart Pointers
JF  - POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES
J2  - POLLACK PERIODICA
VL  - 12
PY  - 2017
IS  - 3
SP  - 157
EP  - 166
PG  - 10
SN  - 1788-1994
DO  - 10.1556/606.2017.12.3.14
UR  - https://m2.mtmt.hu/api/publication/3283737
ID  - 3283737
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Babati, Bence
AU  - Pataki, Norbert
TI  - Analysis of Include Dependencies in C++ Source Code
JF  - ACSIS-ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS
J2  - ACSIS ANNALS COMP SCI INFORMATION SYST
VL  - 13
PY  - 2017
SP  - 149
EP  - 156
PG  - 8
SN  - 2300-5963
DO  - 10.15439/2017F358
UR  - https://m2.mtmt.hu/api/publication/3272050
ID  - 3272050
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Babati, Bence
AU  - Horváth, Gábor
AU  - Viktor, Májer
AU  - Pataki, Norbert
TI  - Static Analysis Toolset with Clang
PY  - 2017
UR  - https://m2.mtmt.hu/api/publication/3177281
ID  - 3177281
LA  - English
DB  - MTMT
ER  -