TY  - JOUR
AU  - Erdei, Zsófia
AU  - Tóth, Melinda
AU  - Bozó, István
TI  - Identifying Client-Server Behaviours in Legacy Erlang Systems
JF  - ACTA CYBERNETICA
J2  - ACTA CYBERN-SZEGED
VL  - x
PY  - 2024
IS  - x
SP  - 1
EP  - 25
PG  - 25
SN  - 0324-721X
UR  - https://m2.mtmt.hu/api/publication/34749283
ID  - 34749283
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Knezev, Smiljana
AU  - Tóth, Melinda
TI  - Secure coding in Erlang and Elixir
PY  - 2023
UR  - https://m2.mtmt.hu/api/publication/34557908
ID  - 34557908
N1  - Poszter
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ferenczi, Dániel
AU  - Tóth, Melinda
TI  - Static analysis for safe software upgrade
JF  - ANNALES MATHEMATICAE ET INFORMATICAE
J2  - ANN MATH INFORM
VL  - 58
PY  - 2023
SP  - 9
EP  - 19
PG  - 11
SN  - 1787-5021
DO  - 10.33039/ami.2023.08.010
UR  - https://m2.mtmt.hu/api/publication/34148265
ID  - 34148265
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Ferenczi, Dániel
AU  - Tóth, Melinda
TI  - Static analysis for safe software upgrade
T2  - 12th International Conference on Applied Informatics (ICAI 2023)
PB  - Eszterházy Károly Katolikus Egyetem
C1  - Eger
PY  - 2023
SP  - 1
EP  - 3
PG  - 3
UR  - https://m2.mtmt.hu/api/publication/34129807
ID  - 34129807
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Rátai, Dániel Balázs
AU  - Horváth, Zoltán
AU  - Porkoláb, Zoltán
AU  - Tóth, Melinda
ED  - Zalán, Bodó
TI  - Evaluation of the Traquest model
T2  - Proceedings of the 14th Joint Conference on Mathematics and Computer Science
PY  - 2022
SP  - 1
EP  - 3
PG  - 3
UR  - https://m2.mtmt.hu/api/publication/34148405
ID  - 34148405
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Erdei, Zsófia
AU  - Tóth, Melinda
AU  - Bozó, István
ED  - Zalán, Bodó
TI  - Supporting debugging in Erlang with symbolic execution
T2  - Proceedings of the 14th Joint Conference on Mathematics and Computer Science
PY  - 2022
SP  - 1
EP  - 3
PG  - 3
UR  - https://m2.mtmt.hu/api/publication/34148383
ID  - 34148383
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Erdei, Zsófia
AU  - Tóth, Melinda
AU  - Bozó, István
ED  - Jász, Judit
ED  - Bánhelyi, Balázs
ED  - Gergely, Tamás
ED  - Katona, Melinda
ED  - Kincses, Zoltán
TI  - Identifying Concurrent Behaviours in Erlang Legacy Systems
T2  - The 13th Conference of PhD Students in Computer Science
PB  - Szegedi Tudományegyetem, Informatikai Intézet
C1  - Szeged
PY  - 2022
SP  - 207
EP  - 210
PG  - 5
UR  - https://m2.mtmt.hu/api/publication/32951673
ID  - 32951673
LA  - English
DB  - MTMT
ER  - 

TY  - BOOK
ED  - Fügi, Bálint
ED  - Kerek, Ágnes
ED  - Tóth, Melinda
TI  - 35. Országos Tudományos Diákköri Konferencia (OTDK) Informatikatudományi Szekció. TARTALMI KIVONATOK
TS  - TARTALMI KIVONATOK
PB  - ELTE Informatikai Kar
CY  - Budapest
PY  - 2021
SN  - 9789634893417
UR  - https://m2.mtmt.hu/api/publication/32604599
ID  - 32604599
LA  - Hungarian
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Erdei, Zsófia
AU  - Tóth, Melinda
AU  - Bozó, István
ED  - Csuhaj-Varjú, Erzsébet
ED  - Sziklai, Péter
TI  - Targeted static fault localization in Erlang programs
T2  - Conference on Developments in Computer Science
PB  - Eötvös Loránd University, Faculty of Informatics
CY  - Budapest
SN  - 9789634893882
PY  - 2021
SP  - 251
EP  - 254
PG  - 4
UR  - https://m2.mtmt.hu/api/publication/32560376
ID  - 32560376
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rátai, Dániel Balázs
AU  - Horváth, Zoltán
AU  - Porkoláb, Zoltán
AU  - Tóth, Melinda
TI  - Traquest model. A Novel Model for ACID Concurrent Computations
TS  - A Novel Model for ACID Concurrent Computations
JF  - ACTA CYBERNETICA
J2  - ACTA CYBERN-SZEGED
VL  - 25
PY  - 2021
IS  - 2
SP  - 435
EP  - 468
PG  - 34
SN  - 0324-721X
DO  - 10.14232/actacyb.288765
UR  - https://m2.mtmt.hu/api/publication/32538412
ID  - 32538412
LA  - English
DB  - MTMT
ER  -