Rchr

J-GLOBAL ID：200901082357920242 Update date: Sep. 07, 2022

Hattori Satoshi

ハットリサトシ | Hattori Satoshi

Research field (2)： Software , Information theory

Research keywords (4)：ソフトウェア工学 , 形式的仕様記述・検証法 , Formal Method , Software Engineering

Research theme for competitive and other funds (2)：

形式的仕様記述・検証法,ソフトウェア工学
Study on Specification and Verification of Real-Time Systems

MISC (13)：

ソフトウェアプロセスの時間オートマトンおよび時間モジュールによる記述法の比較(共著). 電子情報通信学会技術研究報告. 2001. 100. 570. 33-40
Comparison between Software Process Description in Timed Automata and Description in Timed Modules. IEICE Technical Report. 2001. 100. 570. 33-40
データ付時間オートマトンの双模倣等価性の記号的検証法(共著). 情報処理学会論文誌. 2000. 41. 9. 2487-2497
Symbolic Verification of Bisimulation Equivalence for Timed Automata with Data Values. IPSJ Journal. 2000. 41. 9. 2487-2497
Specification of Real-Time Systems Using a Timed Automate Model with Shared Variables and Verification of Partial-deadlock Freeness(共著). Proceedings of the 1999 ICPP(International Conference on Parallel Processing)Workshops. 1999. 576-581

ｍore...

Education (5)：

- 1999 Osaka University
- 1999 Osaka University Graduate School, Division of Engineering Science
- 1994 Osaka University
- 1992 Osaka University School of Engineering Science Direct Affiliates
- 1992 Osaka University Faculty of Engineering Science

Professional career (3)：

(BLANK) (Osaka University)
(BLANK) (Osaka University)
学士(工学) (大阪大学)

Work history (2)：

Tokyo Institute of Technology Graduate School of Information Science and Engineering, Department of Mechanical and Environmental Informatics
Former Institution / Organization Tokyo Institute of Technology Graduate School of Information Science and Engineering Department of Computer Science Assistant Professor

Association Membership(s) (3)：

日本ソフトウェア科学会 , 情報処理学会 , 電子情報通信学会

※ 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