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, Hungary : SZTE TTIK Informatikai Intézet (2024) pp. 15-19. , 5 p.
Publication:35306936 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[35306936] [Approved]
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
Publication:35133148 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[35133148] [Approved]
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 Other URL
Publication:34768972 Published Core Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Conference paper in journal (Journal Article) | Scientific[34768972] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 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
Publication:34727894 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34727894] [Approved]
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
Locked Publication:34412830 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34412830] [Validated]
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 Other URL
Publication:33809830 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 5 | Independent citation: 4 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 5
Article (Journal Article) | Scientific[33809830] [Validated]
All citations+mentions: 5, External citations: 4, Self citations: 1, Unhandled citations: 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 Other URL
Publication:33677595 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 1 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[33677595] [Validated]
All citations+mentions: 3, External citations: 1, Self citations: 2, Unhandled citations: 0
8.
Elekes, Márton ; Micskei, Zoltán
Towards Testing the UML PSSM Test Suite
In: Andrey, Brito; Fernando, Pedone (eds.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), United States of America : Institute of Electrical and Electronics Engineers (2021) pp. 1-4. , 4 p.
DOI Scopus Other URL
Publication:32616888 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32616888] [Validated]
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 (eds.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York City, United States of America : ACM (2020) Paper: 37 , 5 p.
DOI Scopus Other URL
Publication:31647412 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 7 | Independent citation: 6 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 5 | Number of citations in Scopus: 6 | WoS/Scopus assigned: 7 | Number of citations with DOI: 7
Conference paper (Chapter in Book) | Scientific[31647412] [Admin approved]
All citations+mentions: 7, External citations: 6, Self citations: 1, Unhandled citations: 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 Other URL
Publication:31372840 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[31372840] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
2024-09-19 20:06