@article{MTMT:34749283,
	title = {Identifying Client-Server Behaviours in Legacy Erlang Systems},
	url = {https://m2.mtmt.hu/api/publication/34749283},
	author = {Erdei, Zsófia and Tóth, Melinda and Bozó, István},
	journal-iso = {ACTA CYBERN-SZEGED},
	journal = {ACTA CYBERNETICA},
	volume = {x},
	unique-id = {34749283},
	issn = {0324-721X},
	year = {2024},
	eissn = {2676-993X},
	pages = {1-25},
	orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688}
}

@misc{MTMT:34557908,
	title = {Secure coding in Erlang and Elixir},
	url = {https://m2.mtmt.hu/api/publication/34557908},
	author = {Knezev, Smiljana and Tóth, Melinda},
	unique-id = {34557908},
	year = {2023},
	orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945}
}

@article{MTMT:34148265,
	title = {Static analysis for safe software upgrade},
	url = {https://m2.mtmt.hu/api/publication/34148265},
	author = {Ferenczi, Dániel and Tóth, Melinda},
	doi = {10.33039/ami.2023.08.010},
	journal-iso = {ANN MATH INFORM},
	journal = {ANNALES MATHEMATICAE ET INFORMATICAE},
	volume = {58},
	unique-id = {34148265},
	issn = {1787-5021},
	year = {2023},
	eissn = {1787-6117},
	pages = {9-19},
	orcid-numbers = {Ferenczi, Dániel/0009-0002-0611-006X; Tóth, Melinda/0000-0001-6300-7945}
}

@CONFERENCE{MTMT:34129807,
	title = {Static analysis for safe software upgrade},
	url = {https://m2.mtmt.hu/api/publication/34129807},
	author = {Ferenczi, Dániel and Tóth, Melinda},
	booktitle = {12th International Conference on Applied Informatics (ICAI 2023)},
	unique-id = {34129807},
	year = {2023},
	pages = {1-3},
	orcid-numbers = {Ferenczi, Dániel/0009-0002-0611-006X; Tóth, Melinda/0000-0001-6300-7945}
}

@CONFERENCE{MTMT:34148405,
	title = {Evaluation of the Traquest model},
	url = {https://m2.mtmt.hu/api/publication/34148405},
	author = {Rátai, Dániel Balázs and Horváth, Zoltán and Porkoláb, Zoltán and Tóth, Melinda},
	booktitle = {Proceedings of the 14th Joint Conference on Mathematics and Computer Science},
	unique-id = {34148405},
	year = {2022},
	pages = {1-3},
	orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681; Porkoláb, Zoltán/0000-0001-6819-0224; Tóth, Melinda/0000-0001-6300-7945}
}

@CONFERENCE{MTMT:34148383,
	title = {Supporting debugging in Erlang with symbolic execution},
	url = {https://m2.mtmt.hu/api/publication/34148383},
	author = {Erdei, Zsófia and Tóth, Melinda and Bozó, István},
	booktitle = {Proceedings of the 14th Joint Conference on Mathematics and Computer Science},
	unique-id = {34148383},
	year = {2022},
	pages = {1-3},
	orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688}
}

@CONFERENCE{MTMT:32951673,
	title = {Identifying Concurrent Behaviours in Erlang Legacy Systems},
	url = {https://m2.mtmt.hu/api/publication/32951673},
	author = {Erdei, Zsófia and Tóth, Melinda and Bozó, István},
	booktitle = {The 13th Conference of PhD Students in Computer Science},
	unique-id = {32951673},
	year = {2022},
	pages = {207-210},
	orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688}
}

@book{MTMT:32604599,
	title = {35. Országos Tudományos Diákköri Konferencia (OTDK) Informatikatudományi Szekció. TARTALMI KIVONATOK},
	url = {https://m2.mtmt.hu/api/publication/32604599},
	isbn = {9789634893417},
	editor = {Fügi, Bálint and Kerek, Ágnes and Tóth, Melinda},
	publisher = {ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar},
	unique-id = {32604599},
	year = {2021},
	orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945}
}

@inproceedings{MTMT:32560376,
	title = {Targeted static fault localization in Erlang programs},
	url = {https://m2.mtmt.hu/api/publication/32560376},
	author = {Erdei, Zsófia and Tóth, Melinda and Bozó, István},
	booktitle = {Conference on Developments in Computer Science},
	unique-id = {32560376},
	year = {2021},
	pages = {251-254},
	orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688}
}

@article{MTMT:32538412,
	title = {Traquest model. A Novel Model for ACID Concurrent Computations},
	url = {https://m2.mtmt.hu/api/publication/32538412},
	author = {Rátai, Dániel Balázs and Horváth, Zoltán and Porkoláb, Zoltán and Tóth, Melinda},
	doi = {10.14232/actacyb.288765},
	journal-iso = {ACTA CYBERN-SZEGED},
	journal = {ACTA CYBERNETICA},
	volume = {25},
	unique-id = {32538412},
	issn = {0324-721X},
	year = {2021},
	eissn = {2676-993X},
	pages = {435-468},
	orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681; Porkoláb, Zoltán/0000-0001-6819-0224; Tóth, Melinda/0000-0001-6300-7945}
}