Search for persons
X
?
2022 International Conference on Embedded Software (EMSOFT) ,
1
Industry-track: Challenges in Rebooting Autonomy with Deep ..:
, In:
?
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) ,
2
Programming Abstractions for Simulation and Testing on Smar..:
, In:
?
2020 IEEE International Conference on Robotics and Automation (ICRA) ,
3
CyPhyHouse: A programming, simulation, and deployment toolc..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
4
Dione: A Protocol Verification System Built with Dafny for ..:
, In:
?
Proceedings of the 38th International Conference on Software Engineering ,
5
PAC learning-based verification and model synthesis:
, In:
?
Proceedings of the 49th Annual Design Automation Conference ,
6
Symbolic model checking on SystemC designs:
, In:
?
ACM SIGGRAPH 2024 Immersive Pavilion ,
7
FlowZen: Using Hybrid-Haptic and Particle for Enhancing Imm..:
, In:
?
2023 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) ,
8
Leap to the Eye: Implicit Gaze-based Interaction to Reveal ..:
, In:
?
Advanced Problems in Mechanics; Lecture Notes in Mechanical Engineering ,
10
The Influence of Balcony Greening of High-Rise Buildings on..:
, In:
?
Proceedings of the 24th ACM Symposium on Virtual Reality Software and Technology ,
12
Haptic around : multiple tactile sensations for immersiv..:
, In:
?
SIGGRAPH Asia 2018 Virtual & Augmented Reality ,
13
Lotus : enhancing the immersive experience in virtual en..:
, In:
?
SIGGRAPH Asia 2017 VR Showcase ,
14
BoEs : attachable haptics bits on gaming controller for ..:
, In:
?
ACM SIGGRAPH 2017 Emerging Technologies ,
15