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)
Egyéb URL
Közlemény:34034615 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34034615] [Nyilvános]
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 (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
13.
Szekeres, Dániel ; Majzik, István
Lazy Abstraction for Probabilistic Systems
In: Proceedings of the 30th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2023) pp. 9-12. , 4 p.
DOI Egyéb URL
Közlemény:33999238 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33999238] [Nyilvános]
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 Egyéb URL
Közlemény:33999210 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[33999210] [Nyilvános]
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 Egyéb URL
Közlemény:33809830 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[33809830] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 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), Amerikai Egyesült Államok : Springer, Cham (2023) pp. 353-360. , 8 p.
DOI Scopus
Közlemény:33790261 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33790261] [Nyilvános]
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. (szerk.) 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 Egyéb URL
Közlemény:33784283 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[33784283] [Nyilvános]
18.
Al-Gburi, Noor ; Kocsis, Imre
Knowledge-driven Exploratory Performance Data Analysis for Execute-Order-Validate Blockchains
In: Proceedings of the 30th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2023) pp. 37-40. , 4 p.
DOI Egyéb URL
Közlemény:33775283 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33775283] [Nyilvános]
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
Budapest, Magyarország : Budapest University of Technology and Economics (2023) pp. 33-36. , 4 p.
Műegyetem Digitális Archívum DOI Handle
Közlemény:33775277 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[33775277] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 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 Egyéb URL
Közlemény:33739468 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[33739468] [Nyilvános]
2024-05-07 06:28