1.
Zsófia, Erdei ; Melinda, Tóth ; István, Bozó
Identifying Client-Server Behaviours in Legacy Erlang Systems
ACTA CYBERNETICA x : x pp. 1-25. , 25 p. (2024)
Other URL
Publication:34749283 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34749283] [Approved]
2.
Smiljana, Knezev ; Tóth, Melinda
Secure coding in Erlang and Elixir (2023)
Publication:34557908 Admin approved Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[34557908] [Admin approved]
3.
Ferenczi, Daniel ; Tóth, Melinda
Static analysis for safe software upgrade
ANNALES MATHEMATICAE ET INFORMATICAE 58 pp. 9-19. , 11 p. (2023)
DOI WoS Scopus
Publication:34148265 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34148265] [Approved]
4.
Ferenczi, Daniel ; Tóth, Melinda
Static analysis for safe software upgrade
In: 12th International Conference on Applied Informatics (ICAI 2023)
Eger, Hungary : EKKE (2023) pp. 1-3. , 3 p.
Teljes dokumentum
Publication:34129807 Validated Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[34129807] [Validated]
5.
Dániel, Balázs Rátai ; Zoltán, Horváth ; Zoltán, Porkoláb ; Melinda, Tóth
Evaluation of the Traquest model
In: Zalán, Bodó (eds.) Proceedings of the 14th Joint Conference on Mathematics and Computer Science
(2022) pp. 1-3. , 3 p.
Publication:34148405 Published Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[34148405] [Approved]
6.
Zsófia, Erdei ; Melinda, Tóth ; István, Bozó
Supporting debugging in Erlang with symbolic execution
In: Zalán, Bodó (eds.) Proceedings of the 14th Joint Conference on Mathematics and Computer Science
(2022) pp. 1-3. , 3 p.
Publication:34148383 Published Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[34148383] [Approved]
7.
Zsófia, Erdei ; Melinda, Tóth ; István, Bozó
Identifying Concurrent Behaviours in Erlang Legacy Systems
In: Jász, Judit; Bánhelyi, Balázs; Gergely, Tamás; Katona, Melinda; Kincses, Zoltán (eds.) The 13th Conference of PhD Students in Computer Science : Volume of Short Papers
Szeged, Hungary : SZTE TTIK Informatikai Intézet (2022) 216 p. pp. 207-210. , 5 p.
Publication:32951673 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[32951673] [Admin approved]
8.
Fügi, Bálint (eds.) ; Kerek, Ágnes (eds.) ; Tóth, Melinda (eds.)
35. Országos Tudományos Diákköri Konferencia (OTDK) Informatikatudományi Szekció: TARTALMI KIVONATOK
Bp, Hungary : ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar (2021)
ISBN: 9789634893417
Publication:32604599 Admin approved Core Book (Conference proceedings ) Scientific
Conference proceedings (Book) | Scientific[32604599] [Admin approved]
9.
Zsófia, Erdei ; Melinda, Tóth ; István, Bozó
Targeted static fault localization in Erlang programs
In: Csuhaj-Varjú, Erzsébet; Sziklai, Péter (eds.) Conference on Developments in Computer Science : Budapest, Hungary, June 17-19, 2021, Proceedings
Bp, Hungary : ELTE Informatikai Kar (2021) pp. 251-254. , 4 p.
Publication:32560376 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32560376] [Validated]
10.
Rátai, Dániel Balázs ; Horváth, Zoltán ; Porkoláb, Zoltán ; Tóth, Melinda
Traquest model: A Novel Model for ACID Concurrent Computations
ACTA CYBERNETICA 25 : 2 pp. 435-468. , 34 p. (2021)
DOI WoS
Publication:32538412 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[32538412] [Validated]
2024-04-20 02:24