Funding


Funding


Building the National Cyber Workforce: New SFS Program at Kansas State University

Xinming Ou, Eugene Vasserman, Scott DeLoach, John Hatcliff, and Gurdip Singh

National Science Foundation (NSF) DUE-1241721. Project total: $851,328. Duration: January 2013 - December 2017.


FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms

John Hatcliff, Venkatesh-Prasad Ranganath, and Robby

National Science Foundation (NSF) CNS-1446544. Project total: $80,000. Duration: March 2015 - February 2016.


CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

John Hatcliff, Steve Warren, Robby, Eugene Vasserman, and Patrice Chalin; and Insup Lee and Oleg Sokolsky at University of Pennsylvania

National Science Foundation (NSF) OCI-1239543. Project total: $1,000,000, K-State’s portion: $880,000. Duration: October 2012 - September 2015.


FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks

John Hatcliff, Steve Warren, and Patrice Chalin

National Science Foundation (NSF) CBET-1355778. Project total: $80,000. Duration: October 2013 - September 2015.


Development of a Prototype Healthcare Intranet for Improved Health Outcomes

John Hatcliff, Daniel Andresen, Robby, Eugene Vasserman, and Steve Warren

Massachusetts General Hospital – a sub-contract of National Institutes of Health (NIH)/National Institute of Biomedical Imaging and Bioengineering (NIBIB) Quantum grant. Sub-contract total: $475,000. Duration: September 2010 – August 2015.


TWC TTP: Small: Security, Privacy, and Trust for Systems of Coordinating Medical Devices

Eugene Vasserman, John Hatcliff, and Daniel Andresen

National Science Foundation (NSF) CNS-1224007. Project total: $482,125. Duration: September 2012 - August 2015.


Evidence-based Trust in Large-scale MLS Systems

John Hatcliff, Robby, Torben Amtoft, and Xinming Ou; and Andrew Appel at Princeton University

Air Force Office of Scientific Research (AFOSR) grant no. FA9550-09-0138. Project total: $3,000,000, K-State’s portion: $2,012,500. Duration: March 2009 - November 2014.


Enhancing the Cybersecurity and Information Assurance Research and Education Infrastructure of Kansas State University

Xinming Ou, Scott DeLoach, Robby, and John Hatcliff

Air Force Office of Scientific Research (AFOSR) Defense University Research Instrumentation Program (DURIP). Project total: $605,650. Year: 2013.


FDA SIR: Tools, Processes, and Artifacts for Certifiable Clinical Applications in Interoperable Medical Device Frameworks

Patrice Chalin, John Hatcliff, and Robby

National Science Foundation (NSF) CNS-1238431. Project total: $80,000. Duration: October 2012 - September 2013


CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination

John Hatcliff, Daniel Andresen, Steve Warren, and Robby; and Insup Lee and Oleg Sokolsky at University of Pennsylvania

National Science Foundation (NSF) CNS-0932289. Project total: $1,500,000, K-State’s portion: $840,000. Duration: September 2009 - August 2013.


CAREER: A Formal, Integrated Analysis Framework for Contract-based Reasoning of Strong Properties of Open Systems

Robby

National Science Foundation (NSF) Faculty Early Career Development (CAREER) CCF-0644288. Project total: $400,000. Duration: April 2007 - March 2013.


An Integrated Development and Certification Environment for a Medical Device Coordination Framework

John Hatcliff, Steve Warren, Robby, Virgil Wallentine, and Gurdip Singh

National Science Foundation (NSF) CNS-1065887. Project total: $80,000. Duration: January 2010 - December 2012.


CT-ISG: Collaborative Research: Access Control and Downgrading in Information Flow Assurance

Anindya Banerjee and Torben Amtoft

National Science Foundation (NSF) CNS-0627748. Project total: $200,000. Duration: September 2006 - August 2010.


A Domain Specific Language for Defining High-Assurance Secure-Network Guards

John Hatcliff, Torben Amtoft, Robby, and Xinming Ou

Rockwell Collins Advanced Technology Center. Project total: $170,000. Duration: September 2008 - August 2010.


Collaborative Research: CRI:CRD: A JML Community Infrastructure – Revitalizing Tools and Documentation to Aid Formal Methods Research

Gary Leavens, Robby, Samik Basu, Yoonsik Cheon, Curtis Clifton, Cormac Flanagan, David Naumann, and Hridesh Rajan

National Science Foundation (NSF) Computing Research Infrastructure (CRI) CNS-0709169. Project total: $895,000, K-State’s portion: $220,000 Duration: July 2007 - June 2010.


CRI: Collaborative Research : A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques

Gregg Rothermel, Matthew B. Dwyer, and Sebastian Elbaum at University of Nebraska-Lincoln; and John Hatcliff

National Science Foundation (NSF) CNS-0454203/ 0454348. Project total: $1,106,576. Duration: July 2005 - June 2010.


Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices

John Hatcliff, Daniel Andresen, Steve Warren, and Robby

National Science Foundation (NSF) Computer Systems Research (CSR) CNS-0734204. Project total: $55,000. Duration: September 2007 - August 2009.


An Integrated Specification and Verification Environment for Component-based Architectures of Large-scale Distributed Systems

John Hatcliff, Torben Amtoft, and Anindya Banerjee

