Sebastian Elbaum

University of Nebraska–Lincoln, University of Virginia

Papers

19

Total Citations

209

H-Index

10

About

No biography available yet.

Research Focus

Computer science18 · 207 citations
Artificial intelligence14 · 160 citations
Programming language12 · 137 citations
Software9 · 119 citations
Robot10 · 92 citations
Operating system6 · 69 citations
Code (set theory)5 · 53 citations
Distributed computing6 · 52 citations
Domain (mathematical analysis)3 · 48 citations
Annotation3 · 48 citations
Consistency (knowledge bases)2 · 42 citations
Unit (ring theory)2 · 42 citations

Key Achievements

10
H-Index
19
Papers
209
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Lightweight detection of physical unit inconsistencies without program annotations
22 citations · 2017
📈 Most Prolific Year: 2017 (4 Papers)
🤝 Key Collaborators: 27
🏛 Institutions: University of Nebraska–Lincoln, University of Virginia

Top Papers

  1. 1
    Lightweight detection of physical unit inconsistencies without program annotations
    22 citations · 2017
  2. 2
    Reducing failure rates of robotic systems though inferred invariants monitoring
    21 citations · 2013
  3. 3
    Phys: probabilistic physical unit assignment and inconsistency detection
    20 citations · 2018
  4. 4
    Inferring and monitoring invariants in robotic systems
    18 citations · 2016
  5. 5
    Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool
    17 citations · 2017
  6. 6
    Swarmbug: debugging configuration bugs in swarm robotics
    17 citations · 2021
  7. 7
    Fuzzing Mobile Robot Environments for Fast Automated Crash Detection
    14 citations · 2021
  8. 8
    Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code
    12 citations · 2017
  9. 9
    Extracting conditional component dependence for distributed robotic systems
    12 citations · 2012
  10. 10
    Feasible and stressful trajectory generation for mobile robots
    10 citations · 2020

Key Collaborators

CDCarrick Detweiler10 shared papersJOJohn‐Paul Ore6 shared papersMBMatthew B. Dwyer3 shared papersHJHengle Jiang2 shared papersCLCharles Lucas2 shared papersDSDavid S. Rosenblum2 shared papersNBNicola Bezzo1 shared papersAAAli Ahad1 shared papersATAdam Taylor1 shared papersALAdam L. Houston1 shared papersCHCarl Hildebrandt1 shared papersZXZhaogui Xu1 shared papersMVMeriel von Stein1 shared papersKSKevin Sullivan1 shared papersSKSayali Kate1 shared papersJJJinho Jung1 shared papersNSNishant Sharma1 shared papersJAJavier A Darsie1 shared papersLFLu Feng1 shared papersCJChijung Jung1 shared papers
Not generated yet