Termination and Invariance Analysis of Loops. - Aaron R. Bradley; Zohar Manna (ATVA, 2005)

Linear Ranking with Reachability. - Aaron R. Bradley; Zohar Manna; Henny B. Sipma (CAV, 2005)

Termination Analysis of Integer Linear Loops. - Aaron R. Bradley; Zohar Manna; Henny B. Sipma (CONCUR, 2005)

The Polyranking Principle. - Aaron R. Bradley; Zohar Manna; Henny B. Sipma (ICALP, 2005)

Termination of Polynomial Programs. - Aaron R. Bradley; Zohar Manna; Henny B. Sipma (VMCAI, 2005)

Verification Constraint Problems with Strengthening. - Aaron R. Bradley; Zohar Manna (ICTAC, 2006)

What's Decidable About Arrays? - Aaron R. Bradley; Zohar Manna; Henny B. Sipma (VMCAI, 2006)

The calculus of computation - decision procedures with applications to verification. - Aaron R. Bradley; Zohar Manna (Springer, 2007)

Checking Safety by Inductive Generalization of Counterexamples to Induction. - Aaron R. Bradley; Zohar Manna (FMCAD, 2007)

Safety analysis of systems. - Aaron R. Bradley (2007)

Property-directed incremental invariant generation. - Aaron R. Bradley; Zohar Manna (Formal Aspects Comput., 2008)

k-Step Relative Inductive Generalization - Aaron R. Bradley (CoRR, 2010)

Programming for Engineers - A Foundational Approach to Learning C and Matlab. - Aaron R. Bradley (Springer, 2011)

An incremental approach to model checking progress properties. - Aaron R. Bradley; Fabio Somenzi; Zyad Hassan; Yan Zhang 027 (FMCAD, 2011)

IC3: where monolithic and incremental meet. - Fabio Somenzi; Aaron R. Bradley (FMCAD, 2011)

SAT-Based Model Checking without Unrolling. - Aaron R. Bradley (VMCAI, 2011)

IC3 and beyond: Incremental, Inductive Verification. - Aaron R. Bradley (CAV, 2012)

Incremental, Inductive CTL Model Checking. - Zyad Hassan; Aaron R. Bradley; Fabio Somenzi (CAV, 2012)

Understanding IC3. - Aaron R. Bradley (SAT, 2012)

Better generalization in IC3. - Zyad Hassan; Aaron R. Bradley; Fabio Somenzi (FMCAD, 2013)

Incremental, Inductive Model Checking. - Aaron R. Bradley (TIME, 2013)

Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). - Johannes Birgmeier; Aaron R. Bradley; Georg Weissenbacher (CAV, 2014)