Hanna Lachnitt

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Quantum Computation

First Order Logic

Relational Models

Top Venues

Publications

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. TACAS (1) (2024)
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar
Generating and Exploiting Automated Reasoning Proof Certificates. Commun. ACM 66 (10) (2023)
Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format. TACAS (1) (2023)
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
Automatic Verification of SMT Rewrites in Isabelle/HOL. SMT (2023)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Axiomatic hardware-software contracts for security. ISCA (2022)
Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS (1) (2022)
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
Flexible Proof Production in an Industrial-Strength SMT Solver. IJCAR (2022)
Laura Kovács, Hanna Lachnitt, Stefan Szeider
Formalizing Graph Trail Properties in Isabelle/HOL. CoRR (2021)
Anthony Bordg, Hanna Lachnitt, Yijun He
Certified Quantum Computation in Isabelle/HOL. J. Autom. Reason. 65 (5) (2021)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Relational Models of Microarchitectures for Formal Security Analyses. CoRR (2021)
Laura Kovács, Hanna Lachnitt, Stefan Szeider
Formalizing Graph Trail Properties in Isabelle/HOL. CICM (2020)
Anthony Bordg, Hanna Lachnitt, Yijun He
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information. Arch. Formal Proofs 2020 (2020)
Anthony Bordg, Hanna Lachnitt, Yijun He
Certified Quantum Computation in Isabelle/HOL. CoRR (2020)