11.
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)
Other URL
Publication:34034615 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34034615] [Approved]
12.
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 (eds.) NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium
Piscataway (NJ), United States of America : Institute of Electrical and Electronics Engineers (2023) pp. 1-6. , 6 p.
DOI Scopus Other URL
Publication:34033399 Published Core Citing Chapter in Book (Conference paper ) 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
Conference paper (Chapter in Book) | Scientific[34033399] [Approved]
All citations+mentions: 3, External citations: 1, Self citations: 2, Unhandled citations: 0
13.
Szekeres, Dániel ; Majzik, István
Lazy Abstraction for Probabilistic Systems
In: Proceedings of the 30th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2023) pp. 9-12. , 4 p.
DOI Other URL
Publication:33999238 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33999238] [Approved]
14.
Szekeres, Dániel ; Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
ACTA CYBERNETICA Special Issue of the 13th Conference of PhD Students in Computer Science pp. 1-41. , 41 p. (2023)
DOI Other URL
Publication:33999210 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33999210] [Approved]
15.
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: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[33809830] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
16.
Ádám, Zsófia ✉ ; Lopez-Miguel, Ignacio D. ✉ ; Mavridou, Anastasia ✉ ; Pressburger, Thomas ; Bęś, Marcin ; Viñuela, Enrique Blanco ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Adiego, Borja Fernández ✉
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
In: Kristin, Yvonne Rozier; Swarat, Chaudhuri NASA Formal Methods
Houston (TX), United States of America : Springer, Cham (2023) pp. 353-360. , 8 p.
DOI Scopus
Publication:33790261 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33790261] [Approved]
17.
Somorjai, Márk ; Dobos-Kovács, Mihály ; Bajczi, Levente ; Ádám, Zsófia ; Vörös, András
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
In: Kutsia, Temur; Ventura, Daniel; Monniaux, David; Morales, Jose F. (eds.) Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
(2023) pp. 105-117. , 13 p.
DOI Other URL
Publication:33784283 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[33784283] [Approved]
18.
Al-Gburi, Noor ; Kocsis, Imre
Knowledge-driven Exploratory Performance Data Analysis for Execute-Order-Validate Blockchains
In: Proceedings of the 30th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2023) pp. 37-40. , 4 p.
DOI Other URL
Publication:33775283 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33775283] [Approved]
19.
Péter, Bertalan Zoltán ; Kocsis, Imre
N-Version Programming as a Mitigation for Smart Contract Faults in Execute-Order-Validate Blockchain Systems
In: Proceedings of the 30th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2023) pp. 33-36. , 4 p.
Műegyetem Digitális Archívum DOI Handle
Publication:33775277 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[33775277] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
20.
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 Other URL
Publication:33739468 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33739468] [Approved]
2024-05-07 23:09