|
Publication List - Takuo Watanabe 2011 (7 / 237 entries)
Domestic Conference (Not reviewed / Unknown)
-
Sosuke Moriguchi,
Takuo Watanabe.
Coqのための対話的修正機構を用いた変更の織り込み手法,
JSSST 28th Annual Conference,
Sept. 2011.
-
Emiko Kuma,
Takuo Watanabe.
An Actor-based Compensation-Aware Runtime Monitoring Mechanism,
JSSST 28th Annual Conference,
Sept. 2011.
Official location
-
Ilankaikone Senthooran,
Julian Prokay,
Takuo Watanabe.
On Generating Realtime Programs with Runtime Checking: From Timed Automata to Realtime Programs on Non-Realtime Environments,
電子情報通信学会ソフトウェアサイエンス研究会(SIGSS),
IEICE technical report,
IEICE,
Vol. 111,
No. 168,
pp. 75-80,
July 2011.
Official location
-
Emiko Kuma,
Daisuke Matsumoto,
Shin-ya Nishizaki,
TAKUO WATANABE.
オブジェクト計算における変更可能な継続,
The 73rd National Convention of IPSJ,
情報処理学会 第73回全国大会講演論文集,
IPSJ,
Mar. 2011.
-
Kazuhiro Yamada,
Takuo Watanabe,
Sosuke Moriguchi,
Shin-ya Nishizaki.
Verifying C Source Code using Proof Assistant Tools: A Case Study with Morris' Tree Traversal Algorithm,
IPSJ SIGSE,
IPSJ SIG Notes,
Vol. SE-171,
No. 26,
pp. 1-4,
Mar. 2011.
Official location
-
Ichiro Arai,
Takuo Watanabe.
Implementation of a functional language on Hy- brid Multi-core environment,
情報処理学会第73回全国大会,
第73回全国大会講演論文集,
pp. 199-200,
Mar. 2011.
Official location
-
Takuo Watanabe,
Sosuke Moriguchi,
Kazuhiro Yamada,
Shin-ya Nishizaki.
Towards Verifying Pointer-Manipulating Programs using Program Transformation: A Case Study with Morris’ Binary Tree Traversal Algorithm,
電子情報通信学会ソフトウェアサイエンス研究会(SIGSS),
IEICE technical report,
IEICE,
Vol. 110,
No. 458,
pp. 97-102,
Feb. 2011.
Official location
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|