11.
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]
12.
Debreczeni, Máté ; Klenik, Attila ; Kocsis, Imre
Transaction Conflict Control in Hyperledger Fabric: a Taxonomy, Gaps, and Design for Conflict Prevention
IEEE ACCESS 12 pp. 18987-19008. , 22 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:34560592 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34560592] [Nyilvános]
13.
Graics, Bence ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-Based Testing of Asynchronously Communicating Distributed Controllers
In: Jongmans, Sung-Shik; Cámara, Javier (szerk.) Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Cham, Svájc : Springer Nature Switzerland (2024) pp. 23-44. Paper: Chapter 2 , 22 p.
DOI Scopus Egyéb URL
Közlemény:34504488 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34504488] [Nyilvános]
14.
Babikian, Aren A. ; Semeráth, Oszkár ✉ ; Varró, Dániel
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 50 : 1 pp. 48-68. , 21 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:34375495 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34375495] [Egyeztetett]
15.
Somorjai, Márk ; Dobos-Kovács, Mihály ; Ádám, Zsófia ; Bajczi, Levente ; Vörös, András
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 402 pp. 105-117. , 13 p. (2024)
DOI Scopus Egyéb URL
Közlemény:33784283 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[33784283] [Nyilvános]
16.
Toldi, Balázs Ádám ; Kocsis, Imre
Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows
INFOCOMMUNICATIONS JOURNAL 15 : 3 pp. 72-81. , 10 p. (2023)
DOI REAL WoS Scopus Egyéb URL
Közlemény:34292157 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34292157] [Nyilvános]
17.
Graics, Bence ; Molnár, Vince ; Majzik, István
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
In: Titolo, Laura; Cimatti, Alessandro (szerk.) Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
Cham, Svájc : Springer Nature Switzerland (2023) pp. 76-95. Paper: Chapter 5 , 20 p.
DOI WoS Scopus Egyéb URL
Közlemény:34144059 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34144059] [Nyilvános]
18.
Augusto, André ; Belchior, Rafael ; Kocsis, Imre ; Gönczy, László ; Vasconcelos, André ; Correia, Miguel
CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains
In: IEEE - IEEE (szerk.) 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2023) pp. 1-9. , 9 p.
DOI Egyéb URL
Közlemény:34112239 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[34112239] [Nyilvános]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
19.
Kocsis, Imre
Digitális identitáskezelés átalakulóban: önrendelkezésű identitások
HIRADÁSTECHNIKA (1962) LXXVIII. : 1 pp. 25-31. Paper: 6 , 7 p. (2023)
Egyéb URL
Közlemény:34034615 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34034615] [Nyilvános]
20.
Balogh, Marcell ; Földvári, András ; Varga, Pal
Digital Twins in Industry 5.0: Challenges in Modeling and Communication
In: Akkaya, K; Festor, O; Fung, C; Rahman, M A; Granville, L Z; dos Santos, C R A (szerk.) NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2023) pp. 1-6. , 6 p.
DOI Scopus Egyéb URL
Közlemény:34033399 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) 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
Konferenciaközlemény (Könyvrészlet) | Tudományos[34033399] [Nyilvános]
Nyilvános idéző összesen: 3, Független: 1, Függő: 2, Nem jelölt: 0
2024-05-28 07:12