PublicationsDomestic

Full Papers in Refereed Journals and Proceedings (in Japanese)

Hitoshi Ohsaki and Yuji Sato:
Launch of AIST Journal "Synthesiology": Discussion with Japanese Researchers at the University of Illinois at Urbana-Champaign
(シンセシオロジー発刊について – イリノイ大学日本人研究者らとの討論を通じて).
Synthesiology, vol. 1, no. 3, pp.53–59, AIST, 2008. (PDF)

Yoshiki Kinoshita, Toshinori Takai and Hitoshi Ohsaki:
Fieldwork in the Study of Formal Methods
(フォーマルメソッドのフィールドワーク, 特集フォーマルメソッドの新潮流2).
Journal of IPSJ, volume 49, number 5, pp. 499–505, Information Processing Society of Japan, 2008.
Draft available as Technical Report AIST–PS–2008–008, AIST, 2008.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html

Satoru Yoshida, Izumi Takeuchi, Satoshi Koike and Hitoshi Ohsaki:
Expressiveness of Diagrammatic Notation Relative to LTL
(図示記法表現とLTL論理式).
In proceedings of 10th JSSST Workshop on Programming and Programming Languages (PPL'08), Sendai (Japan), March 5-7, 2008.
Draft available as Technical Report AIST–PS–2008–005, AIST, 2008.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html

Satoshi Koike, Satoru Yoshida and Hitoshi Ohsaki:
Diagrammatic Notation for LTL Model Checking
(LTLモデル検査の為の図示記法).
In proceedings of 14th Workshop on Foundation of Software Engineering (FOSE'07), Shimonoseki (Japan), November 2007.
Foundation of Software Engineering 14, volume 33, pp. 35–44, Iwanami-Shoten Publisher.
Draft available as Technical Report AIST–PS–2008–004, AIST, 2008.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html

Satoshi Koike and Hitoshi Ohsaki:
A Technique for N-Point Passage Test in LTL-Model Checking
(N 点通過テストのためのモデル検査技法).
In proceedings of 5th Workshop on Dependable Systems (DSW'07), Hakodate (Japan), July 2007.
Draft available as Technical Report AIST–PS–2008–001, AIST, 2008.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html

Toshinori Takai, Takahiro Furuhashi, Hiroyuki Ozaki and Hitoshi Ohsaki:
A Case Study: Verification of Embedded Software Using Model Checking and "Environment" Drivers
(環境ドライバを用いたモデル検査による検証事例).
In proceedings of 5th Workshop on Dependable Systems (DSW'07), July 2007.
Draft available as Technical Report AIST–PS–2007–010, AIST, 2007.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html

Hitoshi Ohsaki, Aart Middeldorp and Tetsuo Ida:
Persistence in Equational Rewriting
(等式付き書換系における多ソート不変性).
Journal of Computer Software, volume 16, pp. 33–45, Japan Society for Software Science and Technology, 1999. (PS)

Hitoshi Ohsaki, Aart Middeldorp and Tetsuo Ida:
Self-Labelling for Elimination Transformation: A Method for Proving Termination of Term Rewriting Systems
(意味ラベリングによる分配消去法: 項書換え系の停止性証明法).
Journal of Computer Software, volume 13, pp. 58–73, Japan Society for Software Science and Technology, 1996. (PS)

Hitoshi Ohsaki and Aart Middeldorp:
A Sequential Reduction Strategy with Memory
(メモリ付き逐次簡約戦略).
In proceedings of Workshop on Functional Programming, October 1994.
Functional Programming 2 JSSST’94, volume 10, pp. 217–232, Iwanami-Shoten Publisher.