16 Grants
2015
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
Hatcliff, John⋅Robby, - and Ranganath, Venkatesh
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division Of Computer and Network Systems (ID: 1446544), $80,000USD, 03/01/2015 -- 02/29/2016
2013
Building the National Cyber Workforce: New SFS Program at Kansas State University
Singh, Gurdip⋅Hatcliff, John⋅DeLoach, Scott⋅Ou, Xinming and Vasserman, Eugene
National Science Foundation (NSF), Directorate for Education & Human Resources, Division of Undergraduate Education (ID: 1241721), $851,328USD, 01/01/2013 -- 12/31/2017
 
FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks
Hatcliff, John⋅Warren, Steven and Chalin, Patrice
National Science Foundation (NSF), Directorate for Engineering, Division of Chemical, Bioengineering, Environmental, and Transport Systems (ID: 1355778), $80,000USD, 10/01/2013 -- 09/30/2014
2012
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
Hatcliff, John⋅Warren, Steven⋅Robby, -⋅Vasserman, Eugene and Chalin, Patrice
National Science Foundation (NSF), OFFICE OF THE DIRECTOR, Office of CyberInfrastructure (ID: 1239543), $880,000USD, 10/01/2012 -- 09/30/2015
 
FDA SIR: Tools, Processes, and Artifacts for Certifiable Clinical Applications in Interoperable Medical Device Frameworks
Hatcliff, John⋅Robby, - and Chalin, Patrice
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 1238431), $80,000USD, 10/01/2012 -- 09/30/2013
 
TWC TTP: Small: Security, Privacy, and Trust for Systems of Coordinating Medical Devices
Vasserman, Eugene⋅Andresen, Daniel and Hatcliff, John
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 1224007), $482,125USD, 09/01/2012 -- 08/31/2015
2011
An Integrated Development and Certification Environment for a Medical Device Coordination Framework
Warren, Steven⋅Robby, -⋅Wallentine, Virgil⋅Hatcliff, John and Singh, Gurdip
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 1065887), $80,000USD, 01/01/2011 -- 12/31/2012
2009
CPS:Medium:Collaborative Research:Infrastructure and Technology Innovations for Medical Device Coordination
Hatcliff, John⋅Andresen, Daniel⋅Warren, Steven and Robby, -
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 0932289), $851,548USD, 09/15/2009 -- 08/31/2013
2007
Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices
Hatcliff, John⋅Andresen, Daniel⋅Warren, Steven and Robby, -
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 0734204), $55,000USD, 09/01/2007 -- 08/31/2009
2005
CRI: Collaborative Research: A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques
Hatcliff, John
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 0454348), $237,041USD, 07/15/2005 -- 06/30/2010
2004
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications
Hatcliff, John
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 0429141), $112,479USD, 09/15/2004 -- 08/31/2007
2003
BOGOR : A Model Checking Framework for Dynamic Software
Dwyer, Matthew and Hatcliff, John
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 0306607), $179,999USD, 06/01/2003 -- 09/30/2004
2000
U.S.-Germany Cooperative Research: Integrating Platforms for Finite-State Verification
Schmidt, David⋅Dwyer, Matthew and Hatcliff, John
National Science Foundation (NSF), OFFICE OF THE DIRECTOR, Office of International Science and Engineering (ID: 9981558), $15,467USD, 04/01/2000 -- 03/31/2003
1999
CISE Postdoctoral Research Associates: A Model Construction Tool Suite for Finite-State Verification Java (CCR)
Schmidt, David⋅Dwyer, Matthew and Hatcliff, John
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Experimental & Integrative Activities (ID: 9901605), $65,982USD, 09/01/1999 -- 08/31/2001
1998
CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software
Hatcliff, John
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 9896354), $130,700USD, 08/01/1998 -- 06/30/2002
1997
CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software
Hatcliff, John
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 9701418), $100,000USD, 07/01/1997 -- 09/09/1998