Sebastian Elbaum
Papers
19
Total Citations
209
H-Index
10
About
Sebastian Elbaum is a leading researcher in software engineering for robotic and cyber-physical systems, with a focus on ensuring the reliability and correctness of software that interacts with the physical world. His major contributions center on developing lightweight, annotation-free techniques to detect physical unit inconsistencies—a critical yet often overlooked source of bugs in systems that manipulate quantities like meters, seconds, or kilograms. His work on the Phriky-units tool and the Phys framework has enabled automated detection of such inconsistencies without requiring programmers to add explicit unit annotations, addressing a key challenge in validating complex robotic software. Elbaum has also pioneered methods for inferring and monitoring invariants in robotic systems to reduce failure rates, and his research on fuzzing mobile robot environments and debugging configuration bugs in swarm robotics (e.g., Swarmbug) has advanced automated testing for autonomous systems. With highly cited papers (each garnering 10–22 citations) and a consistent record of impactful contributions, Elbaum’s work is widely recognized for bridging the gap between software engineering principles and the unique challenges of robotics, making him a key figure in the field.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Phys: probabilistic physical unit assignment and inconsistency detection20 citations · 2018
- 4Inferring and monitoring invariants in robotic systems18 citations · 2016
- 5
- 6Swarmbug: debugging configuration bugs in swarm robotics17 citations · 2021
- 7Fuzzing Mobile Robot Environments for Fast Automated Crash Detection14 citations · 2021
- 8
- 9Extracting conditional component dependence for distributed robotic systems12 citations · 2012
- 10Feasible and stressful trajectory generation for mobile robots10 citations · 2020