1.
Bajczi, Levente ; Ádám, Zsófia ; Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
In: Kovács, Laura; Finkbeiner, Bernd (szerk.) Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
Cham, Svájc : Springer Nature Switzerland (2024) pp. 330-334. Paper: Chapter 16 , 5 p.
DOI Egyéb URL
Közlemény:34768972 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34768972] [Nyilvános]
2.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Somorjai, Márk ; Ádám, Zsófia ; Dobos-Kovács, Mihály ; Szekeres, Dániel ; Mondok, Milán ; Molnár, Vince
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 412-417. Paper: Chapter 30 , 6 p. (2024)
DOI Egyéb URL
Közlemény:34768428 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768428] [Nyilvános]
3.
Bajczi, Levente ✉ ; Szekeres, Dániel ; Mondok, Milán ; Ádám, Zsófia ; Somorjai, Márk ; Telbisz, Csanád ; Dobos-Kovács, Mihály ; Molnár, Vince
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 371-375. Paper: Chapter 23 , 5 p. (2024)
DOI Egyéb URL
Közlemény:34768422 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768422] [Nyilvános]
4.
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 10th Workshop on Horn Clauses for Verification and Synthesis
(2023)
Közlemény:33784283 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[33784283] [Nyilvános]
5.
Bajczi, Levente ; Ádám, Zsófia ; Molnár, Vince
C for Yourself: Comparison of Front-End Techniques for Formal Verification
In: Stefania, Gnesi; Nico, Plat (szerk.) FormaliSE '22: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2022) pp. 1-11. , 11 p.
DOI WoS Scopus
Közlemény:32836583 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32836583] [Egyeztetett]
6.
Ádám, Zsófia ; Bajczi, Levente ; Dobos-Kovács, Mihály ; Hajdu, Ákos ; Molnár, Vince
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 13244 pp. 474-478. , 5 p. (2022)
DOI WoS Scopus Egyéb URL
Közlemény:32801008 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[32801008] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
7.
Bajczi, Levente ; Vörös, András ; Molnár, Vince
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18 : 5 Paper: 89 , 21 p. (2019)
DOI WoS Scopus Egyéb URL
Közlemény:30865515 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[30865515] [Nyilvános]
2024-04-23 18:58