Hagihara Shigeki 萩原茂樹

… Alternative Names

HAGIHARA Shigeki 萩原茂樹

Less

Researcher Number	70334547
Other IDs
Affiliation (Current)	2025: 公立千歳科学技術大学, 理工学部, 教授
Affiliation (based on the past Project Information) *help	2025: 公立千歳科学技術大学, 理工学部, 准教授 2019 – 2021: 公立千歳科学技術大学, 理工学部, 准教授 2017 – 2018: 東北公益文科大学, 公私立大学の部局等, 准教授 2016: 東京工業大学, 情報理工学院, 助教 2012 – 2014: 東京工業大学, 情報理工学(系)研究科, 助教
Review Section/Research Field	Principal Investigator Software / Software Except Principal Investigator Basic Section 21020:Communication and network engineering-related
Keywords	Principal Investigator 時間論理 / 形式手法 / 高信頼ソフトウェア開発 / ソフトウェア工学 / システム検証・合成 / 組込みシステム / 定量的制約 / 検証 / 自動合成 / 組み込みシステム … More / 組込みシステム仕様 / 極小充足不能集合 / オートマトン / 修正情報抽出 / 組み込みシステム仕様 … More Except Principal Investigator 物理複製困難関数 (PUF) / 形式手法 / 多要素認証 / 物理層セキュリティ Less

A study of cross-layer multifactor authentication methods
- Principal Investigator
  
  高野泰洋
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 21020:Communication and network engineering-related
- Research Institution
  Chitose Institute of Science and Technology
Synthesis of embedded systems satisfying quantitative constraints by formal methodsPrincipal Investigator
- Principal Investigator
  
  Hagihara Shigeki
- Project Period (FY)
  2016 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Chitose Institute of Science and Technology
  Tohoku University of Community Service and Science
  Tokyo Institute of Technology
Extracting information for correction of flaws from embedded system specification of practical scale by formal methodPrincipal Investigator
- 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 2021 2020 2019 2018 2017 2016 2014 2013 2012 Other

All Journal Article Presentation Book

[Book] 応用数理ハンドブック(論理的検証法の節、pp. 238-239)2013
- Author(s)
  萩原茂樹(分担執筆)
- Total Pages
  685
- Publisher
  朝倉書店
- Data Source
  KAKENHI-PROJECT-24500032
[Journal Article] 地方公共サービスにおける人員・車両・施設等の最適資源配置問題 ―救急・消防に関する検討―2021
- Author(s)
  三木潤一、川崎雄二郎、萩原茂樹
- Journal Title
  
  CIPFA Japan ジャーナル
  
  Volume: 5 Pages: 25-35
- NAID
  40022661491
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[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] Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic2020
- Author(s)
  Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara and Naoki Yonezaki
- Journal Title
  
  Proceedings of the 2020 9th International Conference on Software and Computer Applications (ICSCA2020)
  
  Pages: 17-20
- DOI
  10.1145/3384544.3384572
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Verification of Verifiability of Voting Protocols by Strand Space Analysis2019
- Author(s)
  Shigeki Hagihara, Masaya Shimakawa and Naoki Yonezaki
- Journal Title
  
  Proceedings of the 2019 8th International Conference on Software and Computer Applications (ICSCA2019)
  
  Pages: 363-368
- DOI
  10.1145/3316615.3316629
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Towards Efficient Implementation of Realizability Checking for Reactive System Specifications2019
- Author(s)
  Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara and Naoki Yonezaki
- Journal Title
  
  Proceedings of the 2019 8th International Conference on Software and Computer Applications (ICSCA2019)
  
  Pages: 347-352
- DOI
  10.1145/3316615.3316634
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms2018
- Author(s)
  Sohei Ito, Kenji Osari, Shigeki Hagihara and Naoki Yonezaki
- Journal Title
  
  Biomedical Engineering Systems and Technologies (BIOSTEC 2017), Communications in Computer and Information Science
  
  Volume: 881 Pages: 191-211
- DOI
  10.1007/978-3-319-94806-5_11
- ISBN
  9783319948058, 9783319948065
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Efficiency of the strong satisfiability checking procedure for reactive system specifications2018
- Author(s)
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- Journal Title
  
  AIP Conference Proceedings
  
  Volume: 1955 Pages: 040051-040051
- DOI
  10.1063/1.5033715
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Web server access trend analysis based on the Poisson distribution2017
- Author(s)
  Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki
- Journal Title
  
  Proceedings of the 6th International Conference on Software and Computer Applications (ICSCA 2017)
  
  Volume: - Pages: 256-261
- DOI
  10.1145/3056662.3056701
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames2017
- Author(s)
  Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki
