@CONFERENCE{MTMT:34129966,
	title = {Visualization of Read-Copy-Update synchronization contexts in C code},
	url = {https://m2.mtmt.hu/api/publication/34129966},
	author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert},
	booktitle = {12th International Conference on Applied Informatics (ICAI 2023)},
	unique-id = {34129966},
	year = {2023},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:34091961,
	title = {Visualization of Read-Copy-Update synchronization contexts in C code},
	url = {https://m2.mtmt.hu/api/publication/34091961},
	author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert},
	doi = {10.33039/ami.2023.08.003},
	journal-iso = {ANN MATH INFORM},
	journal = {ANNALES MATHEMATICAE ET INFORMATICAE},
	volume = {58},
	unique-id = {34091961},
	issn = {1787-5021},
	abstract = {The Read-Copy-Update (RCU) mechanism is a way of synchronizing concurrent access to variables with the goal of prioritizing read performance over strict consistency guarantees. The main idea behind this mechanism is that RCU avoids the use of lock primitives while multiple threads try to read and update elements concurrently. In this case, elements are linked together through pointers in a shared data structure. RCU is used in the Linux kernel, but there are user-space libraries which implement the technique as well. One of the user-space solutions is liburcu that is a C language library. Earlier, we defined our code comprehension framework for easing the development of RCU solutions. In this paper, we present our visualization techniques for the Microsoft’s Monaco Editor.},
	year = {2023},
	eissn = {1787-6117},
	pages = {30-40},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:33694652,
	title = {Monaco Support for an Improved Exception Specification in C++},
	url = {https://m2.mtmt.hu/api/publication/33694652},
	author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert},
	doi = {10.58245/ipsi.tir.2301.05},
	journal-iso = {TRANS INTERNET RES},
	journal = {TRANSACTIONS ON INTERNET RESEARCH- IPSI BGD},
	volume = {19},
	unique-id = {33694652},
	issn = {1820-4503},
	year = {2023},
	eissn = {1820-4503},
	pages = {24-31},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:33267351,
	title = {C++ Source Code Rejuvenation for an Improved Exception Specification},
	url = {https://m2.mtmt.hu/api/publication/33267351},
	author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert},
	booktitle = {2022 IEEE 16th International Scientific Conference on Informatics - Proceedings},
	doi = {10.1109/Informatics57926.2022.10083493},
	unique-id = {33267351},
	abstract = {Exception handling is a beneficial language construct in modern programming languages.
		However, C++’s type system does not really conform to these elements.
		As a consequence, developers have to pay attention to avoid mistakes because of the missing compiler support.
		Moreover, C++11 provides an approach in which exceptions appear in the function’s signature in an inverse manner compared to the earlier standards.
		Static analysis is an approach in which we reason about a program based on the source with no execution of the analyzed code.
		It can be used for many purposes, for instance, finding bugs, refactoring the code or measure code complexity.
		In this paper, we analyze how the older style exception specifications can be rejuvenated for the modern idioms.
		Explicitly marking the functions as having a guaranteed exception-free execution is the primary way since C++11.
		We develop a static analyzer tool for providing hints for these specifications.
		We evaluate our method with the analysis of open sources projects.},
	year = {2022},
	pages = {94-99},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@CONFERENCE{MTMT:33133568,
	title = {A Framework for C++ Exception Handling Assistance},
	url = {https://m2.mtmt.hu/api/publication/33133568},
	author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert},
	booktitle = {Proceedings of the Ninth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications},
	unique-id = {33133568},
	year = {2022},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:32869475,
	title = {Code Comprehension for Read-Copy-Update Synchronization Contexts in C Code},
	url = {https://m2.mtmt.hu/api/publication/32869475},
	author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert},
	booktitle = {Geoinformatics and Data Analysis},
	doi = {10.1007/978-3-031-08017-3_17},
	unique-id = {32869475},
	year = {2022},
	pages = {187-200},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:31787944,
	title = {A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution},
	url = {https://m2.mtmt.hu/api/publication/31787944},
	author = {Fülöp, Endre and Pataki, Norbert},
	doi = {10.1515/comp-2020-0120},
	journal-iso = {OPEN COMPUTER SCIENCE},
	journal = {OPEN COMPUTER SCIENCE},
	volume = {11},
	unique-id = {31787944},
	issn = {2299-1093},
	year = {2020},
	pages = {107-115},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@CONFERENCE{MTMT:31660490,
	title = {Modeling Resource Allocations in Cloud Deployment with P Colonies},
	url = {https://m2.mtmt.hu/api/publication/31660490},
	author = {Fülöp, Endre and Pataki, Norbert and Rotter, Csaba},
	booktitle = {Collection of Abstracts},
	unique-id = {31660490},
	year = {2020},
	pages = {70-71},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367; Rotter, Csaba/0000-0001-5527-1674}
}

@CONFERENCE{MTMT:31660484,
	title = {A Pragmatic Static Analysis Method with An Applied Model of Formalized Concurrency},
	url = {https://m2.mtmt.hu/api/publication/31660484},
	author = {Fülöp, Endre and Pataki, Norbert},
	booktitle = {Collection of Abstracts},
	unique-id = {31660484},
	year = {2020},
	pages = {69-69},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@CONFERENCE{MTMT:31398288,
	title = {Comprehensive Evaluation of Cross Translation Unit Symbolic Execution},
	url = {https://m2.mtmt.hu/api/publication/31398288},
	author = {Fülöp, Endre and Pataki, Norbert},
	booktitle = {Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)},
	unique-id = {31398288},
	year = {2020},
	pages = {105-113},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}