Ibaraki University's
College of Engineering
Department of Computer and Information Sciences

Assistant Professor

Horita Hiroki


Career

  1. 茨城大学 工学部情報工学学科 助教 2017/02/01-Present

Academic background

  1. 青山学院大学 社会情報学部 社会情報学科 2012/03/31 Graduated 日本
  2. 電気通信大学大学院 情報システム学研究科 社会知能情報学専攻 Doctor prophase 2014/03/31 Completed 日本
  3. 電気通信大学大学院 情報システム学研究科 社会知能情報学専攻 Doctor later 2017/03/31 Completed 日本

Academic degrees

  1. 博士(工学) 電気通信大学

Research Areas

  1. Software
  2. Management

Research keywords

  1. ビジネスプロセスマネジメント
  2. ソフトウェア工学
  3. 要求工学
  4. プロセスマイニング

Bibliography

  1. Computer and Information Science (Business Process Verification and Restructuring LTL Formula Based on Machine Learning ) 2016/06/01

Papers

  1. Research paper (international conference proceedings) Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga 5th IIAI International Congress on Advanced Applied Informatics (IIAI AAI 2016) 2017/07/01
  2. Research paper (international conference proceedings) Goal Achievement Analysis based on LTL Checking and Decision Tree for Improvements of PAIS Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga 31th Annual ACM Symposium on Applied Computing (SAC 2016) 1214-1216 2016/04/01
  3. Research paper (scientific journal) Joint リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換 堀田 大貴, 本田 耕三, 平山 秀昭, 清 雄一, 中川 博之, 田原 康之, 大須賀 昭彦 コンピュータ ソフトウェア Japan Society for Software Science and Technology 32/ 4, 4_141-4_160 2015/11/01 0289-6540 URL
  4. Research paper (international conference proceedings) Joint Towards Goal-Oriented Conformance Checking Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara and Akihiko Ohsuga International Conference on Software Engineering and Knowledge Engineering (SEKE2015) 722-724 2015/07/01
  5. Research paper (international conference proceedings) Joint Transformation approach from KAOS goal models to BPMN models using refinement patterns Hiroki Horita,Kozo Honda,Yuichi Sei,Hiroyuki Nakagawa,Yasuyuki Tahara,Akihiko Ohsuga Symposium on Applied Computing (SAC2014) 1023-1024 2014/03/01

Research presentations

  1. Oral presentation(general) ソースコードの変更によるデータフロー図の差異検出手法 2017/09/01
  2. Oral presentation(general) 制御ルールの並びに着目した反例分析手法の提案 2017/09/01
  3. Oral presentation(general) リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換 2013/11/28

Alloted class

  1. 主題別ゼミナール
  2. プログラミング演習Ⅰ
  3. 情報工学実験

Memberships of academic societies

  1. 情報処理学会 2017/12/01-Present