Cikkek nyilvánosan hozzáférhető megbízással - Sebastian ElbaumTovábbi információ
Sehol sem hozzáférhető: 5
Known unknowns: Testing in the presence of uncertainty
S Elbaum, DS Rosenblum
Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations …, 2014
Megbízások: National Research Foundation, Singapore
Inferring and monitoring invariants in robotic systems
H Jiang, S Elbaum, C Detweiler
Autonomous Robots 41, 1027-1046, 2017
Megbízások: US National Science Foundation, US Department of Defense, US Department of …
On the techniques we create, the tools we build, and their misalignments: A study of klee
EF Rizzi, S Elbaum, MB Dwyer
Proceedings of the 38th International Conference on Software Engineering …, 2016
Megbízások: US National Science Foundation
Blending kinematic and software models for tighter reachability analysis
C Hildebrandt, S Elbaum, N Bezzo
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Megbízások: US National Science Foundation
Mimicking Real Forces on a Drone Through a Haptic Suit to Enable Cost-Effective Validation
C Hildebrandt, W Ying, S Heo, S Elbaum
2023 IEEE International Conference on Robotics and Automation (ICRA), 10518 …, 2023
Megbízások: US National Science Foundation, US Department of Defense
Valahol hozzáférhető: 54
Smokey comes of age: unmanned aerial systems for fire management
D Twidwell, CR Allen, C Detweiler, J Higgins, C Laney, S Elbaum
Frontiers in Ecology and the Environment 14 (6), 333-339, 2016
Megbízások: US Department of Agriculture
Dnnv: A framework for deep neural network verification
D Shriver, S Elbaum, MB Dwyer
International Conference on Computer Aided Verification, 137-150, 2021
Megbízások: US National Science Foundation
Code search with input/output queries: Generalizing, ranking, and assessment
KT Stolee, S Elbaum, MB Dwyer
Journal of Systems and Software 116, 35-48, 2016
Megbízások: US National Science Foundation
Self-checking deep neural networks in deployment
Y Xiao, I Beschastnikh, DS Rosenblum, C Sun, S Elbaum, Y Lin, JS Dong
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
Megbízások: National Research Foundation, Singapore
Assessing the type annotation burden
JP Ore, S Elbaum, C Detweiler, L Karkazis
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
Megbízások: US National Science Foundation
Lightweight detection of physical unit inconsistencies without program annotations
JP Ore, C Detweiler, S Elbaum
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
Megbízások: US National Science Foundation, US Department of Agriculture
Phys: probabilistic physical unit assignment and inconsistency detection
S Kate, JP Ore, X Zhang, S Elbaum, Z Xu
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Megbízások: US National Science Foundation, US Department of Defense
Unmanned aerial auger for underground sensor installation
Y Sun, A Plowcha, M Nail, S Elbaum, B Terry, C Detweiler
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
Megbízások: US National Science Foundation, US Department of Agriculture
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool
JP Ore, C Detweiler, S Elbaum
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
Megbízások: US National Science Foundation, US Department of Agriculture
Swarmbug: debugging configuration bugs in swarm robotics
C Jung, A Ahad, J Jung, S Elbaum, Y Kwon
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
Megbízások: US National Science Foundation
Reducing dnn properties to enable falsification with adversarial attacks
D Shriver, S Elbaum, MB Dwyer
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
Megbízások: US National Science Foundation
Fire-aware planning of aerial trajectories and ignitions
E Beachly, C Detweiler, S Elbaum, B Duncan, C Hildebrandt, D Twidwell, ...
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
Megbízások: US National Science Foundation, US Department of Agriculture
Dimensional inconsistencies in code and ROS messages: A study of 5.9 M lines of code
JP Ore, S Elbaum, C Detweiler
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
Megbízások: US National Science Foundation, US Department of Agriculture
Neural-based test oracle generation: A large-scale evaluation and lessons learned
SB Hossain, A Filieri, MB Dwyer, S Elbaum, W Visser
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
Megbízások: US Department of Defense
UAS-Rx interface for mission planning, fire tracking, fire ignition, and real-time updating
E Beachly, C Detweiler, S Elbaum, D Twidwell, B Duncan
2017 IEEE International Symposium on Safety, Security and Rescue Robotics …, 2017
Megbízások: US National Science Foundation
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.