@inproceedings{MTMT:34156166,
	title = {The Role of Implementation-Specific Static Analysis},
	url = {https://m2.mtmt.hu/api/publication/34156166},
	author = {Babati, Bence and Pataki, Norbert},
	booktitle = {2023 International Conference on Software and System Engineering (ICoSSE)},
	doi = {10.1109/ICoSSE58936.2023.00009},
	unique-id = {34156166},
	year = {2023},
	pages = {1-6},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:32305034,
	title = {EVALUATION OF PREDICATES IN THE C++ STANDARD TEMPLATE LIBRARY},
	url = {https://m2.mtmt.hu/api/publication/32305034},
	author = {Babati, Bence and Pataki, Norbert},
	journal-iso = {ANN UNIV SCI BP R EÖTVÖS NOM SECT COMPUT},
	journal = {ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA},
	volume = {52},
	unique-id = {32305034},
	issn = {0138-9491},
	year = {2021},
	pages = {57-72},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:31783779,
	title = {A static analysis method for safe comparison functors in C++},
	url = {https://m2.mtmt.hu/api/publication/31783779},
	author = {Babati, Bence and Pataki, Norbert},
	doi = {10.33039/ami.2020.12.003},
	journal-iso = {ANN MATH INFORM},
	journal = {ANNALES MATHEMATICAE ET INFORMATICAE},
	volume = {52},
	unique-id = {31783779},
	issn = {1787-5021},
	year = {2020},
	eissn = {1787-6117},
	pages = {5-18},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@CONFERENCE{MTMT:31622865,
	title = {The Role of Implementation-specific Static Analysis},
	url = {https://m2.mtmt.hu/api/publication/31622865},
	author = {Babati, Bence and Pataki, Norbert},
	booktitle = {Collection of Abstracts},
	unique-id = {31622865},
	year = {2020},
	pages = {17-18},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@misc{MTMT:31152682,
	title = {Static Analysis of Multithreaded C++ Code},
	url = {https://m2.mtmt.hu/api/publication/31152682},
	author = {Babati, Bence and Fülöp, Endre and Pataki, Norbert},
	unique-id = {31152682},
	year = {2020},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:30796615,
	title = {On the Validated Usage of the C++ Standard Template Library},
	url = {https://m2.mtmt.hu/api/publication/30796615},
	author = {Babati, Bence and Horváth, Gábor and Pataki, Norbert and Attila, Páter-Részeg},
	booktitle = {Proceedings of the 9th Balkan Conference on Informatics - BCI'19},
	doi = {10.1145/3351556.3351570},
	unique-id = {30796615},
	year = {2019},
	orcid-numbers = {Horváth, Gábor/0000-0002-0834-0996; Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:30746433,
	title = {Static analysis of functors’ mathematical properties in C++ source code},
	url = {https://m2.mtmt.hu/api/publication/30746433},
	author = {Babati, Bence and Pataki, Norbert},
	booktitle = {Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)},
	doi = {10.1063/1.5114355},
	unique-id = {30746433},
	year = {2019},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:3283737,
	title = {Comprehensive Performance Analysis of C++ Smart Pointers},
	url = {https://m2.mtmt.hu/api/publication/3283737},
	author = {Babati, Bence and Pataki, Norbert},
	doi = {10.1556/606.2017.12.3.14},
	journal-iso = {POLLACK PERIODICA},
	journal = {POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES},
	volume = {12},
	unique-id = {3283737},
	issn = {1788-1994},
	year = {2017},
	eissn = {1788-3911},
	pages = {157-166},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:3272050,
	title = {Analysis of Include Dependencies in C++ Source Code},
	url = {https://m2.mtmt.hu/api/publication/3272050},
	author = {Babati, Bence and Pataki, Norbert},
	doi = {10.15439/2017F358},
	journal-iso = {ACSIS ANNALS COMP SCI INFORMATION SYST},
	journal = {ACSIS-ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS},
	volume = {13},
	unique-id = {3272050},
	issn = {2300-5963},
	year = {2017},
	pages = {149-156},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@misc{MTMT:3177281,
	title = {Static Analysis Toolset with Clang},
	url = {https://m2.mtmt.hu/api/publication/3177281},
	author = {Babati, Bence and Horváth, Gábor and Viktor, Májer and Pataki, Norbert},
	unique-id = {3177281},
	year = {2017},
	orcid-numbers = {Horváth, Gábor/0000-0002-0834-0996; Pataki, Norbert/0000-0002-7519-3367}
}