11.
Mondok, Milán ; Vörös, András
Abstraction-Based Model Checking of Linear Temporal Properties
In: Balázs, Renczes (eds.) Proceedings of the 27th PhD Mini-Symposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem, Villamosmérnöki és Informatikai Kar, Méréstechnika és Információs Rendszerek Tanszék (2020) pp. 29-32. , 4 p.
REAL
Publication:31254378 Published Core Citing Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[31254378] [Approved]
12.
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 WoS Scopus Other URL
Publication:31374125 Published Core Citing Journal Article (Conference paper in journal ) Scientific
Language: English
Conference paper in journal (Journal Article) | Scientific 
Comment: Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest, Hungary            
            Budapest University of Technology and Economics, Department of Measurement and Information Systems MTA-BME Lendület Cyber-physical Systems Research Group, Budapest, Hungary            
            Export Date: 24 October 2024

[31374125] [Approved]
13.
Bajczi, Levente ; Vörös, András ; Molnár, Vince
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18 : 5 Paper: 89 , 21 p. (2019)
DOI WoS Scopus Other URL
Publication:30865515 Published Core Journal Article (Conference paper in journal ) Scientific
Language: English
Conference paper in journal (Journal Article) | Scientific[30865515] [Approved]
14.
Búr, Márton ; Szilágyi, Gábor ; Vörös, András ✉ ; Varró, Dániel
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22 : 1 pp. 79-102. , 24 p. (2019)
DOI WoS Scopus Other URL
Locked Publication:30917749 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 13 | Independent citation: 13 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 13 | WoS/Scopus assigned: 13 | Number of citations with DOI: 13
Language: English
Article (Journal Article) | Scientific 
Comment: Correspondence Address: Vörös, A.; Department of Measurement and Information Systems, Hungary; email: vori@mit.bme.hu

[30917749] [Validated]
All citations+mentions: 13, External citations: 13, Self citations: 0, Unhandled citations: 0
15.
Dobos-Kovács, Mihály ; Vörös, András
Model checking and test generation: towards a combined approach to software verification
In: Pataki, Béla (eds.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Bp, Hungary : BME MIT (2019) 32 p. pp. 12-15. , 4 p.
Repozitóriumban
Publication:31396950 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[31396950] [Approved]
16.
Farkas, Rebeka ; Tóth, Tamás ; Hajdu, Ákos ; Vörös, András
Backward reachability analysis for timed automata with data variables
ELECTRONIC COMMUNICATIONS OF THE EASST 76 pp. 1-20. , 20 p. (2019)
DOI Scopus Scopus Teljes dokumentum
Publication:30748705 Published Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Language: English
Conference paper in journal (Journal Article) | Scientific 
Comment: Scopus:hiba:85121439778 2022-10-12 15:23 év nem egyezik

[30748705] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
17.
István, Majzik ; Oszkár, Semeráth ; Csaba, Hajdu ; Kristóf, Marussy ; Zoltán, Szatmári ; Zoltán, Micskei ; András, Vörös ; Aren, A. Babikian ; Dániel, Varró
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
In: Burgueno, L; Voss, S; Pretschner, A; Yue, T; Kessentini, M (eds.) 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Los Alamitos (CA), United States of America : IEEE Computer Society (2019) pp. 89-94. , 6 p.
DOI WoS Scopus
Locked Publication:30748490 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 42 | Independent citation: 37 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 28 | Number of citations in Scopus: 34 | WoS/Scopus assigned: 37 | Number of citations with DOI: 39
Language: English
Conference paper (Chapter in Book) | Scientific[30748490] [Validated]
All citations+mentions: 42, External citations: 37, Self citations: 5, Unhandled citations: 0
18.
Szabó, Richárd ; Mázló, Zsolt ; Vörös, András ; Pataricza, András
Design and Implementation of a Dependable, Smart CPS Demonstrator
In: Conference on Software Technology and Cyber Security : STCS 2019
(2019) p. 1
Publication:30704172 Published Core Conference paper (Abstract ) Scientific
Language: English
Abstract (Conference paper) | Scientific[30704172] [Approved]
19.
Gábor, Rabatin ; András, Vörös
Towards the Verification of Neural Networks for Critical Cyber-Physical Systems
In: Pataki, Béla (eds.) Proceedings of the 25th PhD Mini-Symposium
Budapest, Hungary : BME MIT (2018) 69 p. pp. 53-56. , 4 p.
Publication:3398334 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[3398334] [Approved]
20.
Márton, Búr ✉ ; Gábor, Szilágyi ; András, Vörös ; Dániel, Varró
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
LECTURE NOTES IN COMPUTER SCIENCE 10802 pp. 111-128. , 17 p. (2018)
DOI REAL WoS Scopus
Locked Publication:3397893 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 15 | Independent citation: 11 | Self citation: 4 | Unknown citation: 0 | Number of citations in WoS: 11 | Number of citations in Scopus: 15 | WoS/Scopus assigned: 15 | Number of citations with DOI: 15
Language: English
Article (Journal Article) | Scientific 
Comment: Correspondence Address: Búr, M.; MTA-BME Lendület Cyber-Physical Systems Research GroupHungary; email: bur@mit.bme.hu

[3397893] [Validated]
All citations+mentions: 15, External citations: 11, Self citations: 4, Unhandled citations: 0
2025-01-25 14:45