1.
Ádám, Zsófia ; Ayaziová, Paulína ; Bajczi, Levente ; Beyer, Dirk ; Jankola, Marek ; Lingsch-Rosenfeld, Marian ; Strejček, Jan
Non-termination Witnesses and Their Validation
In: IEEE - IEEE (szerk.) 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2025) pp. 1969-1981. , 13 p.
DOI WoS Scopus Egyéb URL
Közlemény:37023540 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[37023540] [Egyeztetett]
2.
Beyer, Dirk ✉ ; Kettl, Matthias ; Lemberger, Thomas
Fault Localization on Verification Witnesses
In: Neele, Thomas; Wijs, Anton (szerk.) Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Cham, Svájc : Springer Nature Switzerland (2024) pp. 204-223. , 20 p.
DOI WoS
Közlemény:35975240 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35975240] [Egyeztetett]
3.
Holter, Karoliine ; Saan, Simmo ; Lam, Patrick ; Vojdani, Vesal
Sound Static Data Race Verification for C: Is the Race Lost?
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 47 : 3 pp. 1-40. , 40 p. (2025)
DOI WoS Egyéb URL
Közlemény:37144498 Egyeztetett Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[37144498] [Egyeztetett]
4.
Beyer, Dirk ✉ ; Lemberger, Thomas
Six years later: testing vs. model checking
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 26 : 6 pp. 633-646. , 14 p. (2024)
DOI WoS Scopus
Közlemény:35899199 Egyeztetett Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[35899199] [Egyeztetett]
5.
Beyer, Dirk ✉
Competition on Software Verification and Witness Validation: SV-COMP 2023
In: Sankaranarayanan, S; Sharygina, N (szerk.) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023
Cham, Svájc : Springer International Publishing (2023) pp. 495-522. , 28 p.
DOI WoS Scopus Egyéb URL
Közlemény:35370193 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35370193] [Egyeztetett]
6.
Horváth, Benedek ; Molnár, Vince ; Graics, Bence ; Hajdu, Ákos ; Ráth, István ; Horváth, Ákos ; Karban, Robert ; Trancho, Gelys ; Micskei, Zoltán
Pragmatic verification and validation of industrial executable SysML models
SYSTEMS ENGINEERING 26 : 6 pp. 693-714. , 22 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33809830 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 21 | Független: 17 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 14 | Scopus jelölt: 12 | WoS/Scopus jelölt: 16 | DOI jelölt: 21
Szakcikk (Folyóiratcikk) | Tudományos[33809830] [Egyeztetett]
Nyilvános idéző összesen: 21, Független: 17, Függő: 4, Nem jelölt: 0
7.
Beyer, Dirk
Progress on Software Verification: SV-COMP 2022
In: Rosu, Grigore; Fisman, Dana (szerk.) Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 : Proceedings, Part II
Cham, Svájc : Springer Cham (2022) 493 p. pp. 375-402. Paper: Chapter 20 , 28 p.
DOI WoS Scopus Egyéb URL
Közlemény:33032072 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33032072] [Egyeztetett]
8.
Dobos-Kovács, Mihály ; Vörös, András
Evaluation of SMT solvers in abstraction-based software model checking
In: Anon, A (szerk.) Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2022) pp. 109-116. , 8 p.
DOI WoS Scopus Egyéb URL
Közlemény:33575796 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 0 | Független: 0 | Függő: 0 | Nem jelölt: 0 (Nem nyilvános: 1)
Konferenciaközlemény (Könyvrészlet) | Tudományos[33575796] [Egyeztetett]
2026-06-11 16:16