← Leaderboards
W. Rance Cleaveland
Suny At Stony Brook
$1,396,028
Attributed
$2,733,083
Total exposure
4
Grants
3
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 $1.8M · FY2008–09$2M$1.5M$1M$500K$0
'08
'09
Funding mix
By agency
NSF$2,733,083 · 4
By mechanism
—$2,733,083 · 4
Top collaborators
- S. P Iyer1 shared
- Steven I Marcus1 shared
- Tong Tong Wu1 shared
Grant awards (4)
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology$1,848,083
· FY2009 · CSE · contact PI
Verification of Open-Loop Embedded Control Systems$350,000
· FY2008 · CSE · contact PI
Automated Analysis of Probabilistic Open Systems$210,000
· FY2001 · CSE
Heterogeneous Specification Formalisms for Reactive Systems$325,000
· FY2000 · CSE · contact PI