| 種類 |
発行又は発表の年月 |
著書、学術論文、作品等の名称 |
発行又は発表雑誌等又は発表学会等の名称 |
該当頁 |
| 概要 |
| 学術論文（共著） | 2009年12月 | Extracting Environmental Constraints to Make Reactive System Specifications Realizable
| Asia-Pacific Software Engineering Conference | 61-68 |
| |
| 学術論文（共著） | 2011年8月 | リアクティブシステム仕様を実現可能にするための環境制約の抽出
| コンピューターソフトウェア, Vol.28, No.3 | 132-146 |
| |
| 学術論文（共著） | 2012年8月 | Developing Embedded Systems from Formal Specifications Written in Temporal Logic
| International Conference on Trends in Information, Telecommunication and Computing | 107-113 |
| |
| 学術論文（共著） | 2012年9月 | Complexity of Checking Strong Satisfiability of Reactive System Specifications
| International Joint Conference on Signal Processing and Information Technology | 42-51 |
| |
| 学術論文（共著） | 2013年2月 | Qualitative analysis of gene regulatory networks using network motifs
| International Conference on Bioinformatics Models, Methods and Algorithms | 15-24 |
| |
| 学術論文（共著） | 2013年3月 | Modular analysis of gene networks by linear temporal logic | International Symposium on Integrative Bioinformatics | 43-54 |
| |
| 学術論文（共著） | 2013年3月 | SAT-based Bounded Strong Satisfiability Checking of Reactive System Specifications
| International Conference on Information and Communication Technology-EurAsia | 60-70 |
| |
| 学術論文（共著） | 2013年9月 | An object-oriented language for parameterised reactive system specification based on linear temporal logic | Workshop on Computation: Theory and Practice | 94-113 |
| |
| 学術論文（共著） | 2013年10月 | Complexity of Strong Satisfiability Problems for Reactive System Specifications | IEICE Transactions on Information and Systems, Vol.E96-D, No.10 | 2187-2193 |
| |
| 学術論文（共著） | 2014年7月 | Bounded Strong Satisfiability Checking of Reactive System Specifications
| IEICE Transactions on Information and Systems, Vol.E97-D, No.7 | 1746-1755 |
| |
| 学術論文（共著） | 2014年9月 | Minimal Strongly Unsatisfiable Subsets of Reactive System Specifications | International Conference on Automated Software Engineering | 629-634 |
| |
| 学術論文（共著） | 2014年11月 | Fast Translation from LTL to Buchi Automata via Non-Transition-based Automata
| International Conference on Formal Engineering Methods | 364-379 |
| |
| 学術論文（共著） | 2015年8月 | Qualitative analysis of gene regulatory networks by temporal logic
| Theoretical Computer Science, Vol.594 | 151-179 |
| |
| 学術論文（共著） | 2015年9月 | Reducing Bounded Realizability Analysis to Reachability Checking
| International Workshop on Reachability Problems | 140-152 |
| |
| 学術論文（共著） | 2015年9月 | Towards Unbounded Realizability Checking
| Workshop on Computation: Theory and Practice | 80-90 |
| |
| 学術論文（共著） | 2016年5月 | Simple Synthesis of Reactive Systems with Tolerance for Unexpected Environmental Behavior
| FME Workshop on Formal Methods in Software Engineering | 15-21 |
| |
| 学術論文（共著） | 2016年9月 | Discussion of LTL Subsets for Efficient Verification
| Workshop on Computation: Theory and Practice | 1-14 |
| |
| 学術論文（共著） | 2016年10月 | Safraless LTL synthesis considering maximal realizability | Acta Informatica, Vol.54 | 655–692 |
| |
| 学術論文（共著） | 2017年3月 | Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames
| International Conference on Computer Science, Electronics Technology and Automation | 676-683 |
| |
| 学術論文（共著） | 2017年3月 | Discussion on Verification of Voting Protocols | 17th Philippine Computing Science Congress | 1-4 |
| |
| 学術論文（共著） | 2017年5月 | Modularization of Formal Specifications for Efficient Synthesis of Reactive Systems
| International Conference on Software and Computer Applications | 208-213 |
| |
| 学術論文（共著） | 2017年5月 | Web Server Access Trend Analysis Based on the Poisson Distribution
| International Conference on Software and Computer Applications | 256-261 |
| |
| 学術論文（共著） | 2017年9月 | Towards Improvements of Bounded Realizability Checking
| Workshop on Computation: Theory and Practice | 118-128 |
| |
| 学術論文（共著） | 2017年12月 | Efficiency of the Strong Satisfiability Checking Procedure for Reactive System Specifications
| International Conference on Computer, Electronic Engineering and Information Science | PaperID:040051(全7ページ) |
| |
| 学術論文（共著） | 2018年9月 | A Characterization on Necessary Conditions of Realizability for Reactive System Specifications | Workshop on Computation: Theory and Practice | 33-42 |
| |
| 学術論文（共著） | 2018年9月 | Towards Improvement of Realizability Checking for Reactive System Specifications by Simplification of Infinite Games | Workshop on Computation: Theory and Practice | 1-14 |
| |
| 学術論文（共著） | 2019年5月 | Towards Efficient Implementation of Realizability Checking for Reactive System Specifications | International Conference on Software and Computer Applications | 347-352 |
| |
| 学術論文（共著） | 2019年5月 | Verification of Verifiability of Voting Protocols by Strand Space Analysis | International Conference on Software and Computer Applications | 363-368 |
| |
| 学術論文（共著） | 2020年4月 | Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic | International Conference on Software and Computer Applications | 17-20 |
| |
| 学術論文（共著） | 2021年9月 | Efficient Realizability Checking by Modularization of LTL Specifications | The Computer Journal | PaperID:bxab116(全14ページ) |
| |
| 学術論文（共著） | 2022年10月 | A Characterization on Necessary Conditions of Realizability for Reactive System Specifications | IEICE Transactions on Information and Systems, Vol.E105-D, No.10 | 1665-1677 |
| |
| 学術論文（共著） | 2023年8月 | Security Risk Growth Models for Software Vulnerability Assessment | International Conference on Dependable Systems and Networks Workshops (DSN-W) | 32-35 |
| |
