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)
Egyéb URL
Közlemény:34749283 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34749283] [Nyilvános]
2.
Smiljana, Knezev ; Tóth, Melinda
Secure coding in Erlang and Elixir (2023)
Közlemény:34557908 Admin láttamozott Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[34557908] [Admin láttamozott]
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
Közlemény:34148265 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34148265] [Nyilvános]
4.
Ferenczi, Daniel ; Tóth, Melinda
Static analysis for safe software upgrade
In: 12th International Conference on Applied Informatics (ICAI 2023)
Eger, Magyarország : Eszterházy Károly Katolikus Egyetem (2023) pp. 1-3. , 3 p.
Teljes dokumentum
Közlemény:34129807 Egyeztetett Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[34129807] [Egyeztetett]
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ó (szerk.) Proceedings of the 14th Joint Conference on Mathematics and Computer Science
(2022) pp. 1-3. , 3 p.
Közlemény:34148405 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[34148405] [Nyilvános]
6.
Zsófia, Erdei ; Melinda, Tóth ; István, Bozó
Supporting debugging in Erlang with symbolic execution
In: Zalán, Bodó (szerk.) Proceedings of the 14th Joint Conference on Mathematics and Computer Science
(2022) pp. 1-3. , 3 p.
Közlemény:34148383 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[34148383] [Nyilvános]
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 (szerk.) The 13th Conference of PhD Students in Computer Science : Volume of Short Papers
Szeged, Magyarország : Szegedi Tudományegyetem, Informatikai Intézet (2022) 216 p. pp. 207-210. , 5 p.
Közlemény:32951673 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[32951673] [Admin láttamozott]
8.
Fügi, Bálint (szerk.) ; Kerek, Ágnes (szerk.) ; Tóth, Melinda (szerk.)
35. Országos Tudományos Diákköri Konferencia (OTDK) Informatikatudományi Szekció: TARTALMI KIVONATOK
Budapest, Magyarország : ELTE Informatikai Kar (2021)
ISBN: 9789634893417
Közlemény:32604599 Admin láttamozott Forrás Könyv (Konferenciakötet ) Tudományos
Konferenciakötet (Könyv) | Tudományos[32604599] [Admin láttamozott]
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 (szerk.) Conference on Developments in Computer Science : Budapest, Hungary, June 17-19, 2021, Proceedings
Budapest, Magyarország : Eötvös Loránd University, Faculty of Informatics (2021) pp. 251-254. , 4 p.
Közlemény:32560376 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32560376] [Egyeztetett]
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
Közlemény:32538412 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32538412] [Egyeztetett]
2024-04-26 16:25