1.
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 : 402 pp. 105-117. , 13 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:33784283 Egyeztetett Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Folyóiratcikk) | Tudományos[33784283] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
2.
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
Központi kezelésű Közlemény:31343505 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 27 | Független: 17 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 23 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27
Szakcikk (Folyóiratcikk) | Tudományos[31343505] [Egyeztetett]
Nyilvános idéző összesen: 27, Független: 17, Függő: 10, Nem jelölt: 0
3.
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]
4.
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 Egyéb URL
Központi kezelésű Közlemény:30917749 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 13 | Független: 13 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 13 | WoS/Scopus jelölt: 13 | DOI jelölt: 13
Szakcikk (Folyóiratcikk) | Tudományos[30917749] [Egyeztetett]
Nyilvános idéző összesen: 13, Független: 13, Függő: 0, Nem jelölt: 0
5.
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
6.
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 (szerk.) 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Los Alamitos, Amerikai Egyesült Államok : IEEE Computer Society (2019) pp. 89-94. , 6 p.
DOI WoS Scopus
Központi kezelésű Közlemény:30748490 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 50 | Független: 44 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 37 | Scopus jelölt: 35 | WoS/Scopus jelölt: 44 | DOI jelölt: 47 (Nem nyilvános: 2)
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748490] [Egyeztetett]
Nyilvános idéző összesen: 50, Független: 44, Függő: 6, Nem jelölt: 0
7.
Vörös, András ; Darvas, Dániel ; Hajdu, Ákos ; Klenik, Attila ; Marussy, Kristóf ; Molnár, Vince ; Bartha, Tamás ; Majzik, István
Industrial Applications of the PetriDotNet Modelling and Analysis Tool
SCIENCE OF COMPUTER PROGRAMMING 157 pp. 17-40. , 24 p. (2018)
DOI ScienceDirect REAL WoS Scopus Egyéb URL
Közlemény:3265337 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 9 | Független: 9 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 3 | WoS/Scopus jelölt: 5 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[3265337] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 9, Függő: 0, Nem jelölt: 0
8.
Tóth, Tamás ; Hajdu, Ákos ; Vörös, András ; Micskei, Zoltán ; Majzik, István
Theta: a Framework for Abstraction Refinement-Based Model Checking
In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Vienna, Ausztria, Piscataway (NJ), Amerikai Egyesült Államok : FMCAD Association, Institute of Electrical and Electronics Engineers (IEEE) (2017) pp. 176-179. , 4 p.
DOI REAL WoS Scopus Teljes dokumentum
Közlemény:3266689 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 41 | Független: 24 | Függő: 17 | Nem jelölt: 0 | WoS jelölt: 26 | Scopus jelölt: 25 | WoS/Scopus jelölt: 32 | DOI jelölt: 35 (Nem nyilvános: 5)
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 41, Független: 24, Függő: 17, Nem jelölt: 0
9.
Molnár, Vince ✉ ; Vörös, András ; Darvas, Dániel ; Bartha, Tamás ; Majzik, István
Component-wise incremental LTL model checking
FORMAL ASPECTS OF COMPUTING 28 : 3 pp. 345-379. , 35 p. (2016)
DOI SZTAKI WoS Scopus Teljes dokumentum Google scholar
Közlemény:3025948 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 8 | Független: 4 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[3025948] [Egyeztetett]
Nyilvános idéző összesen: 8, Független: 4, Függő: 4, Nem jelölt: 0
10.
Semeráth, Oszkár ✉ ; Vörös, András ; Varró, Dániel
Iterative and incremental model generation by logic solvers
LECTURE NOTES IN COMPUTER SCIENCE 9633 pp. 87-103. , 17 p. (2016)
DOI REAL WoS Scopus
Központi kezelésű Közlemény:3018468 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 41 | Független: 26 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 37 | WoS/Scopus jelölt: 37 | DOI jelölt: 34
Szakcikk (Folyóiratcikk) | Tudományos[3018468] [Egyeztetett]
Nyilvános idéző összesen: 41, Független: 26, Függő: 15, Nem jelölt: 0
2026-04-17 13:38