Static analysis of function calls in Erlang. - Dániel Horpácsi; Judit Köszegi (e Informatica Softw. Eng. J., 2013)

Discovering parallel pattern candidates in Erlang. - István Bozó; Viktoria Fordós; Zoltán Horváth; Melinda Tóth; Dániel Horpácsi; Tamás Kozsik; Judit Köszegi; Adam D. Barwell; Christopher Brown 002; Kevin Hammond (Erlang Workshop, 2014)

Refactorings to Enable Parallelization. - István Bozó; Viktoria Fordós; Dániel Horpácsi; Zoltán Horváth; Tamás Kozsik; Judit Köszegi; Melinda Tóth (Trends in Functional Programming, 2014)

Towards Trustworthy Refactoring in Erlang. - Dániel Horpácsi; Judit Köszegi; Simon J. Thompson (VPT@ETAPS, 2016)

Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study. - Dániel Horpácsi; Judit Köszegi; Zoltán Horváth (VPT@ETAPS, 2017)

Validating Formal Semantics by Property-Based Cross-Testing. - Péter Bereczky; Dániel Horpácsi; Judit Köszegi; Soma Szeier; Simon J. Thompson (IFL, 2020)

Towards a Generic Framework for Trustworthy Program Refactoring. - Dániel Horpácsi; Judit Köszegi; Dávid János Németh (Acta Cybern., 2021)