Searching for authors named "Greg Dennis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Automating Commutativity Analysis at the Design Level
by Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson — 2004
…Abstract Automating Commutativity Analysis at the Design Level Greg Dennis, Robert Seater, Derek…
Cited by 8 (1 self) – Add To MetaCart

Bounded Verification of Voting Software
by Greg Dennis, Kuat Yessenov, Daniel Jackson
…Bounded Verification of Voting Software Greg Dennis, Kuat Yessenov, and Daniel Jackson…
Add To MetaCart

Modular Verification of Code with SAT
by Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson — 2006 — IN ISSTA
…ABSTRACT Modular Verification of Code with SAT Greg Dennis Felix Sheng-Ho Chang Daniel Jackson…
Cited by 9 (2 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB