Scholar
Sebastian Elbaum
Google Scholar ID: swPW5FYAAAAJ
Professor of Computer Science, University of Virginia
software engineering
robotics
autonomy
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
13,628
H-index
51
i10-index
145
Publications
20
Co-authors
24
list available
Publications
8 items
NeuroSTAR: Automata-guided Neuro-symbolic Specification Formalization
2026
Cited
0
What Survives the Next Model? Benchmarking LLM-Based Techniques Against Single-Prompts
2026
Cited
0
Drive the Thoughts: Runtime Monitoring of VLA Reasoning-Trajectory Consistency
2026
Cited
0
SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation
2026
Cited
0
TRACE: Topology-aware Reconstruction of Accidents in CARLA for AV Evaluation
2026
Cited
0
STADA: Specification-based Testing for Autonomous Driving Agents
2026
Cited
0
LabelAny3D: Label Any Object 3D in the Wild
arXiv.org · 2026
Cited
3
Managing Escalation in Off-the-Shelf Large Language Models
2025
Cited
0
Co-authors
10 total
Gregg Rothermel
North Carolina State University
Matthew Dwyer
Thomson Distinguished Professor, University of Virginia; Amazon Scholar
David S. Rosenblum
Professor and Chair of Computer Science, George Mason University
Lisong Xu
School of Computing, University of Nebraska-Lincoln
Rahul Purandare
Associate Professor, University of Nebraska–Lincoln
Corina Pasareanu
CMU/NASA Ames
Antonia Bertolino
GSSI (previously with ISTI-CNR)
Anita Sarma
Oregon State University
