← Leaderboards
Sebastian G Elbaum
University Of Nebraska-Lincoln
$5,709,648
Attributed
$11,450,595
Total exposure
18
Grants
12
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 $3.5M · FY2009–24$5M$3.8M$2.5M$1.3M$0
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$11,450,595 · 18
By mechanism
—$11,450,595 · 18
Top collaborators
- Matthew B Dwyer5 shared
- Carrick Detweiler1 shared
- Craig R Allen1 shared
- Dirac Twidwell1 shared
- Francisco Munoz-Arriola1 shared
- Gregg Rothermel1 shared
- Kevin J Sullivan1 shared
- Leen-Kiat Soh1 shared
Grant awards (18)
Collaborative Research: SHF: Medium: Models and Analyses for Robotic and Autonomous Systems Operating in Complex and Unpredictable Real-world$550,000
· FY2024 · CSE · contact PI
SHF: Medium: More Reliable Image Networks through Scene-based Specification, Neuro-symbolic Training, and Systematic Specification-driven Testing$1,174,741
· FY2023 · CSE · contact PI
Workshop on Software Engineering for Robotics Systems (SE4Robotics)$62,498
· FY2023 · CSE · contact PI
FMitF: Track I: Focusing Incremental Abstraction-based Verification on Neural Networks Input Distributions$510,000
· FY2020 · CSE
SHF: Medium: Rearchitecting Neural Networks for Verification$1,271,494
· FY2019 · CSE
SHF: Small: Explicating and Exploiting the Physical Semantics of Code$515,022
· FY2019 · CSE
NRI: INT: COLLAB: Raining Drones: Mid-Air Release & Recovery of Atmospheric Sensing Systems$403,543
· FY2019 · CSE · contact PI
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code$416,001
· FY2018 · CSE · contact PI
NRT-INFEWS: Training in Theory and Application of Cross-scale Resilience in Agriculturally Dominated Social Ecological Systems$2,998,886
· FY2017 · EDU
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code$484,694
· FY2017 · CSE · contact PI
NeTS: Small: Systematically and Scalably Testing Network Programs through Symbolic Exploration of Packet Dynamics$499,810
· FY2015 · CSE
SHF: Small:Testing in the Presence of Continuous Change$425,000
· FY2015 · CSE · contact PI
SHF: Small: Solving the Search for Relevant Code in Large Repositories with Lightweight Specifications$449,033
· FY2012 · CSE · contact PI
SHF: Small: T2T: A Framework for Amplifying Testing Resources$491,688
· FY2009 · CSE · contact PI
CAREER: Leveraging Field Data to Test Highly-Configurable and Rapidly-Evolving Pervasive Systems$412,594
· FY2004 · CSE · contact PI
Building Scalable and Adaptive Garbage Collector for Server Systems$281,000
· FY2004 · CSE
ITR: Collaborative Research: Dependable End-User Software$253,573
· FY2003 · CSE · contact PI
ITR: Collaborative Research: A New Generation of Scalable, Cost-Effective Regression Testing Techniques$251,018
· FY2000 · CSE · contact PI