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: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York City, United States of America : ACM (2024) pp. 1086-1095. , 10 p.
DOI Other URL
Publication:35500643 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[35500643] [Approved]
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 Other URL
Publication:33784283 Published Core Citing Journal Article (Conference paper in journal ) Scientific
Language: English
Conference paper in journal (Journal Article) | Scientific 
Comment: 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] [Approved]
3.
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
Language: English
Conference paper (Chapter in Book) | Scientific 
Comment: Export Date: 20 February 2023

[33575796] [Validated]
4.
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
Language: English
Conference paper (Chapter in Book) | Scientific[32679018] [Approved]
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 (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
Language: English
Conference paper (Chapter in Book) | Scientific[32527201] [Approved]
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 (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
Language: English
Conference paper (Chapter in Book) | Scientific[31868691] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
7.
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
Language: English
Conference paper (Chapter in Book) | Scientific[32678888] [Approved]
8.
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
Language: English
Conference paper (Chapter in Book) | Scientific[32678847] [Approved]
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, Germany : arXiv.org (2021) pp. 1-4. , 4 p.
Egyéb URL
Publication:32678929 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[32678929] [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 : 6 pp. 1483-1517. , 35 p. (2020)
DOI WoS Scopus
Locked Publication:31343505 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 22 | Independent citation: 16 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 14 | Number of citations in Scopus: 16 | WoS/Scopus assigned: 17 | Number of citations with DOI: 22
Language: English
Article (Journal Article) | Scientific 
Comment: Correspondence Address: Graics, B.; MTA-BME Lendület Cyber-physical Systems Research GroupHungary; email: graics@mit.bme.hu

[31343505] [Validated]
All citations+mentions: 22, External citations: 16, Self citations: 6, Unhandled citations: 0
2024-12-04 03:13