 | 2009 |
|---|
| 7 |       | Christopher Ackermann,
Mikael Lindvall,
Greg Dennis:
Redesign for Flexibility and Maintainability: A Case Study.
CSMR 2009: 259-262 |
| 6 | | Derek Rayside,
Aleksandar Milicevic,
Kuat Yessenov,
Greg Dennis,
Daniel Jackson:
Agile specifications.
OOPSLA Companion 2009: 999-1006 |
| 5 | | 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 | | Greg Dennis,
Kuat Yessenov,
Daniel Jackson:
Bounded Verification of Voting Software.
VSTTE 2008: 130-145 |
| 2007 |
|---|
| 3 | | Derek Rayside,
Felix Sheng-Ho Chang,
Greg Dennis,
Robert Seater,
Daniel Jackson:
Automatic Visualization of Relational Logic Models.
ECEASST 7: (2007) |
| 2006 |
|---|
| 2 | | Greg Dennis,
Felix Sheng-Ho Chang,
Daniel Jackson:
Modular verification of code with SAT.
ISSTA 2006: 109-120 |
| 2004 |
|---|
| 1 | | Greg Dennis,
Robert Seater,
Derek Rayside,
Daniel Jackson:
Automating commutativity analysis at the design level.
ISSTA 2004: 165-174 |
