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 Other URL
Publication:30910225 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 15 | Independent citation: 14 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 12 | WoS/Scopus assigned: 12 | Number of citations with DOI: 13 (Not published: 1)
Article (Journal Article) | Scientific[30910225] [Validated]
All citations+mentions: 15, External citations: 14, Self citations: 1, Unhandled citations: 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), United States of America : Institute of Electrical and Electronics Engineers Inc. (2019) pp. 1-2. , 2 p.
DOI Scopus Egyéb URL
Publication:32872398 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32872398] [Admin approved]
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)
München, Germany : Institute of Electrical and Electronics Engineers (2019) pp. 89-94. , 6 p.
DOI ISBN: 9781728125367 WoS Scopus
Publication:30748490 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 30 | Independent citation: 29 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 20 | Number of citations in Scopus: 23 | WoS/Scopus assigned: 26 | Number of citations with DOI: 27
Conference paper (Chapter in Book) | Scientific[30748490] [Admin approved]
All citations+mentions: 30, External citations: 29, Self citations: 1, Unhandled citations: 0
14.
Szántó, Tamás ; Micskei, Zoltán
Measuring quality of datasets using prediction explanation
In: Pataki, Béla (eds.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Budapest, Hungary : BME MIT (2019) 32 p. pp. 24-27. , 4 p.
DOI
Publication:30688701 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[30688701] [Approved]
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 Other URL
Publication:30679767 Published Core Journal Article (Article ) Scientific
Citing papers: 6 | Independent citation: 6 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 6 | WoS/Scopus assigned: 6 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[30679767] [Approved]
All citations+mentions: 6, External citations: 6, Self citations: 0, Unhandled citations: 0
16.
Ákos, Hajdu ; Zoltán, Micskei
A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework
In: Pataki, Béla (eds.) Proceedings of the 25th PhD Mini-Symposium
Budapest, Hungary : BME MIT (2018) 69 p. pp. 32-35. , 4 p.
DOI REAL
Publication:3360591 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3360591] [Admin approved]
17.
Honfi, Dávid ; Micskei, Zoltán Imre
Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics
In: Pataki, Béla (eds.) Proceedings of the 25th PhD Mini-Symposium
Budapest, Hungary : BME MIT (2018) 69 p. pp. 36-39. , 4 p.
DOI
Publication:3360455 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3360455] [Validated]
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 (eds.) NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Cham, Switzerland : Springer (2018) pp. 460-467. , 7 p.
DOI REAL WoS Scopus
Publication:3349043 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3349043] [Validated]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 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 (eds.) SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Cham, Switzerland : Springer (2017) 184 p. pp. 119-135. , 16 p.
DOI WoS Scopus
Publication:3324834 Admin approved Core Citing Duplum Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 5 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3324834] [Admin approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 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 (eds.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Wien, Bécs, Austria, Piscataway (NJ), United States of America : FMCAD Association, Institute of Electrical and Electronics Engineers (2017) pp. 176-179. , 4 p.
DOI REAL WoS Scopus Teljes dokumentum
Publication:3266689 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 26 | Independent citation: 16 | Self citation: 10 | Unknown citation: 0 | Number of citations in WoS: 12 | Number of citations in Scopus: 15 | WoS/Scopus assigned: 17 | Number of citations with DOI: 20
Conference paper (Chapter in Book) | Scientific[3266689] [Validated]
All citations+mentions: 26, External citations: 16, Self citations: 10, Unhandled citations: 0
2024-05-07 08:07