"Mizuki Shirai,Sosuke Moriguchi,Takuo Watanabe","Construction of Inverse Computation in Synchronous Dataflow Programming",,"Computer Software","JSSST","Vol. 41",,,2024,Apr.
"Go Suzuki,Takuo Watanabe,Sosuke Moriguchi","マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて","日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)",,,,,,2024,Mar.
"Satoshi Takimoto,Sosuke Moriguchi,Takuo Watanabe","ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語","日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)",,,,,,2024,Mar.
"Sosuke Moriguchi,Takuo Watanabe","Event by Timing: Periodic and Time-Sequencing Responses","12th Workshop on Computation: Theory and Practice","Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)","Atlantis Press",,,"pp. 139-154",2024,Feb.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems","13th International Conference on Software and Computer Applications",,"ACM",,,,2024,Feb.
"Sosuke Moriguchi,Takuo Watanabe","Developing Distributed Systems with Multiparty Functional Reactive Programming","5th World Symposium on Software Engineering (WSSE 2023)","Proc. 5th World Symposium on Software Engineering (WSSE 2023)","ACM",,,"pp. 61-66",2023,Dec.
"Go Suzuki,Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","Using Low Power Coprocessors in an FRP Language for Embedded Systems","Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)","Proc. Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)","IPSJ",,,"pp. 1-8",2023,Dec.
"Kento Sogo,Yuta Tsuji,Sosuke Moriguchi,Takuo Watanabe","Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems","10th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023)","Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems","ACM",,,"pp. 43-53",2023,Oct.
"Mizuki Shirai,Sosuke Moriguchi,Takuo Watanabe","同期的データフロープログラミングにおける逆計算の構成方式","JSSST 40th Annual Conference",,,,,,2023,Sept.
"Satoshi Takimoto,Sosuke Moriguchi,Takuo Watanabe","組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御","JSSST 40th Annual Conference",,,,,,2023,Sept.
"Go Suzuki,Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用","第25回組込みシステム技術に関するサマーワークショップ(SWEST25)",,,,,,2023,Aug.
"Kento Sogo,Yuta Tsuji,Sosuke Moriguchi,Takuo Watanabe","小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価","情報処理学会第63回組込みシステム研究会(SIGEMB63)","情報処理学会研究報告","情報処理学会","Vol. 2023-EMB-63","No. 2",,2023,July
"Kento Sogo,Sosuke Moriguchi,Takuo Watanabe","組込みシステム向けFRP言語における離散イベント機構の実装とその評価","日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)",,,,,,2023,Mar.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構","日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)",,,,,,2023,Mar.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構","情報処理学会第143回プログラミング研究会(SIGPRO143)",,,,,,2023,Mar.
"Go Suzuki,Takuo Watanabe,Sosuke Moriguchi","Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices","7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023)","Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming","ACM",,,"pp. 12-16",2023,Mar.
"Go Suzuki,Takuo Watanabe,Sosuke Moriguchi","REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価","日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)",,,,,,2023,Mar.
"Sosuke Moriguchi,Takuo Watanabe","Responsibilities of Responses in Functional Reactive Programming","情報処理学会第142回プログラミング研究会(SIGPRO142)",,,,,,2023,Jan.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems","9th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2022)",,"ACM",,,"pp. 1-12",2022,Dec.
"Ju Guiyuan,Sosuke Moriguchi,Takuo Watanabe","A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming","39th JSSST Annual Conference",,,,,,2022,Aug.
"Satoshi Takimoto,Sosuke Moriguchi,Takuo Watanabe","入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討","情報処理学会第60回組込みシステム研究会(SIGEMB60)","情報処理学会研究報告","情報処理学会","Vol. 2022-EMB-60",,"pp. 1-6",2022,July
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","小規模組込みシステム向けFRP言語における非同期タスク処理機構","日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)",,,,,,2022,Mar.
"Shiyunsuke Uchino,Sosuke Moriguchi,Takuo Watanabe","組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法","日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)",,,,,,2022,Mar.
"Mizuki Shirai,Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入","日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)",,,,,,2022,Mar.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types",,"Journal of Information Processing","Information Processing Society of Japan","Vol. 29",,"pp. 685-706",2021,Oct.
"Yuta Tsuji,Sosuke Moriguchi,Takuo Watanabe","小規模組込みシステム向けFRP言語における周期的タスクの記述方式","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.
"Takuo Watanabe","関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング","第23回 組込みシステム技術に関するサマーワークショップ (SWEST23)",,,,,,2021,Sept.
"Yuya Shiratori,Sosuke Moriguchi,Takuo Watanabe","関数リアクティブプログラミングにおける時変値の初期化手法の提案","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.
"Hiroshi Naito,Sosuke Moriguchi,Takuo Watanabe","組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証","情報処理学会第57回組込みシステム研究会(SIGEMB57)","IPSJ SIG Technical Report","情報処理学会","Vol. 2021-EMB-57","No. 4","pp. 1-2",2021,June
"Yuya Shiratori,Sosuke Moriguchi,Takuo Watanabe","関数リアクティブプログラミングにおける時変値の初期値の自動決定","情報処理学会第57回組込みシステム研究会(SIGEMB57)","IPSJ SIG Technical Report","情報処理学会","Vol. 2021-EMB-57","No. 2","pp. 1-5",2021,June
"Sachiko Hori,Sosuke Moriguchi,Takuo Watanabe","関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式","情報処理学会第57回組込みシステム研究会(SIGEMB57)","IPSJ SIG Technical Report","情報処理学会","Vol. 2021-EMB-57","No. 3","pp. 1-2",2021,June
"Tsukasa Gotoh,Sosuke Moriguchi,Takuo Watanabe","A Macroprogramming Language for Wireless Sensor-Actor Networks",,"Computer Software","JSSST","Vol. 38","No. 2","pp. 20-26",2021,Apr.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","Recursive Data Types for an FRP language for Small-scale Embbeded Systems","IPSJ SIGPRO 133",,,,,,2021,Mar.
"Takuo Watanabe,Kazuhiro Shibanai","Towards a Functional Reactive Programming Model for Developing WSANs","Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020)","Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020)","IPSJ",,,"pp. 1-5",2021,Mar.
"Yoshitaka Sakurai,Sosuke Moriguchi,Takuo Watanabe","Functional Reactive Programming for Embedded Systems with GPGPUs","10th International Conference on Software and Computer Applications",,"ACM",,,"pp. 75-80",2021,Feb.
"Takuo Watanabe","A Reflective Extension of an FRP Language and its Applications","9th Workshop on Computation: Theory and Practice (WCTP 2019)","Theory and Practice of Computation, Proceedings of the Workshop on Computation: Theory and Practice (WCTP2019)","CRC Press",,,"pp. 133-140",2020,Dec.
"Takuo Watanabe","Developing Coordinating Distributed Applications in a Pure FRP Language","10th Workshop on Computation: Theory and Practice (WCTP 2020)","Philippine Computing Journal",,"Vol. 15","No. 2","pp. 19-23",2020,Dec.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","Bounded-Construction-Types for Functional Reactive Programming","10th Workshop on Computation: Theory and Practice (WCTP 2020)","Philippine Computing Journal",,"Vol. 15","No. 2","pp. 24-35",2020,Dec.
"Tsukasa Gotoh,Sosuke Moriguchi,Takuo Watanabe","WSAN向けマクロプログラミング言語の提案","日本ソフトウェア科学会第37回大会","日本ソフトウェア科学会第37回大会講演論文集","日本ソフトウェア科学会",,,,2020,Sept.
"Yuta Tsuji,Sosuke Moriguchi,Takuo Watanabe","組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装","情報処理学会第54回組込みシステム研究発表会","IPSJ SIG Technical Report","Information Processing Society of Japan","Vol. 2020-EMB-54","No. 3","pp. 1-8",2020,June
"Arimichi Matsumura,Takuo Watanabe","An Abstraction Mechanism for Modeling Stateful Behaviors in an FRP Language for Embedded Systems","IPSJ 126th SIGPRO Workshop (SIGPRO126)","IPSJ Transactions on Programming (PRO)","Information Processing Society of Japan","Vol. 13","No. 2","pp. 1-13",2020,Apr.
"Yoshitaka Sakurai,Sosuke Moriguchi,Takuo Watanabe","FRPによるGPU上の計算の実現","日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)",,,,,,2020,Mar.
"Tsukasa Gotoh,Sosuke Moriguchi,Takuo Watanabe","WSAN向けマクロプログラミング言語の提案","日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)",,,,,,2020,Mar.
"Yuya Shiratori,Sosuke Moriguchi,Takuo Watanabe","出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定","日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)",,,,,,2020,Mar.
"Yuta Tsuji,Sosuke Moriguchi,Takuo Watanabe","内部DSLとしての関数リアクティブプログラミング言語の実装手法","日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)",,,,,,2020,Mar.
"Arimichi Matsumura,Takuo Watanabe","状態遷移を表現する組込みシステム向けFRP言語の設計","日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)",,,,,,2020,Mar.
"Akihiko Yokoyama,Sosuke Moriguchi,Takuo Watanabe","小規模組込みシステム向けFRP言語に対する再帰的データ型の導入","日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)",,,,,,2020,Mar.
"Yoshitaka Sakurai,Takuo Watanabe","Towards a Statically Scheduled Parallel Execution of an FRP Langauge for Embedded Systems","6th Workshop on Reactive and Event-based Languages & Systems (REBLS 2019)","Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2019)","ACM",,,"pp. 11-20",2019,Oct.
"Takuo Watanabe,Kazuhiro Shibanai,Yoshitaka Sakurai,Arimichi Matsumura,Akihiko Yokoyama","関数リアクティブプログラミング言語によるサイバーフィジカルシステム開発支援にむけて","組込みシステムシンポジウム2019(ESS 2019)","組込みシステムシンポジウム2019論文集","情報処理学会",,,"pp. 90-91",2019,Sept.
"Sheng Wang,Takuo Watanabe","Functional Reactive EDSL with Asynchronous Execution for Resource-Constrained Embedded Systems","20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2019)","Studies in Computational Intelligence","Springer","Vol. 850",,"pp. 171-190",2019,July
"Yoshitaka Sakurai,Takuo Watanabe","小規模組込み向けFRP言語のための並列実行モデル","情報処理学会第51回組込みシステム研究会(SIGEMB51)","情報処理学会研究報告","情報処理学会","Vol. 2019-EMB-51","No. 1","pp. 1-2",2019,June
"Arimichi Matsumura,Takuo Watanabe","組込みシステム向けFRP言語における動的動作のための抽象化機構","情報処理学会第51回組込みシステム研究会(SIGEMB51)","情報処理学会研究報告","情報処理学会","Vol. 2019-EMB-51","No. 2","pp. 1-2",2019,June
"Yoshitaka Sakurai,Takuo Watanabe","組込みシステム向けFRP言語の静的スケジューリングを用いた並列化","日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)",,,,,,2019,Mar.
"Takuo Watanabe,Arimichi Matsumura,Akihiko Yokoyama","小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構","組込み技術とネットワークに関するワークショップ (ETNET 2019)","情報処理学会研究報告","情報処理学会","Vol. 2019-EMB-50","No. 42",,2019,Mar.
"Arimichi Matsumura,Takuo Watanabe","組込みシステム向けFRP言語における動的動作のための抽象化機構","日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)",,,,,,2019,Mar.
"Akihiko Yokoyama,Takuo Watanabe","組込みシステム向けFRP言語に対する第一級関数の導入","日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)",,,,,,2019,Mar.
"Takuo Watanabe","An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems","7th Workshop on Computation: Theory and Practice (WCTP 2017)","Theory and Practice of Computation - Proceedings of Workshop on Computation: Theory and Practice WCTP2017","World Scientific",,,"pp. 59-71",2018,Dec.
"Kazuhiro Shibanai,Takuo Watanabe","Distributed Functional Reactive Programming on Actor-Based Runtime","8th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2018)","Proceedings of 8th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2018)","ACM",,,"pp. 13-22",2018,Nov.
"Takuo Watanabe","Introduction of a Context-Oriented Programming Mechanism to an FRP Language for Small-Scale Embedded Systems","Embedded Systems Symposium (ESS 2018)","Proceedings of Embedded Systems Symposium (ESS 2018)","IPSJ",,,"pp. 17-20",2018,Aug.
"Takuo Watanabe","A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems","10th International Workshop on Context-Oriented Programming (COP 2018)","Proceedings of the 10th International Workshop on Context-Oriented Programming (COP 2018)","ACM",,,"pp. 23-30",2018,July
"Kentaro Takakuwa,Takuo Watanabe","A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms",,"Computer Software","Japan Society of Software Science and Technology","Vol. 35","No. 2","pp. 33-39",2018,Apr.
"Takuo Watanabe","Developing Small-Scale Embedded Systems using an Integration of the Actor Model in Functional Reactive Programming","ETNET 2018","IPSJ SIG Technical Report",,"Vol. 2018-EMB-47","No. 26",,2018,Mar.
"Takuo Watanabe","小規模組込みシステム向けFRP言語のアクターモデルにもとづく実行系","日本ソフトウェア科学会第20回プログラミングおよびプログラミング言語ワークショップ(PPL 2018)",,,,,,2018,Mar.
"Kentaro Takakuwa,Takuo Watanabe","構文解析器の動的拡張による衛生的マクロ機構の実現","日本ソフトウェア科学会第20回プログラミングおよびプログラミング言語ワークショップ(PPL 2018)",,,,,,2018,Mar.
"Kazuhiro Shibanai,Takuo Watanabe","アクターシステムを対象としたリバースデバッギングフレームワークActoverseへのAOPの導入","日本ソフトウェア科学会第20回プログラミングおよびプログラミング言語ワークショップ(PPL 2018)",,,,,,2018,Mar.
"Kohei Suzuki,Kanato Nagayama,Kensuke Sawada,Takuo Watanabe","CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems","Workshop on Computation: Theory and Practice (WCTP 2016)","Theory and Practice of Computation","World Scientific",,,"pp. 1-13",2017,Dec.
"Takuo Watanabe","Reactive Reflection in an FRP Language for Small-Scale Embedded Systems","Workshop on Meta-Programming Techniques and Reflection (META 2017)","Workshop on Meta-Programming Techniques and Reflection (META 2017)",,,,,2017,Oct.
"Kazuhiro Shibanai,Takuo Watanabe","Actoverse: A Reversible Debugger for Actors","7th ACM SIGPLAN International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2017)","Proceedings of 7th ACM SIGPLAN International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2017)","ACM",,,"pp. 50-57",2017,Oct.
"Kentaro Takakuwa,Takuo Watanabe","A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms","JSSST 34th Annual Conference","Proceedings of JSSST 34th Annual Conference",,,,,2017,Sept.
"Takashi Kobayashi,Katsuhiko Gondow,MOTOSHI SAEKI,Kazuyuki Shudo,Shin-ya Nishizaki,Chikako Morimoto,KEN WAKITA,Takuo Watanabe","東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning","日本ソフトウェア科学会 第34回大会","日本ソフトウェア科学会 第34回大会 論文集",,,,"  4 pages",2017,Sept.
"Kazuhiro Shibanai,Takuo Watanabe","A Reverse-Debugging Framework for Actor-based Systems","JSSST 34th Annual Conference","Proceedings of JSSST 34th Annual Conference",,,,,2017,Sept.
"Takuo Watanabe","An FRP Language for Small-Scale Embedded Systems and its Reflection Mechanism","IPSJ Embedded Systems Symposium (ESS 2017)","Proceedings of Embedded Systems Symposium (ESS 2017)",,,,"pp. 126-127",2017,Aug.
"Takuo Watanabe","A Reflection Mechanism for an FRP Language for Small-Scale Embedded Systems","IPSJ 45th SIGEMB Workshop","SIG Technical Reports (EMB)","Information Processing Society of Japan","Vol. 2017-EMB-45","No. 2","pp. 1-6",2017,June
"Paul Lavery,Takuo Watanabe","An Actor-Based Runtime Monitoring System for Web and Desktop Applications","18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017)","Proceedings of 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017)","IEEE",,,"pp. 385-390",2017,June
"Yuu Ohmura,Takuo Watanabe","Design and Implementation of an Advanced Source Code Reading Tool for Framework-based Software","Workshop on Computation: Theory and Practice (WCTP 2015)","Theory and Practice of Computation","World Scientific",,,"pp. 106-111",2017,Apr.
"Takuo Watanabe,Kensuke Sawada","Towards Reflection in an FRP Language for Small-Scale Embedded Systems","2nd Workshop on Live Adaptation of Software SYstems (LASSY 2017)","Companion to the first International Conference on the Art, Science and Engineering of Programming (Programming 2017)","ACM",,,,2017,Apr.
"Kentaro Takakuwa,Takuo Watanabe","多言語に対応した衛生的マクロ機構導入方式","日本ソフトウェア科学会第19回プログラミングおよびプログラミング言語ワークショップ(PPL 2017)",,,,,,2017,Mar.
"Ohmura Yuu,Yoshitaka Arahori,Katsuhiko Gondow,Takuo Watanabe","Code Oriented Diagram Editorを用いた並行バグの可視化","日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)",,,,,,2016,Dec.
"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",,2016,Nov.
"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)",,,,,,2016,Oct.
"Tomohiro Hoshino,Kentaro Takakuwa,Takuo Watanabe","A Method for Implementing Hygienic Macro Definers for OMeta","JSSST 33rd Annual Conference",,,,,,2016,Sept.
"Shohei Yasutake,Takuo Watanabe","Actario: 定理証明支援系Coqによるアクターシステムの検証","日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ(PPL 2016)",,,,,,2016,Mar.
"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",2016,Mar.
"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",2016,Mar.
"Souhei Takeno,Takuo Watanabe","An Implementation of Concurrent Context-Oriented Programming System based on the Actor Model",,"Computer Software","Japan Society of Software Science and Technology","Vol. 33","No. 1","pp. 167-180",2016,Feb.
"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",2016,Jan.
"Souhei Takeno,Takuo Watanabe","A Reflective Implementation of an Actor-based Concurrent Context-Oriented System","14th Workshop on Adaptive and Reflective Middleware (ARM 2015)",,,,,,2015,Dec.
"Naoyuki Nagatou,Takuo Watanabe","人的欠陥に対する耐性解析のモデル検証的アプローチ","第13回ディペンダブルシステムワークショップ(DSW 2015)",,,,,,2015,Dec.
"Yuu Ohmura,Takuo Watanabe","CODE: Code Oriented Diagram Editor","JSSST 22nd Workshop on Foundations of Software Engineering (FOSE 2015)","Foundations of Software Engineering XXII (Lecture Notes in Software)","Kindaikagakusha","Vol. 41",,,2015,Nov.
"Shohei Yasutake,Takuo Watanabe","Actario: A Framework for Reasoning About Actor Systems","5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015)",,,,,,2015,Oct.
"Naoyuki Nagatou,Takuo Watanabe","A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults",,"International Journal of Industrial Engineering: Theory, Applications and Practice",,"Vol. 22","No. 4","pp. 494-508",2015,Aug.
"Kensuke Sawada,Kohei Suzuki,Takuo Watanabe","Towards Applications of FRP in Small-Scale Embedded Systems","IEICE SIGSS","IEICE technical report","IEICE","Vol. 115","No. 20","pp. 1-5",2015,May
"Shohei Yasutake,Takuo Watanabe","Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出","第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)",,,,,,2015,Mar.
"Naoyuki Nagatou,Takuo Watanabe","Robustness Analysis on Human-made Faults in Procedural Manuals","Workshop on Computation: Theory and Practice (WCTP 2013)","Theory and Practice of Computation","World Scientific",,,"pp. 79-94",2014,Nov.
"Takuo Watanabe","Compositional Construction of Group-Wide Meta-Level Architectures","Workshop on Computation: Theory and Practice (WCTP 2013)","Theory and Practice of Computation","World Scientific",,,"pp. 95-107",2014,Nov.
"Shohei Yasutake,TAKUO WATANABE","Aπ計算のCoqによる形式化","日本ソフトウェア科学会第31回大会",,,,,,2014,Sept.
"Masaya Suzuki,Takuo Watanabe","A Language Support for Exhaustive Fault-Injection in Message-Passing System Models","1st Workshop on Logics and Model-Checking for Self-* Systems (MOD* 2014)","Electronic Proceedings in Theoretical Computer Science",,"Vol. 168",,"pp. 48-58",2014,Sept.
"Souhei Takeno,TAKUO WATANABE","アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価","日本ソフトウェア科学会第31回大会",,,,,,2014,Sept.
"Ohmura Yuu,TAKUO WATANABE","Design and Implementation of a Source Code Reading Helper Tool for Program Comprehension","31st JSSST Annual Conference",,"Japan Society of Software Science and Technology",,,,2014,Sept.
"Takuo Watanabe,Souhei Takeno","A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems","6th International Workshop on Context-Oriented Programming (COP 2014)",,"ACM",,,,2014,July
"Naoyuki Nagatou,Takuo Watanabe","A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults","2nd Asia Pacific Conference on Business Process Management (APBPM 2014)","Lecture Notes in Business Information Processing, LNBIP","Springer-Verlag","Vol. 181",,"pp. 117-131",2014,July
"安原 由貴,Sosuke Moriguchi,Takuo Watanabe","実時間システム向け文脈指向言語ProcneJ",,"情報処理学会論文誌プログラミング（PRO）",,"Vol. 6","No. 3","pp. 50-50",2013,Nov.
"Sosuke Moriguchi,TAKUO WATANABE","検証付きプログラムに対する対話的修正の合成","日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ(FOSE 2013)","レクチャーノート/ソフトウェア学","近代科学社","Vol. 39",,"pp. 131-136",2013,Nov.
"Takuo Watanabe","Towards a Compositional Reflective Architecture for Actor-Based Systems","3rd International Workshop on Programming based on Actors, Agents,  and Decentralized Control (AGERE!@SPLASH 2013)",,"ACM",,,"pp. 19-24",2013,Oct.
"Takashi Kobayashi,Katsuhiko Gondow,MOTOSHI SAEKI,Kazuyuki Shudo,Yasushi Tanaka,Shin-ya Nishizaki,Chikako Morimoto,NAOKI YONEZAKI,Takuo Watanabe","Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み","日本ソフトウェア科学会第30回大会",,,,,,2013,Sept.
"NAOYUKI NAGATOU,Takuo Watanabe","人為的欠陥の意味と耐性解析","日本ソフトウェア科学会第30回大会",,,,,,2013,Sept.
"Sosuke Moriguchi,Takuo Watanabe","An Interactive Extension Mechanism for Reusing Verified Programs","28th ACM Symposium on Applied Computing",,"Association for Computing Machinery",,,"pp. 1236-1243",2013,Mar.
"Ryotaro Nakamura,Takuo Watanabe","実時間システム向けの文脈指向DSL","情報処理学会 ソフトウェア工学研究会","情報処理学会研究報告",,"Vol. 2013-SE-179","No. 31","pp. 1-8",2013,Mar.
"Yuki Yasuhara,Sosuke Moriguchi,Takuo Watanabe","ProcneJ: A Context-oriented Programming Language for Real-time Systems","情報処理学会 第93回プログラミング研究発表会",,,,,,2013,Feb.
"Ilankaikone Senthooran,Takuo Watanabe","On Generating Soft Real-Time Programs for Non-Real-Time Environments","2nd Workshop on Computation: Theory and Practice (WCTP 2012)","Theory and Practice of Computation: Proceedings in Information and Communications Technology",,"Vol. 7",,"pp. 1-12",2013,Feb.
"Sosuke Moriguchi,Takuo Watanabe","Implementation of an Interactive Correction Mechanism for Coq",,"IPSJ Transactions on Programming","Information Processing Society of Japan","Vol. 5","No. 4","pp. 27-38",2012,Sept.
"Ilankaikone Senthooran,Takuo Watanabe","A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments","13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2012)",,"IEEE Computer Society",,,"pp. 269-274",2012,Aug.
"Yuki Yasuhara,Sosuke Moriguchi,Takuo Watanabe","Towards a Context-Oriented Specification Scheme for Embedded Systems","日本ソフトウェア科学会第29回大会",,,,,,2012,Aug.
"Takuo Watanabe,Masaya Suzuki","An Implementation Method of Context-Oriented Programming in Objective-C","IEICE SIGSS Workshop","IEICE Technical Report","IEICE","Vol. 112","No. 164","pp. 133-138",2012,July
"Sosuke Moriguchi,Takuo Watanabe","Abstraction of Operations of Aspect-Oriented Languages","Workshop on Computation: Theory and Practice","Theory and Practice of Computation, Proceedings in Information and Communications Technology","Springer Japan","Vol. 5",,"pp. 187-201",2012,Apr.
"Sosuke Moriguchi,Takuo Watanabe","Coqのための対話的修正機構を用いた変更の織り込み手法","JSSST 28th Annual Conference",,,,,,2011,Sept.
"Emiko Kuma,Takuo Watanabe","An Actor-based Compensation-Aware Runtime Monitoring Mechanism","JSSST 28th Annual Conference",,,,,,2011,Sept.
"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",2011,July
"Ichiro Arai,Takuo Watanabe","Implementation of a functional language on Hy- brid Multi-core environment","情報処理学会第73回全国大会","第73回全国大会講演論文集",,,,"pp. 199-200",2011,Mar.
"Emiko Kuma,Daisuke Matsumoto,Shin-ya Nishizaki,TAKUO WATANABE","オブジェクト計算における変更可能な継続","The 73rd National Convention of IPSJ","情報処理学会 第73回全国大会講演論文集","IPSJ",,,,2011,Mar.
"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",2011,Mar.
"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",2011,Feb.
"Takuo Watanabe,Kiyoshi Yamada","Aspect-Oriented Behavioral Interface Specification in Moxa","5th Asian Workshop on Aspect-Oriented Software Development (AOAsia 5)",,,,,,2009,Nov.
"Takuo Watanabe","Towards Formalizing Operational Aspects of Reflective Computation","4th Asian Workshop on Aspect-Oriented Software Development (AOAsia 4)","Technical Report, Institute of Software, Chinese Academy of Science",,,"  ISCAS-SKLCS-08-06","pp. 21-24",2008,Dec.
"Sosuke Moriguchi,Takuo Watanabe","A Calculus for Advice Weaving Mechanisms","4th Asian Workshop on Aspect-Oriented Software Development (AOAsia 4)",,,,,,2008,Dec.
"Takuo Watanabe,Kiyoshi Yamada","An Aspect-Oriented Behavioral Interface Specification Langauge","2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2008)","Research Report, Department of Informatics, University of Oslo",,"Vol. 377",,"pp. 85-92",2008,Nov.
"Kiyoshi Yamada,Takuo Watanabe","An Aspect-Oriented Approach to Modular Behavioral Specifications","1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems","Electronic Notes in Theoretical Computer Science, Elsevier",,"Vol. 163","No. 1","pp. 45-56",2006,Sept.
"Yasunori Hashimoto,Takuo Watanabe,Kiyoshi Yamada","Aspect-Oriented Specification in Moxa: Toward Modular DbC from Protocol Descriptions","情報処理学会ソフトウェア工学研究会","IPSJ SIG Notes",,"Vol. 2006-SE","No. 153","pp. 15-22",2006,July
"NAOYUKI NAGATOU,Takuo Watanabe","Runtime Detection of Covert Channels","1st International Conference on Availability, Reilability and Security (ARES 2006)",,"IEEE",,,"pp. 577-584",2006,Apr.
"Kiyoshi Yamada,Takuo Watanabe","Moxa: An Aspect-oriented Behavioral Interface Specification Language",,"IPSJ Transactions on Programming","Information Processing Society of Japan","Vol. 46","No. SIG-11 (PRO 26)","pp. 27-44",2005,Aug.
"Michael Reinsch,Takuo Watanabe","Towards Reusable Heterogeneous Data-Centric Disentangled Parts","2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2005)",,,,,"pp. 29-38",2005,July
"NAOYUKI NAGATOU,Takuo Watanabe","Execution Monitoring and Information Flow Properties","DSN 2005 Workshop on Dependable Software - Tools and Methods","Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005)","IEEE",,,"pp. 221-227",2005,June
"Kiyoshi Yamada,Takuo Watanabe","Moxa: An Aspect-Oriented Approach to Modular Behavioral Specifications","AOSD 2005 Workshop on Software-engineering Properties of Languages and  Aspect Technologies (SPLAT '05)","AOSD 2005 Workshop on Software-engineering Properties of Languages and  Aspect Technologies (SPLAT '05)",,,,,2005,Mar.
"Kiyoshi Yamada,Takuo Watanabe","An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components","IASTED International Conference on Software Engineering (SE 2005)",,"ACTA Press",,,"pp. 360-365",2005,Feb.
"Kiyoshi Yamada,TAKUO WATANABE","アスペクト指向的な表明のモジュール化","JSSST 11th Workshop on Foundations of Software Engineering (FOSE 2004)","Lecture Notes in Software","Kindaikagakusha","Vol. 30",,"pp. 29-39",2004,Nov.
"Kiyoshi Yamada,TAKUO WATANABE","アスペクト指向的なモジュール記述を可能とする仕様記述言語","JSSST 21st Annual Conference",,,,,,2004,Sept.
"NAOYUKI NAGATOU,TAKUO WATANABE","移動コードのための機密性強制",,"日本ソフトウェア科学会 ディペンダブルシステムワークショップ(DSW '04)",,,,"pp. 121-130",2004,Feb.
"Takuo Watanabe,Kiyoshi Yamada,NAOYUKI NAGATOU","Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language","IASTED International Conference on Software Engineering (SE 2004)",,"ACTA Press",,,"pp. 662-667",2004,Feb.
"Noriki Amano,Takuo Watanabe","LampJ: A Library of Adaptable Modular Programming for Java","IASTED International Conference on Software Engineering and Applications (SEA '03)","IASTED International Conference on Software Engineering and Applications (SEA '03), ACTA Ppress",,,,"pp. 465-470",2003,Nov.
"Kiyoshi Yamada,佐々木明,望月智之,TAKUO WATANABE","JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証","日本ソフトウェア科学会 第20回大会","日本ソフトウェア科学会 第20回大会",,,,"pp. 2B-4 (5 pages)",2003,Sept.
"Yuji Ichisugi,Akira Tanaka,TAKUO WATANABE","拡張ルール：安全に結合可能なアスペクトの記述ルール","第５回プログラミングおよびプログラミング言語ワークショップ(PPL 2003)",,"日本ソフトウェア科学会",,,"pp. 58-73",2003,Mar.
"Yuji Ichisugi,Akira Tanaka,Takuo Watanabe","Extension Rules: Description Rules for Safely Composable Aspects",,"AIST Technical Report",,,"No. AIST01-J00002-4",,2003,
"ETSUYA SHIBAYAMA,Shigeki Hagihara,Naoki Kobayashi,Shin-ya Nishizaki,Kenjiro Taura,Takuo Watanabe","AnZenMail: A Secure and Certified E-mail System",,"Lecture Notes in Computer Science (Software Security: Theories and Systems)",,"Vol. 2609",,"pp. 201-216",2003,
"Yuji Ichisugi,Akira Tanaka,Takuo Watanabe","拡張ルール：安全に結合可能なアスペクトの記述ルール",,"Computer Software","Japan Society of Software Science and Technology","Vol. 20","No. 3","pp. 80-87",2003,
"Takuo Watanabe,Kiyoshi Yamada,NAOYUKI NAGATOU","Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances","IEEE Workshop on Software Technologies fo Future Embedded Systems","IEEE Workshop on Software Technologies fo Future Embedded Systems",,,,"pp. 65-68",2003,
"Noriki Amano,Takuo Watanabe","SAMcode: A Software Model for Flexible and Safe Adaptation of Mobile Code Programs","ECOOP 2002 International Workshop on Mobile Object Systems (MOS '02)",,,,,"pp. -",2002,June
"Yuji Ichisugi,Akira Tanaka,TAKUO WATANABE","安全に結合可能なアスペクトを提供するためのルール",,"日本ソフトウェア科学回 第19回大会論文集(CD-ROM)",,,,"pp. 3E-3 (5 pages)",2002,
"Noriki Amano,Takuo Watanabe","A Software Model for Flexible and Safe Adaptation for Mobile Code Programs",,"International Workshop on Principles of Software Evolution (IWPSE '02)",,,,"pp. 57-61",2002,
"Noriki Amano,Takuo Watanabe","An Approach for Constructing Component-based Software Systems with Safe Dynamic Adaptability","OOPSLA 2001 International Workshop on Language Mechanisms for Programming Software Components","Technical Report of College of Computer Science, Northeastern University (International Workshop on Language Mechanisms for Programming) Software Components",,,"No. NU-CCS-01-06","pp. 68-74",2001,Oct.
"Takuo Watanabe","スクリプト比較言語学：スクリプト言語の今後",,"bit","bit","Vol. 33","No. 4","pp. 60-63",2001,Apr.
"Noriki Amano,Takuo Watanabe","Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability","AISB '01 Symposium on Software Mobility and Adaptive Behavior","AISB '01 Symposium on Software Mobility and Adaptive Behavior",,,,"pp. 105-113",2001,Mar.
"Takuo Watanabe,Noriki Amano","A Secure Dynamic Extension Mechanism for Mobile Agents",,"AISB '01 Symposium on Software Mobility and Adaptive Behavior",,,,"pp. 28-31",2001,Mar.
"NAOYUKI NAGATOU,TAKUO WATANABE","移動コードの安全な実行のためのポリシー記述",,"日本ソフトウェア科学回 第18回大会論文集(CD-ROM)",,,,"pp. 7C-3",2001,
"Noriki Amano,Takuo Watanabe","A Software Model with Safe Dynamic Adaptability for Mobile Code Programs",,"ECOOP Workshop on Mobile Object Systems (MOS '01)",,,,"pp. -",2001,
"Takuo Watanabe,Noriki Amano,Kenji Shinbori","A Reflective Framework for Reliable Mobile Agent Systems",,"ECOOP 2000 International Workshop on Reflection and Metalevel Architectures (RMA2000)",,,,"pp. 4 pages",2000,
"Takuo Watanabe,Noriki Amano,Kenji Shinbori","Towards a Modular Substrate for Reliable Mobile Agent Systems",,"Middleware 2000 International Workshop on Reflective Middleware (RM2000)",,,,"pp. 20-24",2000,
"Noriki Amano,Takuo Watanabe","LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software Model",,"IEICE Transactions on Fundamental of Electronics, Communications and Computer Science","IEICE","Vol. E82-A","No. 6","pp. 1009-1016",1999,June
"Noriki Amano,Takuo Watanabe","LEAD++: An Object-Oriented Language based on a Reflective Model for Dynamic Software Adaptation",,"International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Asia '99), IEEE Press",,,,"pp. 41-50",1999,
"Akira Tanaka,TAKUO WATANABE","制御の流れを明示しない拡張可能な言語処理系記述",,"日本ソフトウェア科学会第16会大会論文集",,,,"pp. 261-264",1999,
"Noriki Amano,Takuo Watanabe","Reflection for Dynamic Adaptability: A Linguistic Approach using LEAD++",,"Lecture Notes in Computer Science (International Conference on Meta-Level Architectures and Reflection)",,"Vol. 1616",,"pp. 138-140",1999,
"Akira Tanaka,Takuo Watanabe","An Extensible LR Parser Generator: A Case Study of Composable Metalevel Extensions",,"International Workshop on Principles of Software Evolution (IWPSE '99)",,,,"pp. 84-88",1999,
"Yutaka Saeki,Takuo Watanabe","Towards a Modular Construction Method of Extensible Compilers","International Workshop on Principles of Software Evolution (IWPSE '99)",,,,,"pp. 79-83",1999,
"Noriki Amano,Takuo Watanabe","An Approach for Constructing Dynamically Adaptable Component-based Software Systems using LEAD++",,"International Workshop on Object-Oriented Reflection and Software Engineering (OORaSE '99)",,,,"pp. 1-16",1999,
"Kazuhiro Fujieda,Takuo Watanabe,Koichiro Ochimizu","CORBA Application Development Environment using Reflection","International Symposium on Future Software Technology (ISFST '99)",,,,,"pp. 149-154",1999,
"Takuro Kitayama,Tatsuo Nakajima,Ichiro Satoh,Hideyuki Tokuda,Takuo Watanabe,Katsuhiko Gondow","SMAF: A Framework for Future Embedded Systems",,"IEEE International Workshop on Networked Appliances",,,"No. S2-1","pp. 1-4",1998,Nov.
"Noriki Amano,Takuo Watanabe","LEAD: A Language for Dynamically Adaptable Applications",,"IEICE Transactions on Fundamental of Electronics, Communications and Computer Science","IEICE","Vol. E81-A","No. 6","pp. 992-1000",1998,June
"Hiroshi Ishikawa,Takuo Watanabe,Kokichi Futatsugi,Jos? Meseguer,Hideyuki Nakashima","On the Semantics of GAEA","3rd Fuji International Symposium on Functional and Logic Programming",,"World Scientific",,,,1998,Apr.
"Shusaku Iida,Kokichi Futatsugi,Takuo Watanabe","A Method for Creating and Verifying Formal Specifications of Distributed Systems in CafeOBJ",,"Computer Software","JSSST","Vol. 15","No. 1","pp. 34-49",1998,Jan.
"Noriki Amano,TAKUO WATANABE","LEAD: 動的適応可能なソフトウェアを構成する言語の設計と実装",,"情報処理学会論文誌",,"Vol. 39","No. 9","pp. 2649-2658",1998,
"新堀健治,TAKUO WATANABE,Noriki Amano","信頼性の高い移動エージェントシステムの構成方法",,"情報処理学会 第57回全国大会論文集(1)",,,,"pp. 313-314",1998,
"西川尚宏,TAKUO WATANABE","自己反映機構を用いた移動エージェント記述言語",,"情報処理学会 第57回全国大会論文集(1)",,,,"pp. 311-312",1998,
"川崎大輔,Noriki Amano,TAKUO WATANABE","動的コード生成を用いた適応的移動コード",,"情報処理学会 第57回全国大会論文集(1)",,,,"pp. 309-310",1998,
"峯下聡志,TAKUO WATANABE","Ambient Calculus を用いた移動エージェントの形式化",,"情報処理学会 第57回全国大会論文集(1)",,,,"pp. 260-261",1998,
"TAKUO WATANABE","CEK-抽象機械による移動オブジェクトの形式的定義",,"情報処理学会 第57回全国大会論文集(1)",,,,"pp. 258-259",1998,
"Noriki Amano,TAKUO WATANABE","動的適応可能なソフトウエア・モデルのための言語的アプローチ",,"日本ソフトウエア科学会 第1回プログラミングおよび応用のシステムに関するワークショップ (SPA'98)・オンライン論文集",,,,"pp. -",1998,
"Noriki Amano,Takuo Watanabe","A Procedural Model of Dynamic Adaptability and Its Description Language",,"International Workshop on Principles of Software Evolution (IWPSE '98)",,,,"pp. 103-107",1998,
"Noriki Amano,Takuo Watanabe","LEAD++: An Object-Oriented Language for Dynamically Adaptable Software Model",,"IEICE International Conference on Circuit/Systems, Computers and Communications (ITC-CSCC '98)",,,,"pp. 1143-1146",1998,
"Noriki Amano,Takuo Watanabe","LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software",,"OOPSLA '98 International Workshop on Reflective Programming in C++ and Java",,,,"pp. 91-95",1998,
"Hiroshi Ishikawa,Jos? Meseguer,Takuo Watanabe,Kokichi Futatsugi,Hideyuki Nakashima","On the Semantics of GAEA: An Object-Oriented Specification of a Concurrent Reflective Language in Rewriting Logic","International Symposium on Biology Inspired Computation (IMSA 1997)",,,,,,1997,Oct.
"Akira Tanaka,TAKUO WATANABE","一般的な拡張機構を持つ言語とその実現法",,"日本ソフトウェア科学会 第14回大会論文集",,,,"pp. 213-216",1997,
"TAKUO WATANABE,Noriki Amano","部分継続にもとづく移動コード記述",,"日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)",,,,"pp. -",1997,
"Tatsuo Nakajima,TAKUO WATANABE","分散オブジェクト技術とモバイルエージェント",,"電子情報通信学会誌",,"Vol. 80","No. 4","pp. 357-363",1997,
"Akira Tanaka,TAKUO WATANABE","拡張可能な言語システムの効率的な実装への試み",,"日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)",,,,"pp. -",1997,
"Noriki Amano,TAKUO WATANABE","モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ",,"日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)",,,,"pp. -",1997,
"TAKUO WATANABE,Noriki Amano","移動可能プログラムのための言語機構とその応用",,"情報処理学会・マルチメディア, 分散, 協調とモーバイルワークショップ (DiCoMo '97)",,,,"pp. 545-550",1997,
"Noriki Amano,Takuo Watanabe","LEAD: A Language for Adaptable Applications",,"IEICE International Conference on Circuit/Systems, Computers and Communications (ITC-CSCC '97)",,,,"pp. 825-828",1997,
"TAKUO WATANABE","部分継続にもとづく移動コード記述：定義と操作的意味",,"情報処理学会研究報告(プログラミング)",,"Vol. 97","No. PRO-14","pp. 61-66",1997,
"石川洋,二木厚吉,TAKUO WATANABE","並行自己反映計算の宣言的記述",,"日本ソフトウェア科学会 第14回大会論文集",,,,"pp. 205-208",1997,
"Noriki Amano,TAKUO WATANABE","自己反映アーキテクチャによる動的適応可能なソフトウェアのための言語",,"日本ソフトウエア科学会 第14回大会論文集",,,,"pp. 441-444",1997,
"佐伯豊,TAKUO WATANABE","モジュール結合による自己反映的な言語拡張について",,"日本ソフトウェア科学会 第14回大会論文集",,,,"pp. 209-212",1997,
"Hiroshi Ishikawa,Kokichi Futatsugi,Takuo Watanabe","An Example for Concurrent Reflec- tive Computations in Rewriting Logic","IFIP 1st International Workshop on Formal Methods in Open Object-based Distributed Systems (FMOODS 1996)","Formal Methods for Open Object-based Distributed Systems","Springer",,,"pp. 178-185",1996,Mar.
"Shusaku Iida,Kokichi Futatsugi,Takuo Watanabe","Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling","IFIP 1st International Workshop on Formal Methods in Open Object-based Distributed Systems (FMOODS 1996)","Formal Methods for Open Object-based Distributed Systems","Springer",,,"pp. 341-356",1996,Mar.
"Akira Tanaka,TAKUO WATANABE","再利用可能な部品から構成された言語処理系",,"電子情報通信学会ソフトウェアサイエンス研究会",,,,"pp. -",1996,
"Noriki Amano,TAKUO WATANABE","移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ",,"JAIST Research Report",,,"No. IS-RR-96-14S",,1996,
"Noriki Amano,TAKUO WATANABE","メタレベルアーキテクチャによる移動計算機環境のための言語",,"情報処理学会研究報告 (モーバイルコンピューティング研究グループ)",,,"No. MBL-1","pp. 9-14",1996,
"Akira Tanaka,TAKUO WATANABE","言語のメタレベルアーキテクチャにおけるモジュール化手法",,"日本ソフトウェア科学会 第13回大会論文集",,,,"pp. 229-232",1996,
"菅原太郎,TAKUO WATANABE","並行オブジェクトに対する計算の非決定性を保存する部分計算手法",,"日本ソフトウェア科学会 第13回大会論文集",,,,"pp. 441-444",1996,
"Noriki Amano,TAKUO WATANABE","メタレベルアーキテクチャによる移動計算機環境のための言語",,"日本ソフトウエア科学会 第13回大会論文集",,,,"pp. 281-284",1996,
"TAKUO WATANABE,Noriki Amano","移動計算機環境のための遠隔コード実行モデル",,"情報処理学会研究報告 (モーバイルコンピューティング研究グループ)",,"Vol. 96","No. MBL-3",,1996,
"Noriki Amano,TAKUO WATANABE","移動計算機環境をサポートする言語LEADによる非同期イベント処理",,"情報処理学会研究報告 (モーバイルコンピューティング研究グループ)，",,"Vol. 96","No. MBL-3",,1996,
"菅原太郎,TAKUO WATANABE","継続オブジェクトを明示化した並行オブジェクト指向言語に対する部分計算",,"日本ソフトウェア科学会第12回オブジェクト指向計算ワークショップ (WOOC '96)",,,,"pp. -",1996,
"Noriki Amano,TAKUO WATANABE","移動計算機環境を支援するインターフェース記述言語",,"情報処理学会 第51回全国大会",,,,"pp. 71-72",1995,
"TAKUO WATANABE","Towards a Foundation of Computational Reflection based on Abstract Rewriting",,"IPSJ SIG Notes (Programming)",,,,"pp. -",1995,
"Akira Tanaka,TAKUO WATANABE","メタレベル記述の再利用を考慮した自己反映的プログラミング言語",,"情報処理学会 第51回全国大会",,,,"pp. 73-74",1995,
"佐藤徹也,TAKUO WATANABE","汎用クラスライブラリの構成方式に関する研究",,"情報処理学会 第51回全国大会",,,,"pp. -",1995,
"山岡順一,TAKUO WATANABE","自己反映的な値呼びλ計算の操作的意味論",,"情報処理学会研究報告 (プログラミング -- 言語・基礎・実践 -- 研究会)",,,"No. 95-PRG-21","pp. 49-56",1995,
"Hiroshi Ishikawa,Kokichi Futatsugi,Takuo Watanabe","Concurrent Reflective Computations in Rewriting Logic",,"RIMS Kokyuroku (RIMS Workshop on Theory of Rewriting Systems and Its Applications)",,"Vol. 918",,"pp. 292-298",1995,
"菅原太郎,TAKUO WATANABE","並行オブジェクト指向計算に対する部分計算",,"日本ソフトウェア科学会 第12回大会論文集",,,,"pp. -",1995,
"石川洋,二木厚吉,TAKUO WATANABE","書き換え論理に基づく並行自己反映計算のモデルについて",,"日本ソフトウェア科学会 第12回大会論文集",,,,"pp. 49-52",1995,
"TAKUO WATANABE","A Tutorial Introduction to Computational Reflection",,"Computer Software",,"Vol. 11","No. 3","pp. 5-14",1994,May
"Hidehiko Masuhara,SATOSHI MATSUOKA,TAKUO WATANABE","自己反映並列オブジェクト指向言語 ABCL/R2 の設計と実現",,"コンピュータソフトウェア",,"Vol. 11","No. 3","pp. 15-32",1994,May
"瀬尾明志,TAKUO WATANABE","並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式",,"JAIST Research Report",,,"No. IS-RR-04-6S",,1994,
"石川洋,二木厚吉,TAKUO WATANABE","書き換え論理に基づく並行自己反映計算のモデル化",,"日本ソフトウェア科学会 第11回大会論文集",,,,"pp. 313-316",1994,
"宮内興治,TAKUO WATANABE","メタレベルアーキテクチャを用いた動的負荷分散の実現",,"JAIST Research Report",,,"No. IS-RR-04-7S",,1994,
"保木本晃弘,Tatsuo Nakajima,TAKUO WATANABE","移動計算機環境に適した拡張可能なオペレーティングシステムの構成技術",,"日本ソフトウェア科学会 第11回大会論文集",,,,"pp. 61-64",1994,
"TAKUO WATANABE","書換えにもとづく自己反映計算の定式化",,"電子情報通信学会技術報告(ソフトウェアサイエンス研究会)",,"Vol. 94","No. 134","pp. 1-7",1994,
"菅原太郎,TAKUO WATANABE,二木厚吉","並行項書き換え計算による並行オブジェクト指向言語の実現",,"電子情報通信学会技術報告(ソフトウェアサイエンス研究会)",,"Vol. 94","No. 134","pp. 9-16",1994,
"TAKUO WATANABE,瀬尾明志","並行オブジェクト向けの分散GCの一方式",,"情報処理学会 第49回全国大会論文集(4)",,,,"pp. 155-156",1994,
"Tatsuo Nakajima,TAKUO WATANABE,保木本晃弘","移動計算機環境に適した柔軟なソフトウェア構成法",,"情報処理学会 第49回全国大会論文集(4)",,,,"pp. 49-50",1994,
"TAKUO WATANABE","抽象書換えにもとづく自己反映計算の定式化手法",,"日本ソフトウェア科学会 第11回大会論文集",,,,"pp. 309-312",1994,
"TAKUO WATANABE,SATOSHI MATSUOKA","オブジェクト指向コンピューティング",,"岩波書店","岩波書店",,,"pp. 153-192",1993,
"Takuo Watanabe","メタレベルアクターの並列合成にもとづく並行自己反映計算モデルについて","日本ソフトウェア科学会 第9回大会",,,,,"pp. 9-12",1992,Sept.
"Hidehiko Masuhara,SATOSHI MATSUOKA,Takuo Watanabe,Akinori Yonezawa","Object-Oriented Concurrent Reflective Languages Can be Implemented Efficiently",,"ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '92)",,,,"pp. 127-144",1992,
"SATOSHI MATSUOKA,Takuo Watanabe,Yuji Ichisugi,Akinori Yonezawa","Object-Oriented Concurrent Reflective Architectures",,"Lecture Notes in Computer Science (Object-Oriented Concurrent Reflective Architectures)",,"Vol. 612",,,1992,
"Satoshi Matsuoka,Takuo Watanabe,Akinori Yonezawa","Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming","European Conference on Object-Oriented Programming (ECOOP 1991)","Lecture Notes in Computer Science","Springer-Verlag","Vol. 512",,"pp. 231-250",1991,June
"TAKUO WATANABE","Object-oriented models for reflection in concurrent systems",,,,,,,1991,Mar.
"Takuo Watanabe,Akinori Yonezawa","An Actor-Based Metalevel Architecture for Group-Wide Reflection","REX School/Workshop on Foundations of Object-Oriented Languages","Foundations of Object-Oriented Languages (Lecture Notes in Computer Science)",,"Vol. 489",,"pp. 405-425",1991,Feb.
"TAKUO WATANABE,SATOSHI MATSUOKA,Akinori Yonezawa","並行オブジェクト指向計算における自己反映計算の一方式: Hybrid Group Reflective Architecture",,"情報処理学会 並列処理シンポジウム (JSPP '91)",,,,"pp. 421-428",1991,
"Takuo Watanabe,Akinori Yonezawa","Reflection in an Object-Oriented Concurrent Language",,"ABCL: An Object-Oriented Concurrent System","MIT Press",,,"pp. 45-70",1990,
"Takuo Watanabe,Akinori Yonezawa","A Concurrent Reflective Computation Model Based on ACTOR Paradigm","IPSJ SIG Programming Languages","IPSJ SIG Technical Reports","情報処理学会","Vol. 1989","No. 89-PL-23","pp. 77-85",1989,Dec.
"Takuo Watanabe,Akinori Yonezawa","Towards a Concurrent Reflective Computation Model for Distributed Systems","6th JSSST Annual Conference","Proceedings of 6th JSSST Annual Conference",,,,"pp. 253-256",1989,Oct.
"Takuo Watanabe,Akinori Yonezawa","Reflective Computation in Object-Oriented Concurrent Systems and Its Applications","5th International Workshop on Software Specification and Design (IWSSD 1989)","Proceedings of 5th International Workshop on Software Specification and Design (IWSSD 1989)","ACM",,,"pp. 56-58",1989,May
"Akinori Yonezawa,Takuo Watanabe","An Introduction to Object-Based Reflective Concurrent Computation","ACM SIGPLAN Workshop on Object-Based Concurrent Programming","SIGPLAN Notices","ACM","Vol. 24","No. 4","pp. 50-54",1989,Apr.
"Takuo Watanabe,Akinori Yonezawa","Reflection in an Object-Oriented Concurrent Language","ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1988)","Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1988)","ACM",,,"pp. 306-315",1988,Sept.
"Takuo Watanabe,Akinori Yonezawa","Towards Reflection in an Object-Oriented Concurrent Language","4th JSSST Annual Conference","Proceedings of 4th JSSST Annual Conference",,,,"pp. 339-342",1987,Nov.
"Takuo Watanabe,Ichirou Ohsawa,Akinori Yonezawa","A Japanese Dialog System Applicable to Multiple Discourse Domains",,"Journal of Japanese Society for Artificial Intelligence","人工知能学会","Vol. 2","No. 2","pp. 206-213",1987,June
"Takuo Watanabe,Ichirou Ohsawa,Akinori Yonezawa","A Japanese Dialog System Applicable to Multiple Discourse Domains","3rd JSSST Annual Conference","Proceedings of 3rd JSSST Annual Conference",,,,"pp. 1-4",1986,Nov.