Kerry Moffitt

Ghost Map: Proving Software Correctness using Games

Talib S. Hussain, Clint A. Bowers, Qinsi Wang, 2014, SECURWARE 2014.

Design Better Games

Dustin B. Chertoff, Curtiss Murphy, Michael Guerrero, 2014, Design and Development of Training Games.

Making Hard Fun in Crowdsourced Model Checking -- Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games

Ron Watro, John Ostwald, Kerry Moffitt, 2015, 2015 IEEE/ACM 2nd International Workshop on CrowdSourcing in Software Engineering.

IMMERSE: Interactive Mentoring for Multimodal Experiences in Realistic Social Encounters

Bruce Roberts, Andrew Stern, William Ferguson, 2015 .

PROOF BY GAMES

Kerry Moffitt, Michelle Spina, M. Spina, 2016 .

Composing Social Interactions via Social Games

Craig W. Reynolds, Andrew Stern, Michael Mateas, 2015, AAMAS.