Greg Dennis

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Historical Information

Past Observations

Mechanical Properties

Top Venues

Math. Struct. Comput. Sci.

Publications

Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near
Applications and extensions of Alloy: past, present and future. Math. Struct. Comput. Sci. 23 (4) (2013)
Antonio Bucchiarone, Greg Dennis, Stefania Gnesi
A Graph-based Design Framework for Global Computing Systems. Electron. Notes Theor. Comput. Sci. 236 (2009)
Christopher Ackermann, Mikael Lindvall, Greg Dennis
Redesign for Flexibility and Maintainability: A Case Study. CSMR (2009)
Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
Agile specifications. OOPSLA Companion (2009)
Greg Dennis, Kuat Yessenov, Daniel Jackson
Bounded Verification of Voting Software. VSTTE (2008)
Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson
Automatic Visualization of Relational Logic Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007)
Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
Modular verification of code with SAT. ISSTA (2006)
Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
Automating commutativity analysis at the design level. ISSTA (2004)