Proving termination of imperative programs using Max-SMT. - Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (FMCAD, 2013)

SMT-Based Array Invariant Generation. - Daniel Larraz; Enric Rodríguez-Carbonell; Albert Rubio (VMCAI, 2013)

Proving Non-termination Using Max-SMT. - Daniel Larraz; Kaustubh Nimkar; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (CAV, 2014)

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. - Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (SAT, 2014)

Compositional Safety Verification with Max-SMT. - Marc Brockschmidt; Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (FMCAD, 2015)

Automatic program analysis using Max-SMT. - Daniel Larraz (2015)

Speeding up the Constraint-Based Method in Difference Logic. - Lorenzo Candeago; Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (SAT, 2016)

Proving Termination Through Conditional Termination. - Cristina Borralleras; Marc Brockschmidt; Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (TACAS (1), 2017)

Extending enumerative function synthesis via SMT-driven classification. - Haniel Barbosa; Andrew Reynolds 001; Daniel Larraz; Cesare Tinelli (FMCAD, 2019)

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. - Cristina Borralleras; Daniel Larraz; Enric Rodríguez-Carbonell; Albert Oliveras; Albert Rubio (ACM Trans. Comput. Log., 2019)

Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis. - Andrew Reynolds 001; Haniel Barbosa; Daniel Larraz; Cesare Tinelli (IJCAR (1), 2020)

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. - M. Fareed Arif; Daniel Larraz; Mitziu Echeverria; Andrew Reynolds 001; Omar Chowdhury; Cesare Tinelli (FMCAD, 2020)

Merit and Blame Assignment with Kind 2. - Daniel Larraz; Mickaël Laurent; Cesare Tinelli (FMICS, 2021)

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. - Baoluo Meng; Daniel Larraz; Kit Siu; Abha Moitra; John Interrante; William Smith; Saswata Paul; Daniel Prince; Heber Herencia-Zapana; M. Fareed Arif; Moosa Yahyazadeh; Vidhya Tekken Valapil; et al. (Syst., 2021)

Realizability Checking of Contracts with Kind 2. - Daniel Larraz; Cesare Tinelli (CoRR, 2022)

CRV: Automated Cyber-Resiliency Reasoning for System Design Models. - Daniel Larraz; Robert Lorch; Moosa Yahyazadeh; M. Fareed Arif; Omar Chowdhury; Cesare Tinelli (FMCAD, 2023)

A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework. - Robert Lorch; Daniel Larraz; Cesare Tinelli; Omar Chowdhury (RAID, 2024)

cvc5 for SMT-COMP 2024. - Leni Aniva; Haniel Barbosa; Clark W. Barrett; Hanna Lachnitt; Daniel Larraz; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Hans-Jörg Schurr; et al. (Zenodo, 2024)