| 2021 | IROS | Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. | Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos |
| 2021 | RV | PerceMon: Online Monitoring for Perception Systems. | Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos |
| 2020 | ATVA | RTAMT: Online Robustness Monitors from STL. | Dejan Nickovic, Tomoya Yamaguchi |
| 2020 | EMSOFT | Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. | Yuji Date, Takeshi Baba, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov |
| 2020 | MEMOCODE | Specification-guided Software Fault Localization for Autonomous Mobile Systems. | Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh |
| 2019 | ICCAD | Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. | Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov |
| 2019 | SIGGRAPH | EyeHacker: gaze-based automatic reality manipulation. | Daichi Ito, Sohei Wakisaka, Atsushi Izumihara, Tomoya Yamaguchi, Atsushi Hiyama, Masahiko Inami |
| 2019 | SiggraphA | Real-time Rendering of Layered Materials with Anisotropic Normal Distributions. | Tomoya Yamaguchi, Tatsuya Yatagawa, Yusuke Tokuyoshi, Shigeo Morishima |
| 2019 | VMCAI | Application of Abstract Interpretation to the Automotive Electronic Control System. | Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura |
| 2018 | PG | Efficient Metropolis Path Sampling for Material Editing and Re-rendering. | Tomoya Yamaguchi, Tatsuya Yatagawa, Shigeo Morishima |
| 2016 | FMCAD | Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. | Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donz, Sanjit A. Seshia |
| 2010 | IROS | Novel and safe linear actuator using ER gel. | Ken'ichi Koyanagi, Yasuhiro Kakinuma, Hidenobu Anzai, Koji Sakurai, Tomoya Yamaguchi, Toru Oshima |