1.
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]
2.
Dobos-Kovács, Mihály ; Vörös, András
Evaluation of SMT solvers in abstraction-based software model checking
In: Anon, A (eds.) Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22
New York City, United States of America : ACM (2022) pp. 109-116. , 8 p.
DOI WoS Scopus Other URL
Publication:33575796 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33575796] [Validated]
3.
Richárd, Szabó ; András, Vörös
Dependability Modeling of Cyber-Physical Systems in the Gamma Framework
In: Renczes, Balázs (eds.) Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics
Bp, Hungary : BME MIT (2022) pp. 20-23. , 4 p.
Publication:32679018 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32679018] [Approved]
4.
Richárd, Szabó ; András, Vörös
Towards formally analyzed Cyber-Physical Systems
In: Marcello, Cinque Student Forum Proceedings- EDCC 2021
München, Germany : arXiv.org (2021) pp. 1-4. , 4 p.
Egyéb URL
Publication:32678929 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32678929] [Approved]
5.
Dobos-Kovacs, Mihaly ; Hajdu, Akos ; Voros, Andras
Bitvector Support in the Theta Formal Verification Framework
In: Andrey, Brito; Fernando, Pedone (eds.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), United States of America : IEEE (2021) pp. 01-08. , 8 p.
DOI Scopus Other URL
Publication:32678888 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32678888] [Approved]
6.
Nagy, Simon Jozsef ; Szabo, Richard ; Vajda, Mate Levente ; Voros, Andras
Demonstrator for dependable edge-based cyber-physical systems
In: Andrey, Brito; Fernando, Pedone (eds.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), United States of America : IEEE (2021) pp. 1-8. , 8 p.
DOI Scopus Egyéb URL
Publication:32678847 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32678847] [Approved]
7.
Barcsa-Szabó, Áron ; Várady, Balázs ; Farkas, Rebeka ; Molnár, Vince ; Vörös, András
Towards Interactive Learning for Model-based Software Engineering
In: Renczes, Balázs (eds.) Proceedings of the 28th PhD Mini-Symposium
Bp, Hungary : BME MIT (2021) 48 p. pp. 28-31. , 4 p.
Teljes dokumentum
Publication:32527201 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32527201] [Approved]
8.
Csuvarszki, János Csanád ; Graics, Bence ; Vörös, András
Model-Driven Development of Heterogeneous Cyber-Physical Systems
In: Renczes, Balázs (eds.) Proceedings of the 28th PhD Mini-Symposium
Bp, Hungary : BME MIT (2021) 48 p. pp. 24-27. , 4 p.
Publication:31868691 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[31868691] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
9.
Nagy, Simon József ; Graics, Bence ; Marussy, Kristóf ; Vörös, András
Simulation-based Safety Assessment of High-level Reliability Models
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 316 pp. 240-260. , 21 p. (2020)
DOI Scopus Egyéb URL
Publication:31374125 Admin approved Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[31374125] [Admin approved]
10.
Graics, Bence ; Molnár, Vince ; Vörös, András ; Majzik, István ; Varró, Dániel
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems
SOFTWARE AND SYSTEMS MODELING 19 pp. 1483-1517. , 35 p. (2020)
DOI WoS Scopus
Publication:31343505 Published Core Journal Article (Article ) Scientific
Citing papers: 11 | Independent citation: 9 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 7 | WoS/Scopus assigned: 9 | Number of citations with DOI: 11
Article (Journal Article) | Scientific[31343505] [Approved]
All citations+mentions: 11, External citations: 9, Self citations: 2, Unhandled citations: 0
2024-05-07 21:09