Greg Dennis (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson: Agile specifications. OOPSLA Companion 2009: 999-1006

4 Greg Dennis, Kuat Yessenov, Daniel Jackson: Bounded Verification of Voting Software. VSTTE 2008: 130-145

3 Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson: Automatic Visualization of Relational Logic Models. ECEASST 7: (2007)

2 Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson: Modular verification of code with SAT. ISSTA 2006: 109-120

1 Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson: Automating commutativity analysis at the design level. ISSTA 2004: 165-174

Selection of 5 from 7 records - Greg Dennis has 10 coauthors

6		Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson: Agile specifications. OOPSLA Companion 2009: 999-1006
4		Greg Dennis, Kuat Yessenov, Daniel Jackson: Bounded Verification of Voting Software. VSTTE 2008: 130-145
3		Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson: Automatic Visualization of Relational Logic Models. ECEASST 7: (2007)
2		Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson: Modular verification of code with SAT. ISSTA 2006: 109-120
1		Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson: Automating commutativity analysis at the design level. ISSTA 2004: 165-174