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 Other URL
Publication:34768972 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34768972] [Approved]
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 Other URL
Publication:34768428 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34768428] [Approved]
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 Other URL
Publication:34768422 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34768422] [Approved]
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
Publication:34727894 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34727894] [Approved]
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 Other URL
Publication:34560592 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34560592] [Approved]
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 (eds.) Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Cham, Switzerland : Springer Nature Switzerland (2024) pp. 23-44. Paper: Chapter 2 , 22 p.
DOI Scopus Other URL
Publication:34504488 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34504488] [Approved]
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 Other URL
Publication:34375495 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34375495] [Validated]
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 Other URL
Publication:34292157 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34292157] [Approved]
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 (eds.) Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
Cham, Switzerland : Springer Nature Switzerland (2023) pp. 76-95. Paper: Chapter 5 , 20 p.
DOI WoS Scopus Other URL
Publication:34144059 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34144059] [Approved]
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 (eds.) 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
Piscataway (NJ), United States of America : IEEE (2023) pp. 1-9. , 9 p.
DOI Other URL
Publication:34112239 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[34112239] [Approved]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
2024-04-26 20:53