1.
Graics, Bence ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-Based Testing of Asynchronously Communicating Distributed Controllers
LECTURE NOTES IN COMPUTER SCIENCE 14485 pp. 23-44. Paper: Chapter 2 , 22 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:34504488 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 5 | Független: 2 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 5
Szakcikk (Folyóiratcikk) | Tudományos[34504488] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 2, Függő: 3, Nem jelölt: 0
2.
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: 7 | Független: 3 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 7
Szakcikk (Folyóiratcikk) | Tudományos[33677595] [Egyeztetett]
Nyilvános idéző összesen: 7, Független: 3, Függő: 4, Nem jelölt: 0
3.
Graics, Bence ; Molnár, Vince ; Majzik, István
Component‐based specification, design and verification of adaptive systems
SYSTEMS ENGINEERING 26 : 5 pp. 567-589. , 23 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33739468 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 4 | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 1 | WoS/Scopus jelölt: 3 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos[33739468] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
4.
Graics, Bence ; Molnár, Vince ; Majzik, István
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
LECTURE NOTES IN COMPUTER SCIENCE 14290 pp. 76-95. Paper: Chapter 5 , 20 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:34144059 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[34144059] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 0
5.
Graics, Bence ; Molnár, Vince ; Majzik, István
Contract-Based Specification and Test Generation for Adaptive Systems
In: Zamojski, Wojciech; Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz; Kacprzyk, Janusz (szerk.) Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
Cham, Svájc : Springer International Publishing (2021) 512 p. pp. 136-145. Paper: Chapter 14 , 10 p.
DOI WoS Egyéb URL
Közlemény:32054791 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[32054791] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 0
6.
Graics, Bence ✉ ; Molnár, Vince ; Vörös, András ; Majzik, István ; Varró, Dániel
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems
SOFTWARE AND SYSTEMS MODELING 19 : 6 pp. 1483-1517. , 35 p. (2020)
DOI WoS Scopus
Központi kezelésű Közlemény:31343505 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 26 | Független: 17 | Függő: 9 | Nem jelölt: 0 | WoS jelölt: 22 | Scopus jelölt: 23 | WoS/Scopus jelölt: 25 | DOI jelölt: 26
Szakcikk (Folyóiratcikk) | Tudományos[31343505] [Egyeztetett]
Nyilvános idéző összesen: 26, Független: 17, Függő: 9, Nem jelölt: 0
7.
Tóth, Tamás ; Hajdu, Ákos ; Vörös, András ; Micskei, Zoltán ; Majzik, István
Theta: a Framework for Abstraction Refinement-Based Model Checking
In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Vienna, Ausztria, Piscataway (NJ), Amerikai Egyesült Államok : FMCAD Association, Institute of Electrical and Electronics Engineers (IEEE) (2017) pp. 176-179. , 4 p.
DOI REAL WoS Scopus Teljes dokumentum
Közlemény:3266689 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 38 | Független: 21 | Függő: 17 | Nem jelölt: 0 | WoS jelölt: 23 | Scopus jelölt: 25 | WoS/Scopus jelölt: 29 | DOI jelölt: 32 (Nem nyilvános: 3)
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 38, Független: 21, Függő: 17, Nem jelölt: 0
2025-07-20 04:34