Sebastian Elbaum

University of Nebraska–Lincoln, University of Virginia

论文数

19

总引用数

209

H-Index

10

关于

暂无简介。

研究焦点

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

主要成就

10
H 指数
19
论文
209
总引用数
11
篇均引用
🏆 最高被引论文
Lightweight detection of physical unit inconsistencies without program annotations
22 次引用 · 2017
📈 最高产年份: 2017 (4 论文)
🤝 主要合作者: 27
🏛 所属机构: University of Nebraska–Lincoln, University of Virginia

代表论文

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

主要合作者

CDCarrick Detweiler10 篇合著论文JOJohn‐Paul Ore6 篇合著论文MBMatthew B. Dwyer3 篇合著论文HJHengle Jiang2 篇合著论文CLCharles Lucas2 篇合著论文DSDavid S. Rosenblum2 篇合著论文NBNicola Bezzo1 篇合著论文AAAli Ahad1 篇合著论文ATAdam Taylor1 篇合著论文ALAdam L. Houston1 篇合著论文CHCarl Hildebrandt1 篇合著论文ZXZhaogui Xu1 篇合著论文MVMeriel von Stein1 篇合著论文KSKevin Sullivan1 篇合著论文SKSayali Kate1 篇合著论文JJJinho Jung1 篇合著论文NSNishant Sharma1 篇合著论文JAJavier A Darsie1 篇合著论文LFLu Feng1 篇合著论文CJChijung Jung1 篇合著论文
尚未生成