|
渡部卓雄 2016年 研究業績一覧 (9件 / 240件)
論文
国際会議発表 (査読有り)
-
Takuo Watanabe,
Kensuke Sawada.
Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems,
6th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2016),
Oct. 2016.
公式リンク
-
Kensuke Sawada,
Takuo Watanabe.
Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems,
Modularity 2016, Constrained and Reactive Objects Workshop (CROW 2016),
ACM,
pp. 46-54,
Mar. 2016.
公式リンク
-
Masaya Suzuki,
Takuo Watanabe.
Sandal: A Modeling Language Supporting Exhaustive Fault-Injection,
Workshop on Computation: Theory and Practice (WCTP 2014),
Theory and Practice of Computation,
World Scientific,
pp. 1-12,
Jan. 2016.
国内会議発表 (査読なし・不明)
-
大村裕,
荒堀喜貴,
権藤克彦,
渡部卓雄.
Code Oriented Diagram Editorを用いた並行バグの可視化,
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016),
Dec. 2016.
公式リンク
-
Takuo Watanabe,
Kensuke Sawada.
Towards an Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems,
IPSJ SIG Embedded Systems (SIGEMB43),
IPSJ SIG Technical Report,
Vol. 2016-EMB-43,
No. 6,
Nov. 2016.
公式リンク
-
星野友宏,
高桑健太郎,
渡部卓雄.
OMetaのための衛生的マクロ定義機構導入方式,
日本ソフトウェア科学会第33回大会,
Sept. 2016.
公式リンク
-
峰尾太陽,
石井大輔,
渡部卓雄.
時相論理式の反証を用いた制御器のチューニング,
電子情報通信学会 システム数理と応用研究会,
信学技報,
Vol. 115,
No. 480,
pp. 61-66,
Mar. 2016.
公式リンク
-
安武祥平,
渡部卓雄.
Actario: 定理証明支援系Coqによるアクターシステムの検証,
日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ(PPL 2016),
Mar. 2016.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|