Rchr
J-GLOBAL ID：201401008954779016   Update date: Feb. 01, 2024

Higuchi Masahiro

ヒグチ マサヒロ | Higuchi Masahiro
Affiliation and department：
Kindai University Faculty of Informatics Department of Informatics

About Kindai University Faculty of Informatics Department of Informatics


Homepage URL  (1)： http://kaken.nii.ac.jp/d/r/00238289.ja.html
Research field  (1)： Software
Research keywords  (18)： 不変式 ,  時間制約 ,  整数値レジスタ ,  タイムアウト処理 ,  非有界FIFO ,  弱双模倣等価 ,  プロセス代数 ,  安全性 ,  閉包性 ,  物流監視システム ,  通信プロトコル ,  論理検証 ,  モデル検査 ,  スケジューリング ,  局所的コピー ,  並行制御 ,  逐次化グラフ ,  分散データベース
Research theme for competitive and other funds  (4)：
  • 2013 - 2015 Extension of the Ambient Calculus and Freight Management Systems based on it
  • 2010 - 2012 Timed Extension of the Ambient Calculus and its Application for Freight System Specifications
  • 1996 - 1996 データベースシステムにおける分散型スケジューリング手法の開発
  • 1995 - 1995 拡張有限状態モデルの通信プロトコルの検証における不変式の記述支援
Papers (22)：
ｍore...
MISC (81)：
  • CTL Model Checking for Hybrid Timed Ambient Calculus. 2017. 10. 5. 2-2
  • The Dynamic Routing Function for the Freight Management System with the Multiple Ambient Calculus. 2016. 9. 4. 29-29
  • Fujisaka Yoshihide, Higuchi Masahiro. A-005 Hybrid Timed Ambient Calculus : Comparison with Timed Mobile Ambient. 2015. 14. 1. 105-106
  • Miyai Atom, Kato Toru, Higuchi Masahiro. D-3-7 Experiment on the Freight Management System with the Multiple Ambient Calculus. Proceedings of the IEICE General Conference. 2015. 2015. 1. 28-28
  • Nakagoshi Daiki, Higuchi Masahiro. D-3-6 On Freight Specification by Timed Ambient Calculus. Proceedings of the IEICE General Conference. 2015. 2015. 1. 27-27
ｍore...
Books (2)：
  • Eclipse ではじめるオブジェクト指向Javaプログラミング入門
    近代科学社 2008
  • UNIX(増補) -基礎から簡単な応用まで、さあ使ってみよう-
    コロナ社 2002
Lectures and oral presentations  (11)：
  • Timed Ambient Calculus
    (2013)
  • DAOパターンを用いるWebアプリケーションのための単体テストケース補完ツール
    (情報処理学会第74回全国大会 2012)
  • 集団行動支援のための位置情報頒布方式における適正なパラメータ値の算出
    (情報処理学会第74回全国大会 2012)
  • モバイルアドホックネットワークを用いた集団行動補助のための位置情報頒布パラメータ設定
    (平成23年電気関係学会関西連合大会 2011)
  • Ambient Calculusの時間拡張とそれに基づく物流監視システム
    (情報処理学会第73回全国大会 2011)
ｍore...
Professional career (1)：
  • 博士(工学) (大阪大学)
Work history (2)：
  • 2013/04 - 現在 Kindai University Faculty of Science and Engineering
  • 2000/04 - 2013/03 Kindai University Faculty of Science and Engineering
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM