Print preview personal data approved: 2023. XI. 02. Publications |
2023
from data base, 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) type of document: Conference paper/Előadás vagy poszter cikke language: English
|
2020
from data base, 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. type of document: Journal paper/Article number of independent citations: 9 language: English URL |
2019
from data base, 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. type of document: Journal paper/Konferenciaközlemény number of independent citations: 1 language: English URL |
2019
from data base, 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. type of document: Part of book/Proceedings Paper number of independent citations: 27 language: English URL |
2019
from data base, 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 type of document: Journal paper/Konferenciaközlemény language: English URL |
2019
from data base, 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. type of document: Journal paper/Article number of independent citations: 3 language: English URL |
2018
from data base, 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. type of document: Journal paper/Article number of independent citations: 9 language: English URL |
2017
from data base, 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. type of document: Part of book/Proceedings Paper number of independent citations: 15 language: English URL |
2016
from data base, 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. type of document: Part of book/Proceedings Paper number of independent citations: 23 language: English URL |
2016
from data base, 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. type of document: Journal paper/Article number of independent citations: 4 language: English Full text |
| Number of independent citations to these publications: | 91 |
|
|