Items where Author is "Micskei, Zoltán Imre"

Article

Wilhelm, Imola Mária and Dékány, Éva Katalin and Hatvani, István Gábor and Fröhlich, Georgina and Micskei, Zoltán Imre and Pach, Péter Pál and Toldy, Andrea and Solymosi, Katalin and Szentgáli-Tóth, Boldizsár Artúr and Lengyel, Balázs (2023) A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására. MAGYAR TUDOMÁNY, 184 (12). pp. 1544-1565. ISSN 0025-0325

Honfi, Dávid and Micskei, Zoltán Imre (2017) Supporting Unit Test Generation via Automated Isolation. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 61 (2). pp. 116-131. ISSN 2064-5260

Book Section

Vörös, András and Búr, Márton and Ráth, István Zoltán and Horváth, Ákos and Micskei, Zoltán Imre and Balogh, László and Hegyi, Bálint and Horváth, Benedek and Mázló, Zsolt and Varró, Dániel (2018) MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems. In: NASA Formal Methods. Lecture Notes in Computer Science (10811). Springer International Publishing, Cham, pp. 460-467. ISBN 978-3-319-77934-8

Hajdu, Ákos and Micskei, Zoltán Imre (2017) Exploratory Analysis of the Performance of a Configurable CEGAR Framework. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 34-37. ISBN 978-963-313-243-2

Tóth, Tamás and Hajdu, Ákos and Vörös, András and Micskei, Zoltán Imre and Majzik, István (2017) Theta: a Framework for Abstraction Refinement-Based Model Checking. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design. FMCAD Inc., Bécs, pp. 176-179. ISBN 978-0-9835678-7-5

Sallai, Gyula and Hajdu, Ákos and Tóth, Tamás and Micskei, Zoltán Imre (2017) Towards Evaluating Size Reduction Techniques for Software Model Checking. In: Proceedings of the Fifth International Workshop on Verification and Program Transformation. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association, Uppsala, pp. 1-17.