2021

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

FMCAD, online, 2020.

Abstract | Links

Daniela Kaufmann

Formal Verification of Integer Multiplier Circuits using Computer Algebra Keynote

ISWSBP, online, 2020.

Abstract | Links

Daniela Kaufmann

Nullstellensatz-Proofs for Multiplier Verification Conference

CASC, 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 DATE, online, 2020.

Abstract | Links

Daniela Kaufmann

From DRUP to PAC and Back Conference

DATE, 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

FMCAD, San Jose, CA, USA, 2019.

Abstract | Links

2018

Daniela Ritirc (*)

A Practical Polynomial Calculus for Arithmetic Circuit Verification Workshop

SC-2 Workshop 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

FMCAD, Vienna, Austria, 2017.

Links

Daniela Ritirc (*)

Complexity of Circuit Ideal Membership Testing Workshop

SC-2 Workshop, Kaiserslautern, Germany, 2017.

Links

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