|
Publication List - Takuo Watanabe 2016 (9 / 243 entries)
Journal Paper
International Conference (Reviewed)
-
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.
Official location
-
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.
Official location
-
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.
Domestic Conference (Not reviewed / Unknown)
-
Ohmura Yuu,
Yoshitaka Arahori,
Katsuhiko Gondow,
Takuo Watanabe.
Code Oriented Diagram Editorを用いた並行バグの可視化,
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016),
Dec. 2016.
Official location
-
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.
Official location
-
Tomohiro Hoshino,
Kentaro Takakuwa,
Takuo Watanabe.
A Method for Implementing Hygienic Macro Definers for OMeta,
JSSST 33rd Annual Conference,
Sept. 2016.
Official location
-
Taiyo Mineo,
Daisuke Ishii,
Takuo Watanabe.
Temporal Logic Falisification for Controller Parameter Tuning,
Technical Committee on Mathematical Systems Science and its applications Mathematical Systems Science and its applications, IEICE,
IEICE technical report,
Vol. 115,
No. 480,
pp. 61-66,
Mar. 2016.
Official location
-
Shohei Yasutake,
Takuo Watanabe.
Actario: 定理証明支援系Coqによるアクターシステムの検証,
日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ(PPL 2016),
Mar. 2016.
Official location
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|