| 2009 |
|---|
| 6 | EE | Christopher Ackermann,
Mikael Lindvall,
Greg Dennis:
Redesign for Flexibility and Maintainability: A Case Study.
CSMR 2009: 259-262 |
| 5 | EE | Antonio Bucchiarone,
Greg Dennis,
Stefania Gnesi:
A Graph-based Design Framework for Global Computing Systems.
Electr. Notes Theor. Comput. Sci. 236: 117-130 (2009) |
| 2008 |
|---|
| 4 | EE | Greg Dennis,
Kuat Yessenov,
Daniel Jackson:
Bounded Verification of Voting Software.
VSTTE 2008: 130-145 |
| 2007 |
|---|
| 3 | EE | Derek Rayside,
Felix Sheng-Ho Chang,
Greg Dennis,
Robert Seater,
Daniel Jackson:
Automatic Visualization of Relational Logic Models.
ECEASST 7: (2007) |
| 2006 |
|---|
| 2 | EE | Greg Dennis,
Felix Sheng-Ho Chang,
Daniel Jackson:
Modular verification of code with SAT.
ISSTA 2006: 109-120 |
| 2004 |
|---|
| 1 | EE | Greg Dennis,
Robert Seater,
Derek Rayside,
Daniel Jackson:
Automating commutativity analysis at the design level.
ISSTA 2004: 165-174 |
