Aaron R. Bradley

22 papers A* 5A 1B 9C 2Journal 2

Year	Rank	Type	Title / Venue / Authors
2014	A*	`conf`	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). CAV Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher
2013	B	`conf`	Better generalization in IC3. FMCAD Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
2013	C	`conf`	Incremental, Inductive Model Checking. TIME Aaron R. Bradley
2012	A*	`conf`	IC3 and beyond: Incremental, Inductive Verification. CAV Aaron R. Bradley
2012	A*	`conf`	Incremental, Inductive CTL Model Checking. CAV Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
2012	A	`conf`	Understanding IC3. SAT Aaron R. Bradley
2011	B	`conf`	An incremental approach to model checking progress properties. FMCAD Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang
2011	B	`conf`	IC3: where monolithic and incremental meet. FMCAD Fabio Somenzi, Aaron R. Bradley
2011	—	`book`	Programming for Engineers - A Foundational Approach to Learning C and Matlab. Aaron R. Bradley
2011	B	`conf`	SAT-Based Model Checking without Unrolling. VMCAI Aaron R. Bradley
2010	J	`jnl`	k-Step Relative Inductive Generalization CoRR Aaron R. Bradley
2008	J	`jnl`	Property-directed incremental invariant generation. Formal Aspects Comput. Aaron R. Bradley, Zohar Manna
2007	B	`conf`	Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD Aaron R. Bradley, Zohar Manna
2007	—	`—`	Safety analysis of systems. Aaron R. Bradley
2007	—	`book`	The calculus of computation - decision procedures with applications to verification. Aaron R. Bradley, Zohar Manna
2006	C	`conf`	Verification Constraint Problems with Strengthening. ICTAC Aaron R. Bradley, Zohar Manna
2006	B	`conf`	What's Decidable About Arrays? VMCAI Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005	A*	`conf`	Linear Ranking with Reachability. CAV Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005	B	`conf`	Termination Analysis of Integer Linear Loops. CONCUR Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005	B	`conf`	Termination and Invariance Analysis of Loops. ATVA Aaron R. Bradley, Zohar Manna
2005	B	`conf`	Termination of Polynomial Programs. VMCAI Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005	A*	`conf`	The Polyranking Principle. ICALP Aaron R. Bradley, Zohar Manna, Henny B. Sipma