Daniela Kaufmann

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 18

Top Topics

Boolean Satisfiability

Computer Algebra

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
MCSat-based Finite Field Reasoning in the Yices2 SMT Solver. CoRR (2024)
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
PolySAT: Word-level Bit-vector Reasoning in Z3. CoRR (2024)
Mathias Fleury, Daniela Kaufmann
Life span of SAT techniques. CoRR (2024)
Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann
Fuzzing-based grammar learning from a minimal set of seed inputs. J. Comput. Lang. 78 (2024)
Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper). IJCAR (1) (2024)
Thomas Hader, Daniela Kaufmann, Laura Kovács
SMT Solving over Finite Field Arithmetic. LPAR (2023)
Thomas Hader, Daniela Kaufmann, Laura Kovács
SMT Solving over Finite Field Arithmetic. CoRR (2023)
Daniela Kaufmann, Armin Biere
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Daniela Kaufmann, Armin Biere
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. TAP@STAF (2022)
Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann
Fuzzing-Based Grammar Inference. MEDI (2022)
Daniela Kaufmann, Paul Beame, Armin Biere, Jakob Nordström
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification. DATE (2022)
Daniela Kaufmann, Armin Biere
AMulet 2.0 for Verifying Multiplier Circuits. TACAS (2) (2021)
Daniela Kaufmann, Mathias Fleury, Armin Biere
The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus. FMCAD (2020)
Daniela Kaufmann, Armin Biere
Nullstellensatz-Proofs for Multiplier Verification. CASC (2020)
Daniela Kaufmann, Armin Biere, Manuel Kauers
Incremental column-wise verification of arithmetic circuits using computer algebra. Formal Methods Syst. Des. 56 (1) (2020)
Mathias Fleury, Daniela Kaufmann
Practical Algebraic Calculus Checker. Arch. Formal Proofs 2020 (2020)
Daniela Kaufmann, Armin Biere, Manuel Kauers
From DRUP to PAC and Back. DATE (2020)
Daniela Kaufmann, Armin Biere, Manuel Kauers
Verifying Large Multipliers by Combining SAT and Computer Algebra. FMCAD (2019)