← Leaderboards
- Robby
Kansas State University
$1,115,970
Attributed
$2,806,548
Total exposure
9
Grants
2
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $960K · FY2007–16$1M$750K$500K$250K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
Funding mix
By agency
NSF$2,806,548 · 9
By mechanism
—$2,806,548 · 9
Top collaborators
- John Hatcliff7 shared
- Steven Warren4 shared
- Venkatesh P Ranganath3 shared
- Daniel Andresen2 shared
- Patrice Chalin2 shared
- Eugene Vasserman1 shared
- Gurdip Singh1 shared
- Virgil Wallentine1 shared
Grant awards (9)
FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms$160,000
· FY2016 · CSE
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms$80,000
· FY2015 · CSE
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms$880,000
· FY2012 · CSE
FDA SIR: Tools, Processes, and Artifacts for Certifiable Clinical Applications in Interoperable Medical Device Frameworks$80,000
· FY2012 · CSE
An Integrated Development and Certification Environment for a Medical Device Coordination Framework$80,000
· FY2011 · CSE
CPS:Medium:Collaborative Research:Infrastructure and Technology Innovations for Medical Device Coordination$851,548
· FY2009 · CSE
CAREER: A Formal, Integrated Analysis Framework for Contract-based Reasoning of Strong Properties of Open Systems$400,000
· FY2007 · CSE · contact PI
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research$220,000
· FY2007 · CSE · contact PI
Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices$55,000
· FY2007 · CSE