1.
Ádám, Zsófia ; Péter, Bertalan Zoltán ; Micskei, Zoltán ; Kocsis, Imre
Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies
In: THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE
Szeged, Magyarország : Szegedi Tudományegyetem, Informatikai Intézet (2024) pp. 15-19. , 5 p.
Közlemény:35306936 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35306936] [Nyilvános]
2.
Elekes, Márton ✉ ; Molnár, Vince ; Micskei, Zoltán
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 50 : 8 pp. 2124-2141. , 18 p. (2024)
DOI WoS Scopus arXiv
Közlemény:35133148 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[35133148] [Nyilvános]
3.
Bajczi, Levente ✉ ; Ádám, Zsófia ; Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 330-334. Paper: Chapter 16 , 5 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:34768972 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768972] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
4.
Serban, Andrada A. ; Micskei, Zoltán
Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study
ACTA POLYTECHNICA HUNGARICA 21 : 8 pp. 87-106. , 20 p. (2024)
DOI WoS Scopus
Közlemény:34727894 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34727894] [Nyilvános]
5.
Wilhelm, I ✉ ; Dékány, É ; Hatvani, IG ; Fröhlich, G ; Micskei, Z ; Pach, PP ; Toldy, A ; Solymosi, K ; Szentgáli-Tóth, B ; Lengyel, B
A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására
MAGYAR TUDOMÁNY 184 : 12 pp. 1544-1565. , 7 p. (2023)
DOI Kiadónál REAL
Zárolt Közlemény:34412830 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34412830] [Egyeztetett]
6.
Horváth, Benedek ; Molnár, Vince ; Graics, Bence ; Hajdu, Ákos ; Ráth, István ; Horváth, Ákos ; Karban, Robert ; Trancho, Gelys ; Micskei, Zoltán
Pragmatic verification and validation of industrial executable SysML models
SYSTEMS ENGINEERING 26 : 6 pp. 693-714. , 22 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33809830 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 5 | Független: 4 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 5
Szakcikk (Folyóiratcikk) | Tudományos[33809830] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 4, Függő: 1, Nem jelölt: 0
7.
Elekes, Márton ; Molnár, Vince ; Micskei, Zoltán ✉
Assessing the specification of modelling language semantics: a study on UML PSSM
SOFTWARE QUALITY JOURNAL 31 : 2 pp. 575-617. , 43 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33677595 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 1 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[33677595] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 1, Függő: 2, Nem jelölt: 0
8.
Elekes, Márton ; Micskei, Zoltán
Towards Testing the UML PSSM Test Suite
In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2021) pp. 1-4. , 4 p.
DOI Scopus Egyéb URL
Közlemény:32616888 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32616888] [Egyeztetett]
9.
Horváth, Benedek ; Graics, Bence ; Hajdu, Ákos ; Micskei, Zoltán ; Molnár, Vince ; Ráth, István ; Andolfato, Luigi ; Gomes, Ivan ; Karban, Robert
Model checking as a service: Towards pragmatic hidden formal methods
In: Esther, Guerra; Ludovico, Iovino (szerk.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2020) Paper: 37 , 5 p.
DOI Scopus Egyéb URL
Közlemény:31647412 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 7 | Független: 6 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 6 | WoS/Scopus jelölt: 7 | DOI jelölt: 7
Konferenciaközlemény (Könyvrészlet) | Tudományos[31647412] [Admin láttamozott]
Nyilvános idéző összesen: 7, Független: 6, Függő: 1, Nem jelölt: 0
10.
Honfi, Dávid ; Micskei, Zoltán ✉
White-box software test generation with Microsoft Pex on open source C# projects: A dataset
DATA IN BRIEF 31 Paper: 105962 , 10 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:31372840 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[31372840] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
2024-09-19 14:00