トップページ  >  教員個別情報  >  発表論文
冨田　尭 （TOMITA, Takashi）准教授
情報科学, 次世代デジタル社会基盤研究領域, 情報社会基盤研究センター

発表論文

28件
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, 250-261, 2023
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
IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS), 422-433, 2022
SMT-Based Model Checking of Industrial Simulink Models
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
23rd International Conference on Formal Engineering Methods (ICFEM), 156-172, 2022
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
IEICE Transactions on Information and Systems, E105.D, 10, 1665-1677, 2022
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
IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), 950-955, 2022
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
大規模複雑 Simulink モデルのためのテンプレートベース Monte-Carlo 法に基づいたテスト自動生成ツール
冨田 尭, 石井 大輔, 村上 徹, 竹内 成樹, 青木 利晃
組込みシステムシンポジウム, 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
確率頻度時間論理の統計的モデル検査
冨田尭, 萩原茂樹, 伊藤宗平, 米崎直樹
コンピュータソフトウェア, 31, 3, 336-356, 2014
平均利得時間論理とそれを用いた検証・最適化手法
冨田尭, 萩原茂樹, 米崎直樹
コンピュータソフトウェア, 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