Daniela Kaufmann

According to our database, Daniela Kaufmann authored at least 21 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Fuzzing-based grammar learning from a minimal set of seed inputs.

Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann

J. Comput. Lang., March, 2024

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver.

Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács

CoRR, 2024

Life span of SAT techniques.

Mathias Fleury, Daniela Kaufmann

CoRR, 2024

2023

Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.

Daniela Kaufmann, Armin Biere

Int. J. Softw. Tools Technol. Transf., April, 2023

SMT Solving over Finite Field Arithmetic.

Thomas Hader, Daniela Kaufmann, Laura Kovács

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Fuzzing and Delta Debugging And-Inverter Graph Verification Tools.

Daniela Kaufmann, Armin Biere

Proceedings of the Tests and Proofs - 16th International Conference, 2022

Fuzzing-Based Grammar Inference.

Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann

Proceedings of the Model and Data Engineering: 11th International Conference, 2022

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification.

Daniela Kaufmann, Paul Beame, Armin Biere, Jakob Nordström

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

AMulet 2.0 for Verifying Multiplier Circuits.

Daniela Kaufmann, Armin Biere

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Formale Verifikation von Multiplizierern mit Computeralgebra.

Daniela Kaufmann

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

Incremental column-wise verification of arithmetic circuits using computer algebra.

Daniela Kaufmann, Armin Biere, Manuel Kauers

Formal Methods Syst. Des., 2020

Practical Algebraic Calculus Checker.

Mathias Fleury, Daniela Kaufmann

Arch. Formal Proofs, 2020

The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus.

Daniela Kaufmann, Mathias Fleury, Armin Biere

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

From DRUP to PAC and Back.

Daniela Kaufmann, Armin Biere, Manuel Kauers

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Nullstellensatz-Proofs for Multiplier Verification.

Daniela Kaufmann, Armin Biere

Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019

SAT, Computer Algebra, Multipliers.

Daniela Ritirc, Armin Biere, Manuel Kauers

Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019

Verifying Large Multipliers by Combining SAT and Computer Algebra.

Daniela Kaufmann, Armin Biere, Manuel Kauers

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

A Practical Polynomial Calculus for Arithmetic Circuit Verification.

Daniela Ritirc, Armin Biere, Manuel Kauers

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

Improving and extending the algebraic approach for verifying gate-level multipliers.

Daniela Ritirc, Armin Biere, Manuel Kauers

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Challenges in Verifying Arithmetic Circuits Using Computer Algebra.

Armin Biere, Manuel Kauers, Daniela Ritirc

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Column-wise verification of multipliers using computer algebra.

Daniela Ritirc, Armin Biere, Manuel Kauers

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017