- Journal Title
  
  Advances in Engineering
  
  Volume: 126 Pages: 676-683
- DOI
  10.2991/icmmct-17.2017.140
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Modularization of formal specifications for efficient synthesis of reactive systems2017
- Author(s)
  Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
- Journal Title
  
  Proceedings of the 6th International Conference on Software and Computer Applications (ICSCA 2017)
  
  Volume: - Pages: 208-213
- DOI
  10.1145/3056662.3056702
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[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] Simple synthesis of reactive systems with tolerance for unexpected environmental behavior2016
- Author(s)
  Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
- Journal Title
  
  Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16)
  
  Volume: - Pages: 15-21
- DOI
  10.1145/2897667.2897672
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092
[Journal Article] Statistical Model Checking of Probabilistic Frequency Temporal Logic2014
- Author(s)
  冨田尭, 萩原茂樹, 伊藤宗平, 米崎直樹
- Journal Title
  
  Computer Software
  
  Volume: 31 Issue: 3 Pages: 3_336-3_356
- DOI
  10.11309/jssst.31.3_336
- NAID
  130004688291
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24500032
[Journal Article] Verification and Optimization Methods for Mean-Payoff Temporal Logic2014
- Author(s)
  冨田尭, 萩原茂樹, 米崎直樹
- Journal Title
  
  Computer Software
  
  Volume: 31 Issue: 2 Pages: 2_93-2_117
- DOI
  10.11309/jssst.31.2_93
- NAID
  130004892285
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24500032
[Journal Article] SAT solverを用いるLTLタブロー構成法とその評価2014
- Author(s)
  安藤崇央, 萩原茂樹, 米崎直樹
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 55(2) Pages: 909-921
- NAID
  110009665001
- Data Source
  KAKENHI-PROJECT-24500032
[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] A Formal Ontology of Interactions with Intensional Quantitative Semantics2013
- Author(s)
  Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
- Journal Title
  
  Theory and Practice of Computation, Proceedings in Information and Communications Technology
  
  Volume: 7 Pages: 13-33
- DOI
  10.1007/978-4-431-54436-4_2
- ISBN
  9784431544357, 9784431544364
- 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
[Journal Article] Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts2012
- Author(s)
  Shigeki Hagihara, Hiroaki Oguro, Naoki Yonezaki
- Journal Title
  
  Philippine Computing Journal
  
  Volume: 7(2) Pages: 23-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500032
[Journal Article] Completeness of a Deduction System for Relational Information between Ciphertexts based on Probabilistic Computational Semantics2012
- Author(s)
  Shigeki Hagihara, Hiroaki Oguro, Naoki Yonezaki
- Journal Title
  
  Theory and Practice of Computation, Proceedings in Information and Communications Technology
  
  Volume: 5 Pages: 116-132
- DOI
  10.1007/978-4-431-54106-6_10
- ISBN
  9784431541059, 9784431541066
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500032
[Journal Article] A Temporal Logic with Mean-Payoff Constraints2012
- Author(s)
  Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
- Journal Title
  
  Formal Methods and Software Engineering, Lecture Notes in Computer Science
  
  Volume: 7635 Pages: 249-265
- DOI
  10.1007/978-3-642-34281-3_19
- ISBN
  9783642342806, 9783642342813
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500032
[Presentation] 動的モデルによる救急隊配置の最適化手法―山形県酒田地区におけるケーススタディ2021
- Author(s)
  川崎雄二郎, 萩原茂樹, 三木潤一
- Organizer
  日本応用数理学会第17回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K00092
[Presentation] Towards Improvement of Realizability Checking for Reactive System Specifications by Simplification of Infinite Games2018
- Author(s)
  Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki
