2025S

• Seminar Formal Methods / 181.221 / SE

• Combining Computer Algebra with SAT for Word-Level Reasoning
  2024 – 2027 / Austrian Science Fund (FWF)

• Fuzzing-based grammar learning from a minimal set of seed inputs / Sochor, H., Ferrarotti, F., & Kaufmann, D. (2024). Fuzzing-based grammar learning from a minimal set of seed inputs. JOURNAL OF COMPUTER LANGUAGES, 78, Article 101252. https://doi.org/10.1016/j.cola.2023.101252
  Project: ARTIST (2021–2026)
• SMT Solving over Finite Field Arithmetic / Hader, T., Kaufmann, D., & Kovacs, L. (2023). SMT Solving over Finite Field Arithmetic. In R. Piscac & A. Voronkov (Eds.), Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 238–256). https://doi.org/10.29007/4n6w
  Project: ARTIST (2021–2026)
• Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra / Kaufmann, D., & Biere, A. (2023). Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra. International Journal on Software Tools for Technology Transfer, 25(2), 133–144. https://doi.org/10.1007/s10009-022-00688-6
  Download: PDF (1.23 MB)