Projected state machine coverage for software testing. - G. Friedman; Alan Hartman; Kenneth Nagin; T. Shiran (ISSTA, 2002)

The AGEDIS Tools for Model Based Testing. - Alan Hartman; Kenneth Nagin (UML Satellite Activities, 2004)

The Reservoir model and architecture for open federated cloud computing. - Benny Rochwerger; David Breitgand; Eliezer Levy; Alex Galis; Kenneth Nagin; Ignacio Martín Llorente; Rubén S. Montero; Yaron Wolfsthal; Erik Elmroth; Juan A. Cáceres; Muli Ben-Yehuda; Wolfgang Emmerich; et al. (IBM J. Res. Dev., 2009)

Monitoring Service Clouds in the Future Internet. - Stuart Clayman; Alex Galis; Clovis Chapman; Giovanni Toffetti; Luis Rodero-Merino; Luis Miguel Vaquero; Kenneth Nagin; Benny Rochwerger (Future Internet Assembly, 2010)

Inter-cloud mobility of virtual machines. - Kenneth Nagin; David Hadas; Zvi Dubitzky; Alex Glikson; Irit Loy; Benny Rochwerger; Liran Schour (SYSTOR, 2011)

Reservoir - When One Cloud Is Not Enough. - Benny Rochwerger; David Breitgand; Amir Epstein; David Hadas; Irit Loy; Kenneth Nagin; Johan Tordsson; Carmelo Ragusa; Massimo Villari; Stuart Clayman; Eliezer Levy; A. Maraschini; et al. (Computer, 2011)

PDS Cloud: Long Term Digital Preservation in the Cloud. - Simona Rabinovici-Cohen; John M. Marberg; Kenneth Nagin; David Pease (IC2E, 2013)

Storlet Engine for Executing Biomedical Processes Within the Storage System. - Simona Rabinovici-Cohen; Ealan A. Henis; John M. Marberg; Kenneth Nagin (Business Process Management Workshops, 2014)

Estimating client QoE from measured network QoS. - Kenneth Nagin; Andre Kassis; Dean H. Lorenz; Katherine Barabash; Eran Raichstein (SYSTOR, 2019)