Automating commutativity analysis at the design level. - Greg Dennis; Robert Seater; Derek Rayside; Daniel Jackson 001 (ISSTA, 2004)

Modular verification of code with SAT. - Greg Dennis; Felix Sheng-Ho Chang; Daniel Jackson 001 (ISSTA, 2006)

Automatic Visualization of Relational Logic Models. - Derek Rayside; Felix Sheng-Ho Chang; Greg Dennis; Robert Seater; Daniel Jackson 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Bounded Verification of Voting Software. - Greg Dennis; Kuat Yessenov; Daniel Jackson 001 (VSTTE, 2008)

A Graph-based Design Framework for Global Computing Systems. - Antonio Bucchiarone; Greg Dennis; Stefania Gnesi (VODCA@FOSAD, 2008)

Redesign for Flexibility and Maintainability: A Case Study. - Christopher Ackermann; Mikael Lindvall; Greg Dennis (CSMR, 2009)

Agile specifications. - Derek Rayside; Aleksandar Milicevic; Kuat Yessenov; Greg Dennis; Daniel Jackson 001 (OOPSLA Companion, 2009)

Applications and extensions of Alloy: past, present and future. - Emina Torlak; Mana Taghdiri; Greg Dennis; Joseph P. Near (Math. Struct. Comput. Sci., 2013)