| 2025 | AST | A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. | Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro |
| 2025 | ICONIP | DFIR-Metric: A Benchmark Dataset for Evaluating Large Language Models in Digital Forensics and Incident Response. | Bilel Cherif, Tams Bisztray, Richard A. Dubniczky, Aaesha Aldahmani, Saeed Alshehhi, Norbert Tihanyi |
| 2025 | TACAS | ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). | Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael S Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro |
| 2025 | TASE | CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection. | Richard A. Dubniczky, Krisztofer Zoltn Horvt, Tams Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi |
| 2024 | ISSTA | JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. | Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro |
| 2024 | TACAS | ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). | Rafael S Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Braue, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro |
| 2020 | SYNASC | A general construction for generating pseudorandom sequences using the digit expansion of real functions. | Norbert Tihanyi, Bertalan Borsos |
| 2018 | SYNASC | Computation Results of the Riemann Zeta Search Project. | Norbert Tihanyi, Attila Kovcs |
| 2014 | SYNASC | Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical Line. | Norbert Tihanyi |