島川昌也 SHIMAKAWA Masaya

研究者番号	00749161
その他のID
所属 (現在)	2025年度: 拓殖大学, 工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2023年度: 拓殖大学, 工学部, 准教授 2019年度 – 2021年度: 拓殖大学, 工学部, 助教 2016年度 – 2018年度: 東京工業大学, 情報理工学院, 助教 2015年度: 東京工業大学, 大学院情報理工学研究科, 情報理工学研究科研究員 2014年度: 東京工業大学, 大学院情報理工学研究科, 研究員
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウェア研究代表者以外ソフトウエア
キーワード	研究代表者 ω-オートマトン / 仕様検証 / ωオートマトン / 実現可能性 / リアクティブシステム仕様研究代表者以外組込みシステム仕様 / 極小充足不能集合 / オートマトン / 時間論理 / 修正情報抽出 / 組み込みシステム仕様 / 形式手法

振る舞い仕様の効率的な実現可能性判定のための分割検証法研究代表者
- 研究代表者
  
  島川昌也
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  拓殖大学
効率的なωオートマトン操作法と非制限的仕様検証への応用研究代表者
- 研究代表者
  
  島川昌也
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  拓殖大学
   東京工業大学
非近似的アプローチによるリアクティブシステム仕様の効率的な実現可能性判定法研究代表者
- 研究代表者
  
  島川昌也
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  東京工業大学
形式手法による欠陥のある現実規模の組み込みシステム仕様からの修正情報抽出
- 研究代表者
  
  萩原茂樹
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  東京工業大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 その他

すべて雑誌論文学会発表

[雑誌論文] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2022
- 著者名/発表者名
  TOMITA Takashi、HAGIHARA Shigeki、SHIMAKAWA Masaya、YONEZAKI Naoki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E105.D 号: 10 ページ: 1665-1677
- DOI
  10.1587/transinf.2021FOP0005
- ISSN
  0916-8532, 1745-1361
- 年月日
  2022-10-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22K11980, KAKENHI-PROJECT-17K17763, KAKENHI-PROJECT-18K18028
[雑誌論文] Efficient Realizability Checking by Modularization of LTL Specifications2021
- 著者名/発表者名
  Ito Sohei, Osari Kenji, Shimakawa Masaya, Hagihara Shigeki, Yonezaki Naoki
- 雑誌名
  
  The Computer Journal
  
  巻: bxab116
- DOI
  10.1093/comjnl/bxab116
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00092, KAKENHI-PROJECT-21K11756, KAKENHI-PROJECT-18K18028
[雑誌論文] Safraless LTL Synthesis Considering Maximal Realizability2016
- 著者名/発表者名
  Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 雑誌名
  
  Acta Informatica
  
  巻: Special Issue on Synthesis 号: 7 ページ: 1-38
- DOI
  10.1007/s00236-016-0280-3
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16K00092, KAKENHI-PROJECT-15K15969
[雑誌論文] Reducing Bounded Realizability Analysis to Reachability Checking2015
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 雑誌名
  
  Reachability Problems, Lecture Notes in Computer Science
  
  巻: 9328 ページ: 140-152
- DOI
  10.1007/978-3-319-24537-9_13
- ISBN
  9783319245362, 9783319245379
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K15969
[雑誌論文] Formal Analysis of Gene Networks using Network Motifs2014
- 著者名/発表者名
  Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
- 雑誌名
  
  Communications in Computer and Information Science
  
  巻: 452 ページ: 131-146
- DOI
  10.1007/978-3-662-44485-6_10
- ISBN
  9783662444849, 9783662444856
- 査読あり
- データソース
  KAKENHI-PROJECT-24500032
[雑誌論文] Bounded Strong Satisfiability Checking of Reactive System Specifications2014
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E97.D 号: 7 ページ: 1746-1755
- DOI
  10.1587/transinf.E97.D.1746
- NAID
  130004519271
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-24500032
[雑誌論文] Modular analysis of gene networks by linear temporal logic2013
- 著者名/発表者名
  Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
- 雑誌名
  
  Journal of Integrative Bioinformatics
  
  巻: 10(2) ページ: 216-216
- DOI
  10.2390/biecoll-jib-2013-216
- 査読あり
- データソース
  KAKENHI-PROJECT-24500032
[雑誌論文] Developing Embedded Systems from Formal Specifications Written in Temporal Logic2013
- 著者名/発表者名
  Shigeki Hagihara, Takahiro Arai, Masaya Shimakawa, Naoki Yonezaki
- 雑誌名
  
  Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering
  
  巻: 150 ページ: 107-113
- DOI
  10.1007/978-1-4614-3363-7_13
- ISBN
  9781461433620, 9781461433637
- 査読あり
- データソース
  KAKENHI-PROJECT-24500032
