Folgen
Daniela Kaufmann
Daniela Kaufmann
Sonstige NamenDaniela Ritirc
Bestätigte E-Mail-Adresse bei tuwien.ac.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
722019
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
612017
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
362018
Incremental column-wise verification of arithmetic circuits using computer algebra
D Kaufmann, A Biere, M Kauers
Formal Methods in System Design 56, 22-54, 2020
202020
AMulet 2.0 for Verifying Multiplier Circuits
D Kaufmann, A Biere
Tools and Algorithms for the Construction and Analysis of Systems27th …, 2021
192021
Formal Verification of Multiplier Circuits using Computer Algebra
D Kaufmann
Institute of Formal Models and Verification, Johannes Kepler University Linz, 2020
152020
A practical polynomial calculus for arithmetic circuit verification
D Ritirc, A Biere, M Kauers
3rd International Workshop on Satisfiability Checking and Symbolic …, 2018
152018
From DRUP to PAC and back
D Kaufmann, A Biere, M Kauers
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 654-657, 2020
122020
Arithmetic verification problems submitted to the SAT Race 2019
D Kaufmann, M Kauers, A Biere, D Cok
Proc. of SAT Race 2019, 2019
122019
SAT, computer algebra, multipliers
D Kaufmann, A Biere, M Kauers
Vampire, 1-18, 2018
122018
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
11*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
82022
Nullstellensatz-proofs for multiplier verification
D Kaufmann, A Biere
Computer Algebra in Scientific Computing: 22nd International Workshop, CASC …, 2020
72020
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
52017
Formally Modeling and Analyzing Mathematical Algorithms with Software Specification Languages & Tools
D Ritirc
Master’s thesis, RISC, Johannes Kepler University, Linz, Austria, 2016
52016
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
42023
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
22022
SMT Solving over Finite Field Arithmetic
T Hader, D Kaufmann, L Kovács
arXiv preprint arXiv:2305.00028, 2023
12023
Fuzzing-Based Grammar Inference
H Sochor, F Ferrarotti, D Kaufmann
International Conference on Model and Data Engineering, 72-86, 2022
12022
Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning-A Survey
D Kaufmann
Recent Findings in Boolean Techniques: Selected Papers from the 14th …, 2021
12021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20