1.
Molnár, Vince ; Graics, Bence ; Vörös, András ; Tonetta, Stefano ; Cristoforetti, Luca ; Kimberly, Greg ; Dyer, Pamela ; Giammarco, Kristin ; Koethe, Manfred ; Hester, John et al.
Towards the Formal Verification of SysML v2 Models
In: ACM - ACM (szerk.) MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 1086-1095. , 10 p.
DOI WoS Scopus Egyéb URL
Közlemény:35500643 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: German BMBF [2022-1.2.4-EUREKA-2023-00013, 2022-1.2.4-EUREKA]
            Funding text: We would like to thank every member of the Formal Methods Working Group who helped us write this paper with their insights and comments. We are also grateful to Ed Seidewitz and Conrad Bock, who never get tired of answering our questions. SysMD received support (GENIAL, KI4BoardNet) from the German BMBF. Gamma received support project no. 2022-1.2.4-EUREKA-2023-00013 under the 2022-1.2.4-EUREKA funding scheme.

[35500643] [Nyilvános]
2.
Somorjai, Márk ; Dobos-Kovács, Mihály ; Ádám, Zsófia ; Bajczi, Levente ; Vörös, András
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 402 pp. 105-117. , 13 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:33784283 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Folyóiratcikk) | Tudományos 
Megjegyzés: Conference code: 199105            
            Export Date: 10 May 2024            
            Funding details: Nemzeti Kutatási, Fejlesztési és Innovaciós Alap, NKFIA            
            Funding text 1: Funding. This research was partially funded by the \\u00DANKP-22-{2,3}-I New National Excellence Program and the 2019-1.3.1-KK-2019-00004 project from the National Research, Development and Innovation Fund of Hungary.

[33784283] [Nyilvános]
3.
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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Export Date: 20 February 2023

[33575796] [Egyeztetett]
4.
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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[32679018] [Nyilvános]
5.
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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[32527201] [Nyilvános]
6.
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
Nyelv: Angol
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
7.
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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678888] [Nyilvános]
8.
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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678847] [Nyilvános]
9.
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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678929] [Nyilvános]
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 : 6 pp. 1483-1517. , 35 p. (2020)
DOI WoS Scopus
Zárolt Közlemény:31343505 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 22 | Független: 16 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 14 | Scopus jelölt: 19 | WoS/Scopus jelölt: 20 | DOI jelölt: 22
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Correspondence Address: Graics, B.; MTA-BME Lendület Cyber-physical Systems Research GroupHungary; email: graics@mit.bme.hu

[31343505] [Egyeztetett]
Nyilvános idéző összesen: 22, Független: 16, Függő: 6, Nem jelölt: 0
2025-01-25 14:16