Takahiro Ando

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 18

Top Topics

Physically Plausible

Formal Specification

Top Venues

SIGGRAPH ASIA Emerging Technologies

Publications

Masahito Takezawa, Kohei Matsuo, Takahiro Ando
Development of Support System for Ship-Hull Plate Forming Using Laser Scanner. Int. J. Autom. Technol. 15 (3) (2021)
Yuki Hori, Takahiro Ando, Akira Fukuda
Personal Identification Methods Using Footsteps of One Step. ICAIIC (2020)
Hiroharu Kato, Deniz Beker, Mihai Morariu, Takahiro Ando, Toru Matsuoka, Wadim Kehl, Adrien Gaidon
Differentiable Rendering: A Survey. CoRR (2020)
Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda
An Inter-Organizational Software Architecture for Smart Mobility. ICSIE (2020)
Deniz Beker, Hiroharu Kato, Mihai Morariu, Takahiro Ando, Toru Matsuoka, Wadim Kehl, Adrien Gaidon
Monocular Differentiable Rendering for Self-supervised 3D Object Detection. ECCV (21) (2020)
Deniz Beker, Hiroharu Kato, Mihai Morariu, Takahiro Ando, Toru Matsuoka, Wadim Kehl, Adrien Gaidon
Monocular Differentiable Rendering for Self-Supervised 3D Object Detection. CoRR (2020)
Ryota Shijo, Mizuki Nagano, Izumi Mizoguchi, Takahiro Ando, Kanji Tamura, Keigo Hiki, Sho Sakurai, Koichi Hirota, Takuya Nojima
Licker: A Tongue Robot for Representing Realistic Tongue Motions. SIGGRAPH ASIA Emerging Technologies (2019)
Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI (2018)
Izumi Mizoguchi, Takahiro Ando, Mizuki Nagano, Ryota Shijo, Sho Sakurai, Koichi Hirota, Takuya Nojima
Gill+Man: breathing through gills experience system. SIGGRAPH ASIA Emerging Technologies (2018)
Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda
Software Engineering Practices for the Smart Mobility Market. IIAI-AAI (2018)
Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda
Overview and Application Examples of Agent-Based Unified Simulation Environment. IIAI-AAI (2018)
Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. IIAI-AAI (2018)
Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
Verification Model Translation Method toward Behavior Model for CAST. DSA (2018)
Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi
A Process of Uncertainty Handling Method to Smart Mobility Application Development. IIAI-AAI (2018)
Takahiro Ando, Ayano Masaki, Qing Liu, Takafumi Ooka, Sho Sakurai, Koichi Hirota, Takuya Nojima
Squachu: a training game to improve oral function via a non-contact tongue-mouth-motion detection system. AVI (2018)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. 31 (2016)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA (2016)
Kenji Hisazumi, Tsuneo Nakanishi, Shota Ishibashi, Go Hirakawa, Tsunenori Mine, Takahiro Ando, Hiroki Furusho, Akira Fukuda
Operation Phase Metrics for Smart Mobility Platform. ICA (2016)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. 58 (11) (2015)
Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki
Formal Specification Based Automatic Test Generation for Embedded Network Systems. J. Appl. Math. 2014 (2014)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. 10 (2) (2014)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) (2013)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) (2013)
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops (2013)