Air Force Office of Scientific Research (AFOSR). Project total: $448,530. Duration: April 2006 - March 2009.


Organization-based Model-driven Development of High-assurance Multiagent Systems

Scott DeLoach and Robby

Air Force Office of Scientific Research (AFOSR). Project total: $481,824. Duration: January 2006 - November 2008.


Automatic Analysis Techniques for Discovering Information Flow Properties of Cryptographic Controllers

John Hatcliff

Rockwell Collins Advanced Technology Center (ATC). Project total: $25,000. Duration: October 2008 - November 2008.


A Testbed for Intelligent, Mobile Sensor Experiments

Scott DeLoach, John Hatcliff, Gurdip Singh, and David Gustafson

Air Force Office of Scientific Research (AFOSR/NM). Project total: $219,140. Duration: 2007 – 2008.


Analysis and Verification of Large Scale .Net Application Models

Robby

Lockheed Martin Advanced Technology Laboratories. Project total and duration:

  • $50,000, June 2006 - December 2006; and
  • $60,000, May 2007 - December 2007.

Radical Innovations in Testing

John Hatcliff

Lockheed Martin Advanced Technology Laboratories. Project total: $60,000. Duration: January 2007 – December 2007.


Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications

Matthew B. Dwyer, Sebastian Elbaum, and Gregg Rothermel at University of Nebraska-Lincoln; and John Hatcliff

National Science Foundation (NSF)/NASA (CSR) CNS-0429141. Project total: $320,000. Duration: September 2004 - August 2007.


Principles and Tools for Rigorous Development and Integration of Component-based Systems

John Hatcliff

Lockheed Martin Advanced Technology Laboratories. Project total: $125,000. Duration: January 2006 – November 2006.


Information Flow Modeling Analysis (Formal- ization and Supporting Tools for Secure Information Flow Certification of Industrial Applications)

John Hatcliff

Rockwell Collins Advanced Technology Center (ATC). Project total: $50,000. Duration: January 2007 – December 2007.


Integrating Java Modeling Language (JML) in Eclipse

Robby

IBM Eclipse Innovation Award. Project total: $27,000. Year: 2005.


Model-driven Embedded System Designs with Next-Generation Real-Time Middleware

John Hatcliff, Matthew B. Dwyer and Gurdip Singh

A sub-contract of Lockheed-Martin on DARPA Program Composition for Embedded Systems (PCES). Total project: $180,000. Duration: May 2004 - December 2004.


Technologies, Development Tools, and Patterns for Automatic Generation and Customization of Adaptable DRE Middleware

John Hatcliff, Matthew B. Dwyer and Gurdip Singh

DARPA Program Composition for Embedded Systems (PCES). Total project: $180,000. Duration: May 2003 - April 2005.


Parallel Analysis of Models for Distributed Real-Time Embedded Systems

Matthew B. Dwyer, Daniel Andresen, John Hatcliff, and Virgil Wallentine

Department of Defense DURIP. Project total: $394,991. Year: 2004.


Tool-support for Project-oriented Model Checking Education

Robby, Matthew B. Dwyer, and John Hatcliff

IBM Eclipse Innovation Award. Project total: $25,000. Year: 2004.


Integrated Software Model-checking

Matthew B. Dwyer and John Hatcliff; and George Avrunin at University of Massachusetts Amherst.

Army Research Office. Project total: $3,000,000. Year: 2001 - 2006.


BOGOR: A Model Checking Framework for Dynamic Software

Matthew B. Dwyer and John Hatcliff

National Science Foundation (NSF) CCF-0306607/ CCF-0444167. Project total: $179,999. Duration: June 2003 – May 2006.


Automatic Derivation, Integration and Verification of Synchronization Aspects in Object-Oriented Design Methods

Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno, Mitch Neilsen, and Gurdip Singh

DARPA Order K203/AFRL Contract F33615-00-C-3044. Project total: $1,097,093. Duration: 2000 – 2004.


Educational Environment for Software Model-checking

John Hatcliff

Rockwell-Collins University Grant. Project total: $15,000. Year: 2002 - 2003.


Automatic Customization of Avionics Software

John Hatcliff

Rockwell-Collins Advanced Technology Center (ATC). Project total: $25,000. Year: 2001 - 2002.


Automatic Model Construction for Finite-state Verification Applying Abstract Interpretation and Partial Evaluation Techniques

David Schmidt, Matthew B. Dwyer, and John Hatcliff

DARPA/NASA Award NAG-02-1209. Project total: $450,000. Year: 1998 - 2000.


CISE Postdoctoral Research Associates: A Model Construction Tool Suite for Finite-State Verification Java (CCR)

John Hatcliff, Matthew B. Dwyer, and David Schmidt

National Science Foundation (NSF) EIA-9901605. Project total: $65,982. Duration: 1999 - 2001.


Integrating Platforms for Finite-State Verification

David Schmidt, Matthew B. Dwyer, and John Hatcliff

National Science Foundation (NSF) IIA-9981558. Project total: $15,467. Duration: 1999 - 2001.


A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software

John Hatcliff

National Science Foundation (NSF) Faculty Early Career Development (CAREER) CCF-9701418/ 9896354.

Project total: $200,000. Duration: 1997 - 2001.