Követés
Levente Bajczi
Levente Bajczi
PhD Student, Budapest University of Technology and Economics
E-mail megerősítve itt: mit.bme.hu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Z Ádám, L Bajczi, M Dobos-Kovács, Á Hajdu, V Molnár
International Conference on Tools and Algorithms for the Construction and …, 2022
62022
Will My Program Break on This Faulty Processor? Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
L Bajczi, A Vörös, V Molnár
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-21, 2019
22019
C for yourself: comparison of front-end techniques for formal verification
L Bajczi, Z Ádám, V Molnár
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022
12022
Handling Axiomatic Memory Models in Abstraction-Based Model Checking of Concurrent and Distributed Systems
L Bajczi, V Molnár
2022
Stateless software model checking parameterized with memory consistency models
L Bajczi, V Molnár
2020
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–5