|
|
Személyi adatlap |
Nyomtatási kép Az adatok hitelességéről nyilatkozott: 2023. XI. 02. Közlemények |
2023
adattárból, 2024. I. 04. |
Somorjai Márk, Dobos-Kovács Mihály, Bajczi Levente, Ádám Zsófia, Vörös András: Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification, In: David, Monniaux; Jose, F. Morales (szerk.) 10th Workshop on Horn Clauses for Verification and Synthesis, (2023) dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke nyelv: angol
|
2020
adattárból, 2024. I. 04. |
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: pp. 1483-1517. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 9 nyelv: angol URL |
2019
adattárból, 2024. I. 04. |
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. dokumentum típusa: Folyóiratcikk/Konferenciaközlemény független idéző közlemények száma: 1 nyelv: angol URL |
2019
adattárból, 2024. I. 04. |
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 (szerk.) Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE (2019) pp. 89-94. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 27 nyelv: angol URL |
2019
adattárból, 2024. I. 04. |
Bajczi Levente, Vörös András, Molnár Vince: Will My Program Break on This Faulty Processor?, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18: (5) 89 dokumentum típusa: Folyóiratcikk/Konferenciaközlemény nyelv: angol URL |
2019
adattárból, 2024. I. 04. |
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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 3 nyelv: angol URL |
2018
adattárból, 2024. I. 04. |
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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 9 nyelv: angol URL |
2017
adattárból, 2024. I. 04. |
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, FMCAD Association; IEEE (2017) pp. 176-179. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 15 nyelv: angol URL |
2016
adattárból, 2024. I. 04. |
Oszkár Semeráth, András Vörös, Dániel Varró: Iterative and incremental model generation by logic solvers, In: Perdita, Stevens; Andrzej, Wasowski (szerk.) Fundamental Approaches to Software Engineering, Springer-Verlag (2016) pp. 87-103. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 23 nyelv: angol URL |
2016
adattárból, 2024. I. 04. |
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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 4 nyelv: angol Teljes szöveg |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 91 |
|
|
|
|
|