11.
Mondok, Milán ; Vörös, András
Abstraction-Based Model Checking of Linear Temporal Properties
In: Balázs, Renczes (szerk.) Proceedings of the 27th PhD Mini-Symposium
Budapest, Magyarország : Budapest University of Technology and Economics, Department of Measurement and Information Systems (2020) pp. 29-32. , 4 p.
REAL
Közlemény:31254378 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31254378] [Nyilvános]
12.
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 (szerk.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2019) 32 p. pp. 12-15. , 4 p.
Repozitóriumban
Közlemény:31396950 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31396950] [Nyilvános]
13.
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 pp. 1-24. , 24 p. (2019)
DOI WoS Scopus Egyéb URL
Közlemény:30917749 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 2 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[30917749] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
14.
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 Egyéb URL
Közlemény:30865515 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[30865515] [Nyilvános]
15.
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
Közlemény:30748705 Nyilvános Forrás Idéző Folyóiratcikk (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 (Folyóiratcikk) | Tudományos[30748705] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
16.
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: Alexander, Pretschner; Sebastian, Voss Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Munich, Németország : IEEE (2019) pp. 89-94. , 6 p.
DOI ISBN: 9781728125367 WoS Scopus
Közlemény:30748490 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 30 | Független: 29 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748490] [Admin láttamozott]
Nyilvános idéző összesen: 30, Független: 29, Függő: 1, Nem jelölt: 0
17.
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
Közlemény:30704172 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[30704172] [Nyilvános]
18.
Gábor, Rabatin ; András, Vörös
Towards the Verification of Neural Networks for Critical Cyber-Physical Systems
In: Pataki, Béla (szerk.) Proceedings of the 25th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2018) 69 p. pp. 53-56. , 4 p.
Közlemény:3398334 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3398334] [Nyilvános]
19.
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
In: Alessandra, Russo; Andy, Schürr (szerk.) Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Cham (Németország), Németország : Springer-Verlag (2018) 357 p. pp. 111-128. , 17 p.
DOI REAL WoS Scopus
Közlemény:3397893 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 2 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[3397893] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
20.
Vince, Molnár ; Bence, Graics ; András, Vörös ; István, Majzik ; Dániel, Varró
The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems
In: Ivica, Crnkovic; Marsha, Chechik; Mark, Harman (szerk.) Proceedings of the 40th International Conference on Software Engineering Companion
New York, Amerikai Egyesült Államok : ACM Press (2018) pp. 113-116. , 4 p.
DOI REAL WoS
Közlemény:3368581 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 14 | Független: 13 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 11 | Scopus jelölt: 5 | WoS/Scopus jelölt: 11 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[3368581] [Nyilvános]
Nyilvános idéző összesen: 14, Független: 13, Függő: 1, Nem jelölt: 0
2024-05-08 04:15