- Organizer
  Workshop on Computation: Theory and Practice (WCTP2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00092
[Presentation] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2018
- Author(s)
  Takashi Tomita, Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki
- Organizer
  Workshop on Computation: Theory and Practice (WCTP2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00092
[Presentation] Towards Improvements of Bounded Realizability Checking2017
- Author(s)
  Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
- Organizer
  Workshop on Computation: Theory and Practice (WCTP2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00092
[Presentation] Discussion on Verification of Voting Protocols2017
- Author(s)
  Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
- Organizer
  17th Philippine Computing Science Congress (PCSC 2017)
- Place of Presentation
  Cebu, Philippines
- Year and Date
  2017-03-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00092
[Presentation] Discussion of LTL Subsets for Efficient Verification2016
- Author(s)
  Masaya Shimakawa, Yuji Iwasaki, Shigeki Hagihara and Naoki Yonezaki
- Organizer
  Workshop on Computation: Theory and Practice (WCTP2016)
- Place of Presentation
  Cebu, Philippines
- Year and Date
  2016-09-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00092
[Presentation] To develop software without flaws2016
- Author(s)
  Shigeki Hagihara
- Organizer
  Workshop on Computation: Theory and Practice (WCTP2016), Satellite Conference
- Place of Presentation
  Bohol, Philippines
- Year and Date
  2016-09-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00092
[Presentation] A Qualitative Framework for Analysing homeostasis in Gene Networks2014
- Author(s)
  Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
- Organizer
  5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014)
- Place of Presentation
  Angers, France
- Data Source
  KAKENHI-PROJECT-24500032
[Presentation] On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames2014
- Author(s)
  Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki
- Organizer
  14th Philippine Computing Science Congress
- Place of Presentation
  University of Immaculate Conception, Davao City, Philippines
- Data Source
  KAKENHI-PROJECT-24500032
[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] 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法2013
- Author(s)
  冨田尭, 山崎徹郎, 萩原茂樹, 米崎直樹
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-24500032
[Presentation] A Formal Ontology of Interactions with Intensional Quantitative Semantics2012
- Author(s)
  Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
- Organizer
  Workshop on Computation: Theory and Practice (WCTP-2012)
- Place of Presentation
  Manila, Philippines
- Data Source
  KAKENHI-PROJECT-24500032
[Presentation] LTL式からBuchiオートマトンへの高速な変換法2012
- Author(s)
  望月翔平, 島川昌也, 萩原茂樹, 米崎直樹
- Organizer
  ソフトウェア工学の基礎XIX, 日本ソフトウェア科学会 FOSE2012
- Place of Presentation
  由布院
- Data Source
  KAKENHI-PROJECT-24500032
[Presentation] Mean-Payoff制約を記述可能な線形時間論理2012
- Author(s)
  冨田尭, 萩原茂樹, 米崎直樹
- Organizer
  日本ソフトウェア科学会第29回大会
- 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] Discussion on modularization of specifications for efficient synthesis of reactive systems
- Author(s)
  Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
- Organizer
  Symposium on the Mathematical Aspects of Computer Science 2014 (SMACS 2014)
- Place of Presentation
  Ateneo de Naga University, Philippines
- Year and Date
  2014-11-24 – 2014-11-28
- 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] A new approach to analysis of access tendency of web server using Poisson distribution
- Author(s)
  Yoshiharu Fushihara, Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki
- Organizer
  15th Philippine Computing Science Congress (PCSC2015)
- Place of Presentation
  University of St. Louis, Philippines
- Year and Date
  2015-03-05 – 2015-03-07
- Data Source
  KAKENHI-PROJECT-24500032
[Presentation] An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints
- Author(s)
  Takashi Tomita, Takahito Kimura, Shigeki Hagihara and Naoki Yonezaki
- Organizer
  Workshop on Computation: Theory and Practice (WCTP2014)
- Place of Presentation
  フィリピン大学セブ校, センチュリーパークホテル（マニラ）
- Year and Date
  2014-10-03 – 2014-10-07
- 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] 協調的リアクティブシステムの合成手法
- Author(s)
  冨田尭, 上野篤史, 萩原茂樹, 米崎直樹
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学
- Year and Date
  2014-09-07 – 2014-09-10
- 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] Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs
- Author(s)
  Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
- Organizer
  6th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2015)
- Place of Presentation
  Lisbon Marriott Hotel, Portugal
- Year and Date
  2015-01-12 – 2015-01-15
- 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. SHIMAKAWA Masaya (00749161)

# of Collaborated Projects: 1 results

# of Collaborated Products: 16 results
2. 高野泰洋 (70782746)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 白石善明 (70351567)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hagihara Shigeki 萩原 茂樹

HAGIHARA Shigeki 萩原 茂樹

Research Projects

Research Products

Co-Researchers

A study of cross-layer multifactor authentication methods

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Synthesis of embedded systems satisfying quantitative constraints by formal methodsPrincipal 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 methodPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 応用数理ハンドブック(論理的検証法の節、pp. 238-239)2013

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] 地方公共サービスにおける人員・車両・施設等の最適資源配置問題 ―救急・消防に関する検討―2021

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Verification of Verifiability of Voting Protocols by Strand Space Analysis2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Towards Efficient Implementation of Realizability Checking for Reactive System Specifications2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms2018

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Efficiency of the strong satisfiability checking procedure for reactive system specifications2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Web server access trend analysis based on the Poisson distribution2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Modularization of formal specifications for efficient synthesis of reactive systems2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Safraless LTL Synthesis Considering Maximal Realizability2016

Hagihara Shigeki 萩原茂樹

HAGIHARA Shigeki 萩原茂樹