Linguistic and Topological Characteristics of Temporal Property Classes
日本ソフトウェア科学会第40回大会, 2023
Test Case Generation Method for Simulation Verification in Autonomous Driving System Development
情報処理学会研究報告(Web), 2021
Decision Procedures for necessary conditions of Reactive System Specifications.
日本ソフトウェア科学会第37回大会, 2020
A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models
11th Workshop on Modelling in Software Engineering (MiSE 2019), Montreal, Canada, 2019
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール
組込みシステムシンポジウム2018, 下呂市，岐阜, 2018
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
Workshop on Computation: Theory and Practice 2018 (WCTP2018), UP Professional Schools BGC, Manila, Philippines, 2018
Template-Based Monte-Carlo Test Generation for Simulink Models
Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17 ), Seoul, South Korea, 2018
Randomized Test Generation Methods for Model-Based Control System Development
The First Asian Symposium on Collaborative Software Engineering (ACSE 2017), Waseda University (Nishiwaseda Campus), Tokyo, 2017
Simulinkモデルに対するテストスイート自動生成
第14回ディペンダブルシステムワークショップ (DSW), (ポスター), 2016
統計的モデル検査における偏向分布洗練手法
日本ソフトウェア科学会第33回大会, 東北大学片平キャンパス, 宮城, 2016
実現可能性の必要条件に基づいた不完全リアクティブシステム合成
日本ソフトウェア科学会第32回大会, 早稲田大学西早稲田キャンパス, 東京, 2015
可能な限り仕様を満たすリアクティブシステムの合成
第22回ソフトウェア工学の基礎ワークショップ (FOSE 2015), 天童市, 山形, 2015
協調的リアクティブシステムの合成手法
日本ソフトウェア科学会第31回大会, 名古屋大学東山キャンパス, 愛知, 2014
確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法
日本ソフトウェア科学会第30回大会, 東京大学本郷キャンパス, 東京, 2013
A Temporal Logic with Mean-Payoff Constraints
14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, 2012
A Formal Ontology of Interactions with Intensional Quantitative Semantics
Workshop on Computation: Theory and Practice 2012 (WCTP2012), De La Salle University, Manila, Philippines, 2012
Mean-Payoffを記述可能な線形時間論理
日本ソフトウェア科学会第29回大会, 法政大学小金井キャンパス, 東京, 2012
確率的モデル検査を用いた生命システムの振舞い解析
第47回人工知能学会分子生物情報研究会 (SIG-MBI), 慶應大学日吉キャンパス, 神奈川, 2011
Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
13th International Workshop on Verification of Infinite-State Systems (INFINITY'11), Taipei, Taiwan, 2011
頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査
日本ソフトウェア科学会第28回大会, 那覇市, 沖縄, 2011
頻度オペレータを導入したProbabilistic CTLとそのモデル検査アルゴリズム
情報処理学会第73回全国大会, 東京工業大学大岡山キャンパス, 東京, 2011
Qualitative Inference Rules for Analysis of Biological Object Interactions
9th International Conference on Bioinformatics, Waseda University, Tokyo, Japan, 2010
2-Layered Formal Interaction Ontology among Biological Processes with Quantitative Semantics
CBI-KSBSB Joint Conference, Busan, Korea, 2009
量的関係を考慮した生体内の阻害・活性化機能の形式相互作用オントロジー
日本ソフトウェア科学会第25回大会, 筑波大学東京キャンパス, 東京, 2008