21.
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]
22.
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]
23.
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
24.
Á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]
25.
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]
26.
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
27.
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]
28.
Kocsis, Imre ; Lengyel, Nándor
Épületek elvárt fűtésfogyasztás-becslése transzfertanítással
MAGYAR ÉPÜLETGÉPÉSZET 72 : 1-2 pp. 12-17. Paper: 2 , 6 p. (2023)
Publication:33700665 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[33700665] [Approved]
29.
Graics, Bence ; Majzik, Istvan
Integration Test Generation and Formal Verification for Distributed Controllers
In: Proceedings of the 30th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2023) pp. 1-4. , 4 p.
Publication:33689503 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33689503] [Approved]
30.
Elekes, Márton ; Molnár, Vince ; Micskei, Zoltán ✉
Assessing the specification of modelling language semantics: a study on UML PSSM
SOFTWARE QUALITY JOURNAL 31 : 2 pp. 575-617. , 43 p. (2023)
DOI WoS Scopus Other URL
Publication:33677595 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 1 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[33677595] [Validated]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
2024-05-28 19:40