@article{MTMT:33327574,
	title = {Development of a Method for the Engineering of Digital Innovation Using Design Science Research},
	url = {https://m2.mtmt.hu/api/publication/33327574},
	author = {Huseynli, Murad and Bub, Udo and Ogbuachi, Michael Chima},
	doi = {10.3390/info13120573},
	journal-iso = {INFORMATION-BASEL},
	journal = {INFORMATION (BASEL)},
	volume = {13},
	unique-id = {33327574},
	abstract = {This paper outlines the path towards a method focusing on a process model for the integrated engineering of Digital Innovation (DI) and Design Science Research (DSR). The use of the DSR methodology allows for achieving both scientific rigor and practical relevance, while integrating the concept of innovation strategies into the proposed method enables a conscious approach to classify different Information Systems (IS) artifacts, and provides a way to create, transfer, and generalize their design. The resulting approach allows for the systematic creation of innovative IS artifacts. On top of that, cumulative DSR knowledge can be systematically built up, facilitating description, comparability, and reuse of the artifacts. We evaluate this newly completed approach in a case study for an automated conversational call center interface leveraging the identification of the caller’s age and gender for dialog optimization, based on machine learning models trained on the SpeechDat spoken-language resource database. Moreover, we validate innovation strategies by analyzing additional innovative projects.},
	year = {2022},
	eissn = {2078-2489}
}

@article{MTMT:30733827,
	title = {Playing with Bisimulation in Erlang},
	url = {https://m2.mtmt.hu/api/publication/30733827},
	author = {Lanese, Ivan and Sangiorgi, Davide and Zavattaro, Gianluigi},
	doi = {10.1007/978-3-030-21485-2_6},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {11665},
	unique-id = {30733827},
	issn = {0302-9743},
	year = {2019},
	eissn = {1611-3349},
	pages = {71-91}
}

@inproceedings{MTMT:27687889,
	title = {Towards secure Erlang systems},
	url = {https://m2.mtmt.hu/api/publication/27687889},
	author = {Alexandre, Jorge Barbosa Rodrigues and Fördős, Viktória},
	booktitle = {Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang},
	doi = {10.1145/3239332.3242768},
	publisher = {ACM Press},
	unique-id = {27687889},
	year = {2018},
	pages = {67-70},
	orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797}
}

@inproceedings{MTMT:3266343,
	title = {Towards change-driven testing},
	url = {https://m2.mtmt.hu/api/publication/3266343},
	author = {Fördős, Viktória and Bozó, István and Tóth, Melinda},
	booktitle = {Erlang 2017},
	doi = {10.1145/3123569.3123575},
	unique-id = {3266343},
	year = {2017},
	pages = {64-65},
	orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797; Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945}
}

@inproceedings{MTMT:27223550,
	title = {Structuring Erlang BEAM control flow},
	url = {https://m2.mtmt.hu/api/publication/27223550},
	author = {Lukács, Dániel and Tóth, Melinda},
	booktitle = {Erlang 2017},
	doi = {10.1145/3123569.3123572},
	publisher = {ACM},
	unique-id = {27223550},
	year = {2017},
	pages = {31-42},
	orcid-numbers = {Lukács, Dániel/0000-0001-9738-1134; Tóth, Melinda/0000-0001-6300-7945}
}

@article{MTMT:27218611,
	title = {Analysing and visualising callback modules of Erlang generic server behaviours},
	url = {https://m2.mtmt.hu/api/publication/27218611},
	author = {Bozó, István and Kuti, MB and Tóth, Melinda},
	journal-iso = {CEUR WORKSHOP PROC},
	journal = {CEUR WORKSHOP PROCEEDINGS},
	volume = {2046},
	unique-id = {27218611},
	abstract = {Understanding and maintaining the source code of industrial-scale software product is hard and time-consuming, and it is getting more di cult when the software implements parallel/concurrent/distributed computations and behaviours. Static source code analysis tools support program comprehension through detecting dependencies and relations among small (like functions and processes) or large (modules and components) software elements. For Erlang, which is a dynamic language, only an approximation of the real dependencies can be calculated statically. However it is possible to improve these analyses by adding application specific information, such as the most frequently used behaviours. In this paper we introduce an extension of the RefactorErl static source code analyser framework for Erlang that adds information about generic server behaviour implementations to the Semantic Program Graph of RefactorErl. In addition we define several views of the generic server based hidden communication.},
	year = {2016},
	eissn = {1613-0073},
	pages = {23-41},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945}
}

@inproceedings{MTMT:2998448,
	title = {Analysing and visualising Erlang behaviours},
	url = {https://m2.mtmt.hu/api/publication/2998448},
	author = {Bozó, István and Tóth, Melinda},
	booktitle = {International Conference of Numerical Analysis and Applied Mathematics},
	doi = {10.1063/1.4952023},
	unique-id = {2998448},
	year = {2016},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945}
}

@article{MTMT:3091360,
	title = {Towards Trustworthy Refactoring in Erlang},
	url = {https://m2.mtmt.hu/api/publication/3091360},
	author = {Horpácsi, Dániel and Horpácsiné Kőszegi, Judit and Thompson, Simon},
	doi = {10.4204/EPTCS.216.5},
	journal-iso = {ELECTRON PROC THEOR COMPUT SCI},
	journal = {ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
	volume = {216},
	unique-id = {3091360},
	year = {2016},
	eissn = {2075-2180},
	pages = {83-103},
	orcid-numbers = {Horpácsi, Dániel/0000-0003-0261-0091; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176; Thompson, Simon/0000-0002-2350-301X}
}

@article{MTMT:3083243,
	title = {Identifying Code Clones with RefactorErl},
	url = {https://m2.mtmt.hu/api/publication/3083243},
	author = {Fördős, Viktória and Tóth, Melinda},
	doi = {10.14232/actacyb.22.3.2016.1},
	journal-iso = {ACTA CYBERN-SZEGED},
	journal = {ACTA CYBERNETICA},
	volume = {22},
	unique-id = {3083243},
	issn = {0324-721X},
	year = {2016},
	eissn = {2676-993X},
	pages = {553-571},
	orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797; Tóth, Melinda/0000-0001-6300-7945}
}

@article{MTMT:3317207,
	title = {Analysing the hierarchical structure of Erlang applications},
	url = {https://m2.mtmt.hu/api/publication/3317207},
	author = {Bozó, István and Bence, János Szabó and Tóth, Melinda},
	journal-iso = {CEUR WORKSHOP PROC},
	journal = {CEUR WORKSHOP PROCEEDINGS},
	volume = {2046},
	unique-id = {3317207},
	year = {2016},
	eissn = {1613-0073},
	pages = {42-55},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945}
}

@article{MTMT:3317214,
	title = {Transforming Erlang finite state machines},
	url = {https://m2.mtmt.hu/api/publication/3317214},
	author = {Lukács, Dániel and Tóth, Melinda and Bozó, István},
	journal-iso = {CEUR WORKSHOP PROC},
	journal = {CEUR WORKSHOP PROCEEDINGS},
	volume = {2046},
	unique-id = {3317214},
	year = {2016},
	eissn = {1613-0073},
	pages = {197-218},
	orcid-numbers = {Lukács, Dániel/0000-0001-9738-1134; Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688}
}

@article{MTMT:3146204,
	title = {Static Analysis for Divide-and-Conquer Pattern Discovery},
	url = {https://m2.mtmt.hu/api/publication/3146204},
	author = {Kozsik, Tamás and Tóth, Melinda and Bozó, István and Horváth, Zoltán},
	journal-iso = {COMPUT INFORM},
	journal = {COMPUTING AND INFORMATICS},
	volume = {35},
	unique-id = {3146204},
	issn = {1335-9150},
	keywords = {Parallel patterns; Divide-and-conquer algorithm},
	year = {2016},
	eissn = {2585-8807},
	pages = {764-791},
	orcid-numbers = {Kozsik, Tamás/0000-0003-4484-9172; Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688; Horváth, Zoltán/0000-0001-9213-2681}
}

@CONFERENCE{MTMT:25910669,
	title = {A Systematic Mapping about Testing of Functional Programs},
	url = {https://m2.mtmt.hu/api/publication/25910669},
	author = {de Oliveira, Alexandre Ponce and de Souza, Paulo Sérgio Lopes and de Souza, Simone R Senger and Estrella, Júlio Cezar and Bruschi, Sarita Mazzini},
	booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice (SERP)},
	unique-id = {25910669},
	year = {2015},
	pages = {64-70}
}

@article{MTMT:2998432,
	title = {Supporting comprehensible presentation of clone candidates through two-dimensional maximisation},
	url = {https://m2.mtmt.hu/api/publication/2998432},
	author = {Fördős, Viktória and Tóth, Melinda},
	doi = {10.1016/j.cl.2015.09.004},
	journal-iso = {COMPUT LANG SYST STR},
	journal = {COMPUTER LANGUAGES SYSTEMS & STRUCTURES},
	volume = {44},
	unique-id = {2998432},
	issn = {1477-8424},
	year = {2015},
	eissn = {1873-6866},
	pages = {355-365},
	orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797; Tóth, Melinda/0000-0001-6300-7945}
}

@article{MTMT:2799192,
	title = {Refactorings to Enable Parallelization},
	url = {https://m2.mtmt.hu/api/publication/2799192},
	isbn = {9783319146744},
	author = {Bozó, István and Fördős, Viktória and Horpácsi, Dániel and Horváth, Zoltán and Kozsik, Tamás and Horpácsiné Kőszegi, Judit and Tóth, Melinda},
	doi = {10.1007/978-3-319-14675-1_7},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {8843},
	unique-id = {2799192},
	issn = {0302-9743},
	abstract = {We propose program analyses to identify parallelizable code fragments, and program transformations to change those fragments into applications of high-level parallel patterns. The methodology has been worked out, and is presented here, in the context of the Erlang programming language, but the approach is applicable in other languages as well.},
	keywords = {program analysis; Computational linguistics; Program transformations; Functional programming; Refactorings; Parallelizations; Application programs; Parallel patterns; Erlang programming language; Code fragments},
	year = {2015},
	eissn = {1611-3349},
	pages = {104-121},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Fördős, Viktória/0000-0001-6403-9797; Horpácsi, Dániel/0000-0003-0261-0091; Horváth, Zoltán/0000-0001-9213-2681; Kozsik, Tamás/0000-0003-4484-9172; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176; Tóth, Melinda/0000-0001-6300-7945}
}

@inproceedings{MTMT:25908213,
	title = {Safe concurrency Introduction through slicing},
	url = {https://m2.mtmt.hu/api/publication/25908213},
	author = {Li, H and Thompson, Simon},
	booktitle = {PEPM 2015},
	doi = {10.1145/2678015.2682533},
	publisher = {ACM},
	unique-id = {25908213},
	year = {2015},
	pages = {103-113},
	orcid-numbers = {Thompson, Simon/0000-0002-2350-301X}
}

@inproceedings{MTMT:2732787,
	title = {Discovering parallel pattern candidates in Erlang},
	url = {https://m2.mtmt.hu/api/publication/2732787},
	author = {Bozó, István and Fördős, Viktória and Horváth, Zoltán and Tóth, Melinda and Horpácsi, Dániel and Kozsik, Tamás and Horpácsiné Kőszegi, Judit and Adam, Barwell and Christopher, Brown and Kevin, Hammond},
	booktitle = {Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang},
	doi = {10.1145/2633448.2633453},
	unique-id = {2732787},
	abstract = {The ParaPhrase Refactoring Tool for Erlang (PaRTE) provides automatic, comprehensive and reliable pattern candidate discovery to locate parallelisable components in Erlang programs. It uses semi-automatic and semantics-preserving program transformations to reshape source code and to introduce high level parallel patterns that can be mapped adaptively to the available hardware resources. This paper describes the main PaRTE tools and demonstrates that significant parallel speedups can be obtained.},
	keywords = {PATTERNS; SKELETONS; Refactoring; Erlang; Concurrency; Parallelism},
	year = {2014},
	pages = {13-23},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Fördős, Viktória/0000-0001-6403-9797; Horváth, Zoltán/0000-0001-9213-2681; Tóth, Melinda/0000-0001-6300-7945; Horpácsi, Dániel/0000-0003-0261-0091; Kozsik, Tamás/0000-0003-4484-9172; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176}
}

@CONFERENCE{MTMT:26841509,
	title = {Detecting and visualising process relationships in erlang},
	url = {https://m2.mtmt.hu/api/publication/26841509},
	author = {Tóth, M and Bozó, I},
	booktitle = {14th Annual International Conference on Computational Science, ICCS 2014},
	publisher = {Elsevier B.V.},
	unique-id = {26841509},
	year = {2014},
	pages = {1525-1534}
}

@inproceedings{MTMT:2438234,
	title = {Extending Erlang by Utilising RefactorErl},
	url = {https://m2.mtmt.hu/api/publication/2438234},
	author = {Horpácsi, Dániel},
	booktitle = {Erlang '13 Proceedings of the twelfth ACM SIGPLAN workshop on Erlang},
	doi = {10.1145/2505305.2505314},
	unique-id = {2438234},
	year = {2013},
	pages = {63-72},
	orcid-numbers = {Horpácsi, Dániel/0000-0003-0261-0091}
}

@article{MTMT:25910570,
	title = {Refactoring tools for functional languages},
	url = {https://m2.mtmt.hu/api/publication/25910570},
	author = {Thompson, Simon and Li, Huiqing},
	doi = {10.1017/S0956796813000117},
	journal-iso = {J FUNCT PROGRAM},
	journal = {JOURNAL OF FUNCTIONAL PROGRAMMING},
	volume = {23},
	unique-id = {25910570},
	issn = {0956-7968},
	year = {2013},
	eissn = {1469-7653},
	pages = {293-350},
	orcid-numbers = {Thompson, Simon/0000-0002-2350-301X}
}

@inproceedings{MTMT:2760397,
	title = {Identifying Code Clones with RefactorErl},
	url = {https://m2.mtmt.hu/api/publication/2760397},
	author = {Fördős, Viktória and Tóth, Melinda},
	booktitle = {13th Symposium on Programming Languages and Software Tools},
	unique-id = {2760397},
	keywords = {CLONING; Codes (symbols); Computational linguistics; Source codes; Functional programming; Open Source Software; Identifying code; Tools and techniques; Open source projects; Clone detection algorithms; Code clone},
	year = {2013},
	pages = {31-45},
	orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797; Tóth, Melinda/0000-0001-6300-7945}
}