@misc{gearsos,
  title        = {GearsOS},
  author       = {並列信頼研究室},
  organization = {琉球大学},
  howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/}
}

@misc{cbcllvm,
  title        = {CbC},
  author       = {並列信頼研究室},
  organization = {琉球大学},
  howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/}
}
@misc{cbcxv6,
  title        = {CbC\_xv6},
  author       = {並列信頼研究室},
  organization = {琉球大学},
  howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_xv6/}
}

@misc{gearsagda,
  title        = {GearsAgda},
  author       = {並列信頼研究室},
  organization = {琉球大学},
  howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/GearsAgda/}
}

@misc{garbtree,
  author  = {森 逸汰, 河野 真治(琉球大学)},
  title   = {GearsAgdaによるRed Black Treeの検証},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2023
}

@misc{gearscodemngment,
  author  = {仲吉 菜々子, 河野 真治(琉球大学)},
  title   = {Gears OSのCodeGear Management},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2023
}

@article{cbc,
  author  = {河野 真治},
  title   = {継続を持つCの下位言語によるシステム記述},
  journal = {日本ソフトウェア科学会第17回大会論文集},
  month   = {September},
  year    = 2000
}

@article{cr,
  author      = {伊波 立樹},
  title       = {GearsOSの並列処理},
  institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
  journal     = {修士 (工学) 学位論文},
  month       = {March},
  year        = 2018
}

@article{gears,
  author      = {清水隆博},
  title       = {GearsOSのメタ計算},
  institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
  journal     = {修士 (工学) 学位論文},
  month       = {March},
  year        = 2021
}

@article{file,
  author  = {一木 貴裕, 河野 真治(琉球大学)},
  title   = {GearsOSの分散ファイルシステムの設計},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2021
}

@article{cfile,
  author      = {一木 貴裕},
  title       = {GearsOSの分散ファイルシステム設計},
  institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
  journal     = {修士 (工学) 学位論文},
  month       = {March},
  year        = 2022
}

@article{modelcheck,
  author  = {東恩納 琢偉，奥田 光希，河野 真治(琉球大学)},
  title   = {Gears OSでモデル検査を実現する手法について},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2020
}

@article{xv6kernel,
  author  = {坂本 昂弘 (琉球大学工学部情報工学科), 桃原 優 (琉球大学大学院理工学研究科情報工学専攻), 河野 真治 (琉球大学工学部情報工学科)},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  title   = {継続を用いた xv6 kernel の書き換え},
  month   = {May},
  year    = 2019
}

@article{xv6component,
  author  = {清水 隆博，河野 真治(琉球大学)},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  title   = {xv6の構成要素の継続の分析},
  month   = {May},
  year    = 2020
}

@misc{xv6,
  author       = {{Russ Cox, Frans Kaashoek, Robert Morris}},
  title        = {xv6 a simple, Unix-like teaching operating system},
  howpublished = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf}
}

@misc{christie,
  author  = {{河野 真治}},
  title   = {分散フレームワーク Christie と分散木構造データベースJungle},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2018
}

@misc{directory,
  author  = {又吉 雄斗，河野 真治(琉球大学)},
  title   = {GearsOSにおけるinodeを用いたファイルシステムの構築},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2022
}

@misc{zengin,
  title        = {全国銀行データ通信システムの障害について},
  author       = {一般社団法人 全国銀行資金決済ネットワーク},
  howpublished = {https://www.zengin-net.jp/announcement/pdf/announcement\_20231201.pdf}
}

@misc{ana,
  title        = {4月3日に発生した国内線システム不具合の原因及び再発防止策について},
  author       = {全日本空輸株式会社},
  howpublished = {https://www.anahd.co.jp/group/pr/202304/notification-2.html}
}

@misc{glory,
  title        = {2月14日から2月19日にかけて発生した電子マネー決済システム（iD決済）の障害に関するお詫びとお知らせ},
  author       = {グローリー株式会社},
  howpublished = {https://www.glory.co.jp/news/detail/id=2017}
}