Follow
Daniela Kaufmann
Title
Cited by
Cited by
Year
Verifying large multipliers by combining SAT and computer algebra
D Kaufmann, A Biere, M Kauers
2019 Formal Methods in Computer Aided Design (FMCAD), 28-36, 2019
902019
Column-wise verification of multipliers using computer algebra
D Ritirc, A Biere, M Kauers
2017 Formal Methods in Computer Aided Design (FMCAD), 23-30, 2017
652017
Improving and extending the algebraic approach for verifying gate-level multipliers
D Ritirc, A Biere, M Kauers
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
392018
Incremental column-wise verification of arithmetic circuits using computer algebra
D Kaufmann, A Biere, M Kauers
Formal Methods in System Design 56 (1), 22-54, 2020
242020
AMulet 2.0 for Verifying Multiplier Circuits
D Kaufmann, A Biere
Tools and Algorithms for the Construction and Analysis of Systems27th …, 2021
212021
Formal Verification of Multiplier Circuits using Computer Algebra
D Kaufmann
Institute of Formal Models and Verification, Johannes Kepler University Linz, 2020
172020
A practical polynomial calculus for arithmetic circuit verification
D Ritirc, A Biere, M Kauers
3rd International Workshop on Satisfiability Checking and Symbolic …, 2018
172018
From DRUP to PAC and back
D Kaufmann, A Biere, M Kauers
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 654-657, 2020
152020
Arithmetic verification problems submitted to the SAT Race 2019
D Kaufmann, M Kauers, A Biere, D Cok
Proc. of SAT Race 2019, 2019
142019
SAT, computer algebra, multipliers
D Kaufmann, A Biere, M Kauers
Vampire, 1-18, 2018
142018
The Proof Checkers Pacheck and Pasteque for the Practical Algebraic Calculus
D Kaufmann, M Fleury, A Biere
2020 Formal Methods in Computer Aided Design (FMCAD) 1, 264-269, 2020
13*2020
Adding dual variables to algebraic reasoning for gate-level multiplier verification
D Kaufmann, P Beame, A Biere, J Nordström
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022
102022
Nullstellensatz-proofs for multiplier verification
D Kaufmann, A Biere
Computer Algebra in Scientific Computing: 22nd International Workshop, CASC …, 2020
102020
Challenges in verifying arithmetic circuits using computer algebra
A Biere, M Kauers, D Ritirc
2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017
62017
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
D Kaufmann, A Biere
International Journal on Software Tools for Technology Transfer 25 (2), 133-144, 2023
52023
Formally Modeling and Analyzing Mathematical Algorithms with Software Specification Languages & Tools
D Ritirc
Master’s thesis, RISC, Johannes Kepler University, Linz, Austria, 2016
52016
SMT Solving over Finite Field Arithmetic
T Hader, D Kaufmann, L Kovács
Proceedings of 24th International Conference on Logic for Programming …, 2023
42023
Fuzzing and delta debugging and-inverter graph verification tools
D Kaufmann, A Biere
International Conference on Tests and Proofs, 69-88, 2022
42022
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker
D Kaufmann, M Fleury, A Biere, M Kauers
Formal Methods in System Design, 1-35, 2022
32022
Fuzzing-Based Grammar Inference
H Sochor, F Ferrarotti, D Kaufmann
International Conference on Model and Data Engineering, 72-86, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20