CVC4. - Clark W. Barrett; Christopher L. Conway; Morgan Deters; Liana Hadarean; Dejan Jovanovic; Tim King 001; Andrew Reynolds 001; Cesare Tinelli (CAV, 2011)

SMT proof checking using a logical framework. - Aaron Stump; Duckki Oe; Andrew Reynolds 001; Liana Hadarean; Cesare Tinelli (Formal Methods Syst. Des., 2013)

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. - Liana Hadarean; Kshitij Bansal; Dejan Jovanovic; Clark W. Barrett; Cesare Tinelli (CAV, 2014)

Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. - Liana Hadarean; Clark W. Barrett; Andrew Reynolds 001; Cesare Tinelli; Morgan Deters (LPAR, 2015)

A Concurrency Problem with Exponential DPLL(T) Proofs. - Liana Hadarean; Alex Horn; Tim King 001 (CoRR, 2015)

Efficient and Trustworthy Theory Solver for Bit-vectors in SatisfiabilityModulo Theories. - Liana Hadarean (2015)

Lazy proofs for DPLL(T)-based SMT solvers. - Guy Katz; Clark W. Barrett; Cesare Tinelli; Andrew Reynolds 001; Liana Hadarean (FMCAD, 2016)

Automatic Generation of Propagation Complete SAT Encodings. - Martin Brain; Liana Hadarean; Daniel Kroening; Ruben Martins (VMCAI, 2016)

One-click formal methods. - Liana Hadarean (ICST, 2020)

Block public access: trust safety verification of access control policies. - Malik Bouchet; Byron Cook; Bryant Cutler; Anna Druzkina; Andrew Gacek; Liana Hadarean; Ranjit Jhala; Brad Marshall; Daniel Peebles; Neha Rungta; Cole Schlesinger; Chriss Stephens; et al. (ESEC/SIGSOFT FSE, 2020)

RAPID: checking API usage for the cloud in the cloud. - Michael Emmi; Liana Hadarean; Ranjit Jhala; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2021)

Compositional Taint Analysis for Enforcing Security Policies at Scale. - Subarno Banerjee; Siwei Cui; Michael Emmi; Antonio Filieri; Liana Hadarean; Peixuan Li; Linghui Luo; Goran Piskachev; Nicolás Rosner; Aritra Sengupta; Omer Tripp; Jingbo Wang 006 (ESEC/SIGSOFT FSE, 2023)

State of the art in program analysis. - Pietro Ferrara 001; Liana Hadarean (Int. J. Softw. Tools Technol. Transf., 2024)