Greg Dennis

According to our database, Greg Dennis authored at least 8 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Applications and extensions of Alloy: past, present and future.

Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near

Math. Struct. Comput. Sci., 2013

2009

Agile specifications.

Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Redesign for Flexibility and Maintainability: A Case Study.

Christopher Ackermann, Mikael Lindvall, Greg Dennis

Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

2008

A Graph-based Design Framework for Global Computing Systems.

Antonio Bucchiarone, Greg Dennis, Stefania Gnesi

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Bounded Verification of Voting Software.

Greg Dennis, Kuat Yessenov, Daniel Jackson

Proceedings of the Verified Software: Theories, 2008

2007

Automatic Visualization of Relational Logic Models.

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

2006

Modular verification of code with SAT.

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2004

Automating commutativity analysis at the design level.

Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004