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. (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]
2.
Dobos-Kovács, Mihály ; Vörös, András
Evaluation of SMT solvers in abstraction-based software model checking
In: Anon, A (szerk.) Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2022) pp. 109-116. , 8 p.
DOI WoS Scopus Egyéb URL
Közlemény:33575796 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33575796] [Egyeztetett]
3.
Richárd, Szabó ; András, Vörös
Dependability Modeling of Cyber-Physical Systems in the Gamma Framework
In: Renczes, Balázs (szerk.) Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2022) pp. 20-23. , 4 p.
Közlemény:32679018 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32679018] [Nyilvános]
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, Németország : arXiv.org (2021) pp. 1-4. , 4 p.
Egyéb URL
Közlemény:32678929 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678929] [Nyilvános]
5.
Dobos-Kovacs, Mihaly ; Hajdu, Akos ; Voros, Andras
Bitvector Support in the Theta Formal Verification Framework
In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2021) pp. 01-08. , 8 p.
DOI Scopus Egyéb URL
Közlemény:32678888 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678888] [Nyilvános]
6.
Nagy, Simon Jozsef ; Szabo, Richard ; Vajda, Mate Levente ; Voros, Andras
Demonstrator for dependable edge-based cyber-physical systems
In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2021) pp. 1-8. , 8 p.
DOI Scopus Egyéb URL
Közlemény:32678847 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678847] [Nyilvános]
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 (szerk.) Proceedings of the 28th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2021) 48 p. pp. 28-31. , 4 p.
Teljes dokumentum
Közlemény:32527201 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32527201] [Nyilvános]
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 (szerk.) Proceedings of the 28th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2021) 48 p. pp. 24-27. , 4 p.
Közlemény:31868691 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[31868691] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 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
Közlemény:31374125 Admin láttamozott Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[31374125] [Admin láttamozott]
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
Közlemény:31343505 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 11 | Független: 9 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 7 | WoS/Scopus jelölt: 9 | DOI jelölt: 11
Szakcikk (Folyóiratcikk) | Tudományos[31343505] [Nyilvános]
Nyilvános idéző összesen: 11, Független: 9, Függő: 2, Nem jelölt: 0
2024-04-26 22:06