1.
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 Egyéb URL
Közlemény:34768972 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768972] [Nyilvános]
2.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Somorjai, Márk ; Ádám, Zsófia ; Dobos-Kovács, Mihály ; Szekeres, Dániel ; Mondok, Milán ; Molnár, Vince
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 412-417. Paper: Chapter 30 , 6 p. (2024)
DOI Egyéb URL
Közlemény:34768428 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768428] [Nyilvános]
3.
Bajczi, Levente ✉ ; Szekeres, Dániel ; Mondok, Milán ; Ádám, Zsófia ; Somorjai, Márk ; Telbisz, Csanád ; Dobos-Kovács, Mihály ; Molnár, Vince
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 371-375. Paper: Chapter 23 , 5 p. (2024)
DOI Egyéb URL
Közlemény:34768422 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768422] [Nyilvános]
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 Scopus
Közlemény:34727894 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34727894] [Nyilvános]
5.
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]
6.
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]
7.
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]
8.
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]
9.
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]
10.
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
2024-04-26 15:14