[雑誌論文] Complexity of Strong Satisfiability Problems for Reactive System Specifications2013
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96-D(10) ページ: 2187-2193
- NAID
  130004519200
- データソース
  KAKENHI-PROJECT-24500032
[雑誌論文] SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications2013
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 雑誌名
  
  Information and Communicatiaon Technology, Lecture Notes in Computer Science
  
  巻: 7804 ページ: 60-70
- DOI
  10.1007/978-3-642-36818-9_7
- NAID
  40022046973
- ISBN
  9783642368172, 9783642368189
- 査読あり
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] リアクティブシステム仕様の分割実現可能性判定法2023
- 著者名/発表者名
  根本陽菜，島川昌也
- 学会等名
  情報処理学会第85回全国大会
- データソース
  KAKENHI-PROJECT-22K11980
[学会発表] Towards Interpretation of Abstract Instructions using Declarative Constraints in Temporal Logic2020
- 著者名/発表者名
  Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara and Naoki Yonezaki
- 学会等名
  International Conference on Software and Computer Applications (ICSCA 2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K18028
[学会発表] Verification of Verifiability of Voting Protocols by Strand Space Analysis2019
- 著者名/発表者名
  Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
- 学会等名
  International Conference on Software and Computer Applications (ICSCA 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K18028
[学会発表] Towards Efficient Implementation of Realizability Checking for Reactive System Specifications2019
- 著者名/発表者名
  Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  International Conference on Software and Computer Applications (ICSCA 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K18028
[学会発表] Towards Improvement of Realizability Checking for Reactive System Specifications by Simplification of Infinite Games2018
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  Workshop on Computation: Theory and Practice (WCTP2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Towards Improvement of Realizability Checking for Reactive System Specifications by Simplification of Infinite Games2018
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  Workshop on Computation: Theory and Practice (WCTP2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K18028
[学会発表] Efficiency of the Strong Satisfiability Checking Procedure for Reactive System Specifications2017
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  International Conference on Computer, Electronic Engineering and Information Science (CEEIS 2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Modularization of formal specifications for efficient synthesis of reactive systems2017
- 著者名/発表者名
  Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  International Conference on Software and Computer Applications (ICSCA 2017)
- 発表場所
  タイ
- 年月日
  2017-02-26
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames2017
- 著者名/発表者名
  Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki
- 学会等名
  International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017)
- 発表場所
  中国
- 年月日
  2017-03-11
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Web server access trend analysis based on the Poisson distribution2017
- 著者名/発表者名
  Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki
- 学会等名
  International Conference on Software and Computer Applications (ICSCA 2017)
- 発表場所
  タイ
- 年月日
  2017-02-26
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Discussion on Verification of Voting Protocols2017
- 著者名/発表者名
  Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
- 学会等名
  Philippine Computing Science Congress (PCSC 2017)
- 発表場所
  フィリピン
- 年月日
  2017-03-16
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Towards Improvements of Bounded Realizability Checking2017
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  Workshop on Computation: Theory and Practice (WCTP2016)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] リアクティブシステム仕様の実現可能性に関する非有界検査の効率化に向けて（ポスター発表）2016
- 著者名/発表者名
  島川昌也，萩原茂樹，米崎直樹
- 学会等名
  第14回ディペンダブルシステムワークショップ (DSW 2016)
- 発表場所
  函館
- 年月日
  2016-12-14
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Discussion of LTL Subsets for Efficient Verification2016
- 著者名/発表者名
  Masaya Shimakawa, Yuuji Iwasaki, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  Workshop on Computation: Theory and Practice (WCTP2016)
- 発表場所
  フィリピン
- 年月日
  2016-09-21
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Simple synthesis of reactive systems with tolerance for unexpected environmental behavior2016
- 著者名/発表者名
  Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
- 学会等名
  Formal Methods in Software Engineering (FormaliSE '16)
- 発表場所
  アメリカ
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] 実現可能性の必要条件に基づいた不完全リアクティブシステム合成2015
- 著者名/発表者名
  冨田尭, 萩原茂樹, 島川昌也, 米崎直樹
- 学会等名
  日本ソフトウェア科学会第32回大会
- 発表場所
  早稲田大学西早稲田キャンパス
- 年月日
  2015-09-08
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] Towards Unbounded Realizability Checking2015
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  Workshop on Computation: Theory and Practice (WCTP2015)
- 発表場所
  University of the Philippines Cebu
- 年月日
  2015-09-22
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] 可能な限り仕様を満たすリアクティブシステムの合成2015
- 著者名/発表者名
  冨田尭, 上野篤史, 萩原茂樹, 島川昌也, 米崎直樹
- 学会等名
  日本ソフトウェア科学会第22回ソフトウェア工学の基礎ワークショップ（FOSE2015）
- 発表場所
  山形県天童市
- 年月日
  2015-11-26
- データソース
  KAKENHI-PROJECT-15K15969
[学会発表] LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究2013
- 著者名/発表者名
  上野篤史, 望月翔平, 島川昌也, 萩原茂樹, 米崎直樹
- 学会等名
  日本ソフトウェア科学会第30回大会
- 発表場所
  東京大学
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] 強充足不能なリアクティブシステム仕様における欠陥範囲の特定2013
- 著者名/発表者名
  萩原茂樹, 江川直毅, 島川昌也, 米崎直樹
- 学会等名
  日本ソフトウェア科学会 FOSE 2013
- 発表場所
  加賀
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] An object-oriented language for parameterised reactive system specification based on linear temporal logic2013
- 著者名/発表者名
  Kenji Osari, Takuya Murooka, Kiyotaka Hagiwara, Takahiro Ando, Masaya Shimakawa, Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  Workshop on Computation: Theory and Practice (WCTP2013)
