11.
Hajdu, Ákos ✉ ; Micskei, Zoltán
Efficient Strategies for CEGAR-Based Model Checking
JOURNAL OF AUTOMATED REASONING 64 pp. 1051-1091. , 41 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:30910225 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 15 | Független: 14 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 12 | WoS/Scopus jelölt: 12 | DOI jelölt: 13 (Nem nyilvános: 1)
Szakcikk (Folyóiratcikk) | Tudományos[30910225] [Egyeztetett]
Nyilvános idéző összesen: 15, Független: 14, Függő: 1, Nem jelölt: 0
12.
Laranjeiro, Nuno ; Gomez, Camilo ; Schiavone, Enrico ; Montecchi, Leonardo ; Carvalho, Manoel J. M. ; Lollini, Paolo ; Micskei, Zoltan
Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
In: Daniel, Menasche 9th Latin-American Symposium on Dependable Computing, LADC 2019
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers Inc. (2019) pp. 1-2. , 2 p.
DOI Scopus Egyéb URL
Közlemény:32872398 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32872398] [Admin láttamozott]
13.
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
14.
Szántó, Tamás ; Micskei, Zoltán
Measuring quality of datasets using prediction explanation
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. 24-27. , 4 p.
DOI
Közlemény:30688701 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[30688701] [Nyilvános]
15.
Honfi, Dávid ; Micskei, Zoltán
Classifying generated white-box tests: an exploratory study
SOFTWARE QUALITY JOURNAL 27 : 3 pp. 1339-1380. , 42 p. (2019)
DOI WoS Scopus Egyéb URL
Közlemény:30679767 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 6 | Függő: 0 | 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[30679767] [Nyilvános]
Nyilvános idéző összesen: 6, Független: 6, Függő: 0, Nem jelölt: 0
16.
Ákos, Hajdu ; Zoltán, Micskei
A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework
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. 32-35. , 4 p.
DOI REAL
Közlemény:3360591 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3360591] [Admin láttamozott]
17.
Honfi, Dávid ; Micskei, Zoltán Imre
Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics
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. 36-39. , 4 p.
DOI
Közlemény:3360455 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3360455] [Egyeztetett]
18.
Vörös, András ✉ ; Búr, Márton ; Ráth, István ; Horváth, Ákos ; Micskei, Zoltán ; Balogh, László ; Hegyi, Bálint ; Horváth, Benedek ; Mázló, Zsolt ; Varró, Dániel
MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems
In: Aaron, Dutle; César, Muñoz; Anthony, Narkawicz (szerk.) NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Cham, Svájc : Springer-Verlag (2018) pp. 460-467. , 7 p.
DOI REAL WoS Scopus
Közlemény:3349043 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3349043] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
19.
Honfi, Dávid ; Molnár, Gábor ; Micskei, Zoltán ✉ ; Majzik, István
Model-Based Regression Testing of Autonomous Robots
In: Tibor, Csöndes; Gábor, Kovács; György, Réthy (szerk.) SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Cham, Svájc : Springer-Verlag (2017) 184 p. pp. 119-135. , 16 p.
DOI WoS Scopus
Közlemény:3324834 Admin láttamozott Forrás Idéző Duplum Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3324834] [Admin láttamozott]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
20.
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, 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: 26 | Független: 16 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 15 | WoS/Scopus jelölt: 17 | DOI jelölt: 20
Konferenciaközlemény (Könyvrészlet) | Tudományos[3266689] [Egyeztetett]
Nyilvános idéző összesen: 26, Független: 16, Függő: 10, Nem jelölt: 0
2024-05-05 00:02