2021

Daniela Kaufmann

Formale Verifikation von Multiplizierern mit Hilfe von Computeralgebra Workshop

Kolloquium GI Dissertationspreis, online, 2021.

Abstract | Links

Daniela Kaufmann

AMulet 2.0 for Verifying Multiplier Circuits Conference

27th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), online, 2021.

Abstract | Links

Daniela Kaufmann

Combining SAT and Computer Algebra for Circuit Verification WorkshopInvited

Beyond SAT Workshop at Simons Institute for the Theory of Computing, online, 2021.

Abstract | Links

2020

Daniela Kaufmann, Mathias Fleury

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

20th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'20), online, 2020.

Abstract | Links

Daniela Kaufmann

Formal Verification of Integer Multiplier Circuits using Computer Algebra Keynote

14th Intl. Workshop on Boolean Problems (IWSBP), online, 2020.

Abstract | Links

Daniela Kaufmann

Nullstellensatz-Proofs for Multiplier Verification Conference

Computer Algebra in Scientific Computing (CASC'20), online, 2020.

Abstract | Links

Daniela Kaufmann

Formal Verification of Multiplier Circuits using Computer Algebra PhD Thesis

PhD Defense, Johannes Kepler University, Linz, Austria, 2020.

Abstract | Links

Daniela Kaufmann

Fast Formal Verification of Multiplier Circuits using Computer Algebra Student Forum

PhD Forum of Design, Automation and Test in Europe (DATE'20), online, 2020.

Abstract | Links

Daniela Kaufmann

From DRUP to PAC and Back Conference

Design, Automation and Test in Europe (DATE'20), online, 2020.

Abstract | Links

2019

Daniela Kaufmann

Combining SAT and Computer Algebra to Successfully Verify Large Multiplier Circuits Invited

PLunch Talk, Carnegie Mellon University, Pittsburgh, PA, USA, 2019.

Abstract | Links

Daniela Kaufmann

Combining SAT and Computer Algebra to successfully verify Large Multiplier Circuits Invited

BARC Talk, University of Copenhagen, Copenhagen, Denmark, 2019.

Abstract | Links

Daniela Kaufmann

Verifying Large Multipliers by Combining SAT and Computer Algebra Conference

19th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'19), San Jose, CA, USA, 2019.

Abstract | Links

2018

Daniela Ritirc (*)

A Practical Polynomial Calculus for Arithmetic Circuit Verification Workshop

3rd Intl. Workshop on Satisfiability Checking and Symbolic Computation (SC2'18) at FLoC, Oxford, United Kingdom, 2018.

Links

Daniela Ritirc (*)

On the Problem of Arithmetic Circuit Verification Using Computer Algebra Invited

Theory Reading Group Meeting, KTH Royal Institute of Technology, Stockholm, Sweden, 2018.

Links

2017

Daniela Ritirc (*)

Column-Wise Verification of Multipliers Using Computer Algebra Conference

17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'17), Vienna, Austria, 2017.

Links

Daniela Ritirc (*)

Complexity of Circuit Ideal Membership Testing Workshop

2nd Intl. Workshop on Satisfiability Checking and Symbolic Computation (SC2'17), Kaiserslautern, Germany, 2017.

Links

(*) Before 10/2018 I published using my maiden name ‘Ritirc’.