- 発表場所
  サンホセ-レコレトス大学, フィリピン大学
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] Qualitative analysis of gene regulatory networks using network motifs2013
- 著者名/発表者名
  Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  proceedings of 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2013)
- 発表場所
  Barcelona, Spain
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] LTL式からBuchiオートマトンへの高速な変換法2012
- 著者名/発表者名
  望月翔平, 島川昌也, 萩原茂樹, 米崎直樹
- 学会等名
  ソフトウェア工学の基礎XIX, 日本ソフトウェア科学会 FOSE2012
- 発表場所
  由布院
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] Complexity of Checking Strong Satisfiability of Reactive System Specifications2012
- 著者名/発表者名
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  International Conference on Advances in Information Technology and Communication, AIT 2012
- 発表場所
  dubai, UAE
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] Modular analysis of gene networks using temporal logic (abstract)2012
- 著者名/発表者名
  Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  5th Annual RECOMB Conference on Regulatory and Systems Genomics, with DREAM Challenges
- 発表場所
  San Francisco, USA
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] 環境許容性のあるリアクティブシステム合成法
- 著者名/発表者名
  上野篤史, 冨田尭, 島川昌也, 萩原茂樹, 米崎直樹
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  沖縄県青年会館
- 年月日
  2015-03-09 – 2015-03-10
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] リアクティブシステム仕様の極小強充足不能部分計算に関する考察
- 著者名/発表者名
  萩原茂樹, 江川直毅, 島川昌也, 米崎直樹
- 学会等名
  情報処理学会第99回プログラミング研究発表会
- 発表場所
  旭川市民文化会館
- 年月日
  2014-06-19 – 2014-06-20
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] Fast Translation from LTL to Buechi Automata via Non-transition-based Automata
- 著者名/発表者名
  Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- 学会等名
  16th International Conference on Formal Engineering Methods, ICFEM 2014
- 発表場所
  Melia Hotel, Luxembourg
- 年月日
  2014-11-03 – 2014-11-07
- データソース
  KAKENHI-PROJECT-24500032
[学会発表] Minimal strongly unsatisfiable subsets of reactive system specifications
- 著者名/発表者名
  Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki
- 学会等名
  the 29th ACM/IEEE international conference on Automated software engineering (ASE2014)
- 発表場所
  Aros Congress Center, Vasteras, Sweden
- 年月日
  2014-09-15 – 2014-09-19
- データソース
  KAKENHI-PROJECT-24500032

1. 萩原茂樹 (70334547)

共同の研究課題数: 1件

共同の研究成果数: 18件

島川 昌也 SHIMAKAWA Masaya

研究課題

研究成果

共同研究者

振る舞い仕様の効率的な実現可能性判定のための分割検証法研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

効率的なωオートマトン操作法と非制限的仕様検証への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

非近似的アプローチによるリアクティブシステム仕様の効率的な実現可能性判定法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式手法による欠陥のある現実規模の組み込みシステム仕様からの修正情報抽出

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2022

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

[雑誌論文] Efficient Realizability Checking by Modularization of LTL Specifications2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Safraless LTL Synthesis Considering Maximal Realizability2016

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Reducing Bounded Realizability Analysis to Reachability Checking2015

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Formal Analysis of Gene Networks using Network Motifs2014

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Bounded Strong Satisfiability Checking of Reactive System Specifications2014

著者名/発表者名

雑誌名

DOI

NAID

ISSN

言語

データソース

[雑誌論文] Modular analysis of gene networks by linear temporal logic2013

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Developing Embedded Systems from Formal Specifications Written in Temporal Logic2013

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Complexity of Strong Satisfiability Problems for Reactive System Specifications2013

著者名/発表者名

雑誌名

島川昌也 SHIMAKAWA Masaya