A low-current Ku-band GaAs monolithic image rejection down-converter. - Toshihiko Yoshimasu; Keiichi Sakuno; Nobuyuki Matsumoto; Eiji Suematsu; Toshiya Tsukao; Takashi Tomita (IEEE J. Solid State Circuits, 1992)

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking - Takashi Tomita; Shigeki Hagihara; Naoki Yonezaki (INFINITY, 2011)

A Temporal Logic with Mean-Payoff Constraints. - Takashi Tomita; Shin Hiura; Shigeki Hagihara; Naoki Yonezaki (ICFEM, 2012)

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. - Shigeki Hagihara; Atsushi Ueno; Takashi Tomita; Masaya Shimakawa; Naoki Yonezaki (FormaliSE@ICSE, 2016)

Template-Based Monte-Carlo Test Generation for Simulink Models. - Takashi Tomita; Daisuke Ishii; Toru Murakami; Shigeki Takeuchi; Toshiaki Aoki (CyPhy, 2017)

Safraless LTL synthesis considering maximal realizability. - Takashi Tomita; Atsushi Ueno; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (Acta Informatica, 2017)

Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. - Thuy Nguyen; Toshiaki Aoki; Takashi Tomita; Junpei Endo (APSEC, 2019)

Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard. - Thu-Trang Nguyen; Toshiaki Aoki; Takashi Tomita; Iori Yamada (APSEC, 2019)

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. - Masaya Shimakawa; Atsushi Ueno; Shohei Mochizuki; Takashi Tomita; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2019)

Reducing false positives of static analysis for SEI CERT C coding standard. - Thu Trang Nguyen; Pattaravut Maleehuan; Toshiaki Aoki; Takashi Tomita; Iori Yamada (CESSER-IP@ICSE, 2019)

A scalable Monte-Carlo test-case generation tool for large and complex simulink models. - Takashi Tomita; Daisuke Ishii; Toru Murakami; Shigeki Takeuchi; Toshiaki Aoki (MiSE@ICSE, 2019)

Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. - Toshiaki Aoki; Daisuke Kawakami; Nobuo Chida; Takashi Tomita (PRDC, 2020)

Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. - Takashi Tomita; Daisuke Ishii; Toru Murakami; Shigeki Takeuchi; Toshiaki Aoki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020)

Compositional Test Generation of Industrial Synchronous Systems. - Daisuke Ishii; Takashi Tomita; Kenji Onishi; Toshiaki Aoki (CoRR, 2021)

Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers. - Thuy Nguyen; Takashi Tomita; Junpei Endo; Toshiaki Aoki (Softw. Test. Verification Reliab., 2021)

A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. - Kento Tanaka; Toshiaki Aoki; Tatsuji Kawai; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (COMPSAC, 2022)

SMT-Based Model Checking of Industrial Simulink Models. - Daisuke Ishii; Takashi Tomita; Toshiaki Aoki; The Quyen Ngo; Thi Bich Ngoc Do; Hideaki Takai (ICFEM, 2022)

Approximate Translation from Floating-Point to Real-Interval Arithmetic. - Daisuke Ishii; Takashi Tomita; Toshiaki Aoki (NFM, 2022)

Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. - Daisuke Ishii; Takashi Tomita; Toshiaki Aoki; The Quyen Ngo; Thi Bich Ngoc Do; Hideaki Takai (QRS, 2022)

Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques. - Thuy Nguyen; Takashi Tomita; Junpei Endo; Geon-ung Kang; Toshiaki Aoki (SAC, 2022)

Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data. - Jonghyeok Jeon; Takashi Tomita (Remote. Sens., 2022)

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications. - Takashi Tomita; Shigeki Hagihara; Masaya Shimakawa; Naoki Yonezaki (IEICE Trans. Inf. Syst., 2022)

Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. - Kento Tanaka; Toshiaki Aoki; Tatsuji Kawai; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (ENASE, 2023)

Modeling Language for Scenario Development of Autonomous Driving Systems. - Toshiaki Aoki; Takashi Tomita; Tatsuji Kawai; Daisuke Kawakami; Nobuo Chida (FormaliSE, 2025)

Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems. - Kento Tanaka; Toshiaki Aoki; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (IEEE Access, 2025)