SHIMAKAWA Masaya 島川昌也

Researcher Number	00749161
Other IDs
Affiliation (Current)	2025: 拓殖大学, 工学部, 准教授
Affiliation (based on the past Project Information) *help	2022 – 2023: 拓殖大学, 工学部, 准教授 2019 – 2021: 拓殖大学, 工学部, 助教 2016 – 2018: 東京工業大学, 情報理工学院, 助教 2015: 東京工業大学, 大学院情報理工学研究科, 情報理工学研究科研究員 2014: 東京工業大学, 大学院情報理工学研究科, 研究員
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software Except Principal Investigator Software
Keywords	Principal Investigator ω-オートマトン / 仕様検証 / ωオートマトン / 実現可能性 / リアクティブシステム仕様 Except Principal Investigator 組込みシステム仕様 / 極小充足不能集合 / オートマトン / 時間論理 / 修正情報抽出 / 組み込みシステム仕様 / 形式手法

振る舞い仕様の効率的な実現可能性判定のための分割検証法Principal Investigator
- Principal Investigator
  
  島川昌也
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Takushoku University
Efficient methods of operating omega-automata and its applications to specification verificationPrincipal Investigator
- Principal Investigator
  
  Shimakawa Masaya
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Takushoku University
  Tokyo Institute of Technology
Efficient realizability verification of reactive system specifications without approximationPrincipal Investigator
- Principal Investigator
  
  Shimakawa Masaya
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Extracting information for correction of flaws from embedded system specification of practical scale by formal method
- Principal Investigator
  
  HAGIHARA Shigeki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 Other

All Journal Article Presentation

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

1. HAGIHARA Shigeki (70334547)

# of Collaborated Projects: 1 results

# of Collaborated Products: 18 results

SHIMAKAWA Masaya 島川 昌也

Research Projects

Research Products

Co-Researchers

振る舞い仕様の効率的な実現可能性判定のための分割検証法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Efficient methods of operating omega-automata and its applications to specification verificationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Efficient realizability verification of reactive system specifications without approximationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Extracting information for correction of flaws from embedded system specification of practical scale by formal method

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2022

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] Efficient Realizability Checking by Modularization of LTL Specifications2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Safraless LTL Synthesis Considering Maximal Realizability2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Reducing Bounded Realizability Analysis to Reachability Checking2015

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Formal Analysis of Gene Networks using Network Motifs2014

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Bounded Strong Satisfiability Checking of Reactive System Specifications2014

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] Modular analysis of gene networks by linear temporal logic2013

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Developing Embedded Systems from Formal Specifications Written in Temporal Logic2013

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Complexity of Strong Satisfiability Problems for Reactive System Specifications2013

Author(s)

Journal Title

SHIMAKAWA Masaya 島川昌也