Approximate Translation from Floating-Point to Real-Interval Arithmetic.
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
14th International Symposium on NASA Formal Methods (NFM), 733-751, 2022

Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques.
Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki
37th ACM/SIGAPP Symposium on Applied Computing (SAC), 1827-1836, 2022

時系列障害原因分析による推論QoS規則導出手法
今野 賢, DEFAGO Xavier, 冨田 尭, 井口 寧
情報処理学会デジタルプラクティス, 2, 3, 11-26, 2021

Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers
Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki
Software Testing Verification and Reliability, 31, 8, e1788-, 2021

Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems.
Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita
25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 100-109, 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 Transactions on Fundamentals of Electronics Communications and Computer Sciences, 103-A, 2, 451-461, 2020

A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
IEEE/ACM 11th Workshop on Modelling in Software Engineering (MiSE), 39-46, 2019

Reducing False Positives of Static Analysis for SEI CERT C Coding Standard
Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
IEEE/ACM Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP), 41-48, 2019

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
8th International Conference on Software and Computer Applications (ICSCA), 347-352, 2019

Template-Based Monte-Carlo Test Generation for Simulink Models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
7th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), LNCS11267, 63-78, 2019

Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.
Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo
26th Asia-Pacific Software Engineering Conference (APSEC), 86-93, 2019

Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard.
Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada
26th Asia-Pacific Software Engineering Conference (APSEC), 70-77, 2019

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
Workshop on Computation: Theory and Practice (WCTP), 2018, -, 2018

Template-Based Monte-Carlo Test Generator for Large and Complex Simulink Models
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Embedded Systems Symposium, 2018, 83-90, 2018

Safraless LTL synthesis considering maximal realizability.
Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
Acta Informatica, 54, 7, 655-692, 2017

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
4th FME Workshop on Formal Methods in Software Engineering (FormaliSE), 15-21, 2016

可能な限り仕様を満たすリアクティブシステムの合成
冨田 尭, 上野 篤史, 萩原 茂樹, 島川 昌也, 米崎 直樹
第 22 回ソフトウェア工学の基礎ワークショップ (FOSE 2015), 77-86, 2015

An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints
Takashi Tomita, Takahito Kimura, Shigeki Hagihara, Naoki Yonezaki
Workshop on Computation: Theory and Practice (WCTP), 2014, -, 2014

Statistical Model Checking of Probabilistic Frequency Temporal Logic
Takashi Tomita, Shigeki Hagihara, Sohei Ito, Naoki Yonezaki
Computer Software, 31, 3, 336-356, 2014

Verification and Optimization Methods for Mean-Payoff Temporal Logic
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
Computer Software, 31, 2, 93-117, 2014

A Formal Ontology of Interactions with Intensional Quantitative Semantics
Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Workshop on Computation: Theory and Practice (WCTP) 2012, 7, 13-33, 2013

A Temporal Logic with Mean-Payoff Constraints.
Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
14th International Conference on Formal Engineering Methods (ICFEM), LNCS7635, 249-265, 2012

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
13th International Workshop on Verification of Infinite-State Systems (INFINITY), Electronic Proceedings in Theoretical Computer Science, 73, 79-93, 2011