Aaron R. Bradley

	2011
13		Aaron R. Bradley: Programming for Engineers - A Foundational Approach to Learning C and Matlab. Springer 2011: I-XIII, 1-235
12		Aaron R. Bradley: SAT-Based Model Checking without Unrolling. VMCAI 2011: 70-87
	2010
11		Aaron R. Bradley: k-Step Relative Inductive Generalization CoRR abs/1003.3649: (2010)
	2008
10		Aaron R. Bradley, Zohar Manna: Property-directed incremental invariant generation. Formal Asp. Comput. 20(4-5): 379-405 (2008)
	2007
9		Aaron R. Bradley, Zohar Manna: The calculus of computation - decision procedures with applications to verification. Springer 2007: I-XV, 1-366
8		Aaron R. Bradley, Zohar Manna: Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD 2007: 173-180
	2006
7		Aaron R. Bradley, Zohar Manna: Verification Constraint Problems with Strengthening. ICTAC 2006: 35-49
6		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: What's Decidable About Arrays? VMCAI 2006: 427-442
	2005
5		Aaron R. Bradley, Zohar Manna: Termination and Invariance Analysis of Loops. ATVA 2005: 2
4		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Linear Ranking with Reachability. CAV 2005: 491-504
3		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination Analysis of Integer Linear Loops. CONCUR 2005: 488-502
2		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: The Polyranking Principle. ICALP 2005: 1349-1361
1		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination of Polynomial Programs. VMCAI 2005: 113-129

Coauthor Index

1	Zohar Manna	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
2	Henny B. Sipma (Henny Sipma)	[1] [2] [3] [4] [6]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page