@book{CTT100497683,
  author = {渡部卓雄 and 松岡聡},
  title = {オブジェクト指向コンピューティング},
  publisher = {岩波書店},
  year = 1993,
}

@book{CTT100497841,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Reflection in an Object-Oriented Concurrent Language},
  publisher = {MIT Press},
  year = 1990,
}

@article{CTT100924201,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御},
  journal = {コンピューターソフトウェア (採択済)},
  year = 2025,
}

@article{CTT100907995,
  author = {白井瑞貴 and 森口草介 and 渡部卓雄},
  title = {同期的データフロープログラミングにおける逆計算の構成方式},
  journal = {コンピュータソフトウェア},
  year = 2024,
}

@article{CTT100858437,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types},
  journal = {Journal of Information Processing},
  year = 2021,
}

@article{CTT100841204,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  journal = {コンピュータソフトウェア},
  year = 2021,
}

@article{CTT100815338,
  author = {松村有倫 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態依存動作のための抽象化機構},
  journal = {情報処理学会論文誌（プログラミング）},
  year = 2020,
}

@article{CTT100758041,
  author = {高桑健太郎 and 渡部卓雄},
  title = {多言語に対応した衛生的マクロ機構導入方式},
  journal = {コンピュータソフトウェア},
  year = 2018,
}

@article{CTT100697050,
  author = {竹野創平 and 渡部卓雄},
  title = {アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価},
  journal = {コンピュータソフトウェア},
  year = 2016,
}

@article{CTT100903086,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults},
  journal = {International Journal of Industrial Engineering: Theory, Applications and Practice},
  year = 2015,
}

@article{CTT100652447,
  author = {森口草介 and 渡部卓雄},
  title = {定理証明支援系Coqへの対話的修正機構の導入},
  journal = {情報処理学会論文誌プログラミング（PRO）},
  year = 2012,
}

@article{CTT100390061,
  author = {山田聖 and 渡部卓雄},
  title = {契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa},
  journal = {情報処理学会論文誌 プログラミング},
  year = 2005,
}

@article{CTT100497838,
  author = {一杉裕志 and 田中哲 and 渡部卓雄},
  title = {安全に結合可能なmixinを提供するためのルール},
  journal = {コンピュータソフトウェア},
  year = 2003,
}

@article{CTT100497766,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software Model},
  journal = {IEICE Transactions on Fundamental of Electronics, Communications and Computer Science},
  year = 1999,
}

@article{CTT100496478,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD: A Language for Dynamically Adaptable Applications},
  journal = {IEICE Transactions on Fundamental of Electronics, Communications and Computer Science},
  year = 1998,
}

@article{CTT100844409,
  author = {飯田 周作 and 二木 厚吉 and 渡部 卓雄},
  title = {CafeOBJによる分散システムの形式仕様作成法},
  journal = {コンピュータソフトウェア},
  year = 1998,
}

@article{CTT100496481,
  author = {天野憲樹 and 渡部卓雄},
  title = {LEAD: 動的適応可能なソフトウェアを構成する言語の設計と実装},
  journal = {情報処理学会論文誌},
  year = 1998,
}

@article{CTT100497746,
  author = {渡部卓雄},
  title = {リフレクション},
  journal = {コンピュータソフトウェア},
  year = 1994,
}

@article{CTT100497747,
  author = {増原英彦 and 松岡聡 and 渡部卓雄},
  title = {自己反映並列オブジェクト指向言語 ABCL/R2 の設計と実現},
  journal = {コンピュータソフトウェア},
  year = 1994,
}

@article{CTT100497686,
  author = {渡部卓雄 and 大澤一郎 and 米澤明憲},
  title = {対話領域の独立性を指向した日本語対話理解システム},
  journal = {人工知能学会誌},
  year = 1987,
}

@inproceedings{CTT100926121,
  author = {Yugo Otani and Go Suzuki and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Bytecode VM for an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of 7th Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2024)},
  year = 2024,
}

@inproceedings{CTT100925189,
  author = {Sosuke Moriguchi and Satoshi Takimoto and Mizuki Shirai and Takuo Watanabe},
  title = {Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists},
  booktitle = {Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024)},
  year = 2024,
}

@inproceedings{CTT100916299,
  author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
  title = {mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices},
  booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR '24)},
  year = 2024,
}

@inproceedings{CTT100923780,
  author = {十河健人 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構},
  booktitle = {日本ソフトウェア科学会第41回大会講演論文集},
  year = 2024,
}

@inproceedings{CTT100920193,
  author = {鈴木豪 and 渡部卓雄 and 森口草介},
  title = {省電力コプロセッサ上で Ruby プログラムを動かす mruby 処理系の実装に向けて},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100916589,
  author = {大谷悠豪 and 鈴木豪 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語のためのバイトコードVM},
  booktitle = {情報処理学会研究報告},
  year = 2024,
}

@inproceedings{CTT100908916,
  author = {鈴木豪 and 渡部卓雄 and 森口草介},
  title = {マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100908915,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100907994,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of 13th International Conference on Software and Computer Applications (ICSCA 2024)},
  year = 2024,
}

@inproceedings{CTT100903500,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Event by Timing: Periodic and Time-Sequencing Responses},
  booktitle = {Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)},
  year = 2024,
}

@inproceedings{CTT100902531,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Developing Distributed Systems with Multiparty Functional Reactive Programming},
  booktitle = {Proc. 5th World Symposium on Software Engineering (WSSE 2023)},
  year = 2023,
}

@inproceedings{CTT100904745,
  author = {Go Suzuki and Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Using Low Power Coprocessors in an FRP Language for Embedded Systems},
  booktitle = {Proc. Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)},
  year = 2023,
}

@inproceedings{CTT100902530,
  author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems},
  year = 2023,
}

@inproceedings{CTT100901504,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100901503,
  author = {白井瑞貴 and 森口草介 and 渡部卓雄},
  title = {同期的データフロープログラミングにおける逆計算の構成方式},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100897801,
  author = {鈴木豪 and 横山陽彦 and 森口草介 and 渡部卓雄},
  title = {対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100893576,
  author = {十河健人 and 辻裕太 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価},
  booktitle = {情報処理学会研究報告},
  year = 2023,
}

@inproceedings{CTT100885489,
  author = {十河健人 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における離散イベント機構の実装とその評価},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885507,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885502,
  author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
  title = {Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices},
  booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming},
  year = 2023,
}

@inproceedings{CTT100885490,
  author = {鈴木豪 and 渡部卓雄 and 森口草介},
  title = {REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885488,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100884356,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Responsibilities of Responses in Functional Reactive Programming},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100882649,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881149,
  author = {Ju Guiyuan and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100878380,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討},
  booktitle = {情報処理学会研究報告},
  year = 2022,
}

@inproceedings{CTT100865663,
  author = {白井瑞貴 and 横山陽彦 and 森口草介 and 渡部卓雄},
  title = {サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100865664,
  author = {内野駿亮 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100865528,
  author = {横山 陽彦 and 森口 草介 and 渡部 卓雄},
  title = {小規模組込みシステム向けFRP言語における非同期タスク処理機構},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100861359,
  author = {渡部卓雄},
  title = {関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100860442,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における周期的タスクの記述方式},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100860441,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミングにおける時変値の初期化手法の提案},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100853675,
  author = {堀紗知子 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100853674,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミングにおける時変値の初期値の自動決定},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100853677,
  author = {内藤博 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100844058,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語のための再帰データ型},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100834446,
  author = {Takuo Watanabe and Kazuhiro Shibanai},
  title = {Towards a Functional Reactive Programming Model for Developing WSANs},
  booktitle = {Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020)},
  year = 2021,
}

@inproceedings{CTT100841919,
  author = {Yoshitaka Sakurai and Sosuke Moriguchi and Takuo Watanabe},
  title = {Functional Reactive Programming for Embedded Systems with GPGPUs},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100836143,
  author = {Takuo Watanabe},
  title = {Developing Coordinating Distributed Applications in a Pure FRP Language},
  booktitle = {Philippine Computing Journal},
  year = 2020,
}

@inproceedings{CTT100836142,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Bounded-Construction-Types for Functional Reactive Programming},
  booktitle = {Philippine Computing Journal},
  year = 2020,
}

@inproceedings{CTT100804210,
  author = {Takuo Watanabe},
  title = {A Reflective Extension of an FRP Language and its Applications},
  booktitle = {Theory and Practice of Computation, Proceedings of the Workshop on Computation: Theory and Practice (WCTP2019)},
  year = 2020,
}

@inproceedings{CTT100853678,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {日本ソフトウェア科学会第37回大会講演論文集},
  year = 2020,
}

@inproceedings{CTT100827063,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装},
  booktitle = {情報処理学会研究報告},
  year = 2020,
}

@inproceedings{CTT100820156,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100815513,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語に対する再帰的データ型の導入},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820150,
  author = {松村有倫 and 渡部卓雄},
  title = {状態遷移を表現する組込みシステム向けFRP言語の設計},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820152,
  author = {櫻井義孝 and 森口草介 and 渡部卓雄},
  title = {FRPによるGPU上の計算の実現},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820154,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {内部DSLとしての関数リアクティブプログラミング言語の実装手法},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820155,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100804001,
  author = {Yoshitaka Sakurai and Takuo Watanabe},
  title = {Towards a Statically Scheduled Parallel Execution of an FRP Langauge for Embedded Systems},
  booktitle = {Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2019)},
  year = 2019,
}

@inproceedings{CTT100800315,
  author = {渡部卓雄 and 柴内一宏 and 櫻井義孝 and 松村有倫 and 横山陽彦},
  title = {関数リアクティブプログラミング言語によるサイバーフィジカルシステム開発支援にむけて},
  booktitle = {組込みシステムシンポジウム2019論文集},
  year = 2019,
}

@inproceedings{CTT100794131,
  author = {Sheng Wang and Takuo Watanabe},
  title = {Functional Reactive EDSL with Asynchronous Execution for Resource-Constrained Embedded Systems},
  booktitle = {Studies in Computational Intelligence},
  year = 2019,
}

@inproceedings{CTT100799521,
  author = {松村有倫 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における動的動作のための抽象化機構},
  booktitle = {情報処理学会研究報告},
  year = 2019,
}

@inproceedings{CTT100799523,
  author = {櫻井義孝 and 渡部卓雄},
  title = {小規模組込み向けFRP言語のための並列実行モデル},
  booktitle = {情報処理学会研究報告},
  year = 2019,
}

@inproceedings{CTT100820157,
  author = {櫻井義孝 and 渡部卓雄},
  title = {組込みシステム向けFRP言語の静的スケジューリングを用いた並列化},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100791999,
  author = {渡部卓雄 and 松村有倫 and 横山陽彦},
  title = {小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構},
  booktitle = {情報処理学会研究報告},
  year = 2019,
}

@inproceedings{CTT100820159,
  author = {横山陽彦 and 渡部卓雄},
  title = {組込みシステム向けFRP言語に対する第一級関数の導入},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100820158,
  author = {松村有倫 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における動的動作のための抽象化機構},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100751468,
  author = {Takuo Watanabe},
  title = {An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Theory and Practice of Computation - Proceedings of Workshop on Computation: Theory and Practice WCTP2017},
  year = 2018,
}

@inproceedings{CTT100771564,
  author = {Kazuhiro Shibanai and Takuo Watanabe},
  title = {Distributed Functional Reactive Programming on Actor-Based Runtime},
  booktitle = {Proceedings of 8th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2018)},
  year = 2018,
}

@inproceedings{CTT100770101,
  author = {渡部卓雄},
  title = {小規模組込みシステム向けFRP言語への文脈指向プログラミング機構の導入},
  booktitle = {組込みシステムシンポジウム論文集 (ESS 2018)},
  year = 2018,
}

@inproceedings{CTT100768666,
  author = {Takuo Watanabe},
  title = {A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of the 10th International Workshop on Context-Oriented Programming (COP 2018)},
  year = 2018,
}

@inproceedings{CTT100820162,
  author = {渡部卓雄},
  title = {小規模組込みシステム向けFRP言語のアクターモデルにもとづく実行系},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100820161,
  author = {高桑健太郎 and 渡部卓雄},
  title = {構文解析器の動的拡張による衛生的マクロ機構の実現},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100820160,
  author = {柴内一宏 and 渡部卓雄},
  title = {アクターシステムを対象としたリバースデバッギングフレームワークActoverseへのAOPの導入},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100759104,
  author = {渡部卓雄},
  title = {アクターモデルと関数リアクティブプログラミングの融合による小規模組込みシステム開発},
  booktitle = {情報処理学会研究報告},
  year = 2018,
}

@inproceedings{CTT100714091,
  author = {Kohei Suzuki and Kanato Nagayama and Kensuke Sawada and Takuo Watanabe},
  title = {CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems},
  booktitle = {Theory and Practice of Computation},
  year = 2017,
}

@inproceedings{CTT100753238,
  author = {Takuo Watanabe},
  title = {Reactive Reflection in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Workshop on Meta-Programming Techniques and Reflection (META 2017)},
  year = 2017,
}

@inproceedings{CTT100751806,
  author = {Kazuhiro Shibanai and Takuo Watanabe},
  title = {Actoverse: A Reversible Debugger for Actors},
  booktitle = {Proceedings of 7th ACM SIGPLAN International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2017)},
  year = 2017,
}

@inproceedings{CTT100751658,
  author = {柴内一宏 and 渡部卓雄},
  title = {アクターシステムを対象としたリバースデバッギングのためのフレームワーク},
  booktitle = {日本ソフトウェア科学会第34回大会論文集},
  year = 2017,
}

@inproceedings{CTT100751657,
  author = {高桑健太郎 and 渡部卓雄},
  title = {多言語に対応した衛生的マクロ機構導入方式},
  booktitle = {日本ソフトウェア科学会第34回大会論文集},
  year = 2017,
}

@inproceedings{CTT100754548,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 西崎真也 and 森本千佳子 and 脇田建 and 渡部卓雄},
  title = {東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning},
  booktitle = {日本ソフトウェア科学会 第34回大会 論文集},
  year = 2017,
}

@inproceedings{CTT100748019,
  author = {渡部卓雄},
  title = {小規模組み込みシステム向けFRP言語とその自己反映機構},
  booktitle = {組込みシステムシンポジウム(ESS 2017)論文集},
  year = 2017,
}

@inproceedings{CTT100741479,
  author = {Paul Lavery and Takuo Watanabe},
  title = {An Actor-Based Runtime Monitoring System for Web and Desktop Applications},
  booktitle = {Proceedings of 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017)},
  year = 2017,
}

@inproceedings{CTT100743181,
  author = {渡部卓雄},
  title = {小規模組み込みシステム向けFRP言語のための自己反映機構},
  booktitle = {研究報告 組込みシステム (EMB)},
  year = 2017,
}

@inproceedings{CTT100697051,
  author = {Yuu Ohmura and Takuo Watanabe},
  title = {Design and Implementation of an Advanced Source Code Reading Tool for Framework-based Software},
  booktitle = {Theory and Practice of Computation},
  year = 2017,
}

@inproceedings{CTT100736942,
  author = {Takuo Watanabe and Kensuke Sawada},
  title = {Towards Reflection in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Companion to the first International Conference on the Art, Science and Engineering of Programming (Programming 2017)},
  year = 2017,
}

@inproceedings{CTT100736925,
  author = {高桑健太郎 and 渡部卓雄},
  title = {多言語に対応した衛生的マクロ機構導入方式},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100736924,
  author = {大村裕 and 荒堀喜貴 and 権藤克彦 and 渡部卓雄},
  title = {Code Oriented Diagram Editorを用いた並行バグの可視化},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100736939,
  author = {Takuo Watanabe and Kensuke Sawada},
  title = {Towards an Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems},
  booktitle = {IPSJ SIG Technical Report},
  year = 2016,
}

@inproceedings{CTT100721779,
  author = {Takuo Watanabe and Kensuke Sawada},
  title = {Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100714090,
  author = {星野友宏 and 高桑健太郎 and 渡部卓雄},
  title = {OMetaのための衛生的マクロ定義機構導入方式},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100700994,
  author = {峰尾太陽 and 石井大輔 and 渡部卓雄},
  title = {時相論理式の反証を用いた制御器のチューニング},
  booktitle = {信学技報},
  year = 2016,
}

@inproceedings{CTT100736926,
  author = {安武祥平 and 渡部卓雄},
  title = {Actario: 定理証明支援系Coqによるアクターシステムの検証},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100701079,
  author = {Kensuke Sawada and Takuo Watanabe},
  title = {Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100682084,
  author = {Masaya Suzuki and Takuo Watanabe},
  title = {Sandal: A Modeling Language Supporting Exhaustive Fault-Injection},
  booktitle = {Theory and Practice of Computation},
  year = 2016,
}

@inproceedings{CTT100697053,
  author = {Souhei Takeno and Takuo Watanabe},
  title = {A Reflective Implementation of an Actor-based Concurrent Context-Oriented System},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100836165,
  author = {永藤直行 and 渡部卓雄},
  title = {人的欠陥に対する耐性解析のモデル検証的アプローチ},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100700993,
  author = {大村裕 and 渡部卓雄},
  title = {CODE: Code Oriented Diagram Editor},
  booktitle = {ソフトウェア工学の基礎XXII (レクチャーノート/ソフトウェア学)},
  year = 2015,
}

@inproceedings{CTT100697052,
  author = {Shohei Yasutake and Takuo Watanabe},
  title = {Actario: A Framework for Reasoning About Actor Systems},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100697048,
  author = {澤田賢祐 and 鈴木康平 and 渡部卓雄},
  title = {小規模組み込みシステムにおけるFRPの応用に向けて},
  booktitle = {信学技報},
  year = 2015,
}

@inproceedings{CTT100836170,
  author = {安武祥平 and 渡部卓雄},
  title = {Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100682081,
  author = {Takuo Watanabe},
  title = {Compositional Construction of Group-Wide Meta-Level Architectures},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100682082,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {Robustness Analysis on Human-made Faults in Procedural Manuals},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100682079,
  author = {竹野創平 and 渡部卓雄},
  title = {アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682080,
  author = {Masaya Suzuki and Takuo Watanabe},
  title = {A Language Support for Exhaustive Fault-Injection in Message-Passing System Models},
  booktitle = {Electronic Proceedings in Theoretical Computer Science},
  year = 2014,
}

@inproceedings{CTT100682077,
  author = {大村裕 and 渡部卓雄},
  title = {プログラム理解のためのコードリーディング支援ツールの提案と実装},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682078,
  author = {安武祥平 and 渡部卓雄},
  title = {Aπ計算のCoqによる形式化},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682074,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults},
  booktitle = {Lecture Notes in Business Information Processing, LNBIP},
  year = 2014,
}

@inproceedings{CTT100682075,
  author = {Takuo Watanabe and Souhei Takeno},
  title = {A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682073,
  author = {森口草介 and 渡部卓雄},
  title = {検証付きプログラムに対する対話的修正の合成},
  booktitle = {レクチャーノート/ソフトウェア学},
  year = 2013,
}

@inproceedings{CTT100806961,
  author = {安原 由貴 and 森口 草介 and 渡部卓雄},
  title = {実時間システム向け文脈指向言語ProcneJ},
  booktitle = {情報処理学会論文誌プログラミング（PRO）},
  year = 2013,
}

@inproceedings{CTT100667352,
  author = {Takuo Watanabe},
  title = {Towards a Compositional Reflective Architecture for Actor-Based Systems},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100682091,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 田中康 and 西崎真也 and 森本千佳子 and 米崎直樹 and 渡部卓雄},
  title = {Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100682092,
  author = {永藤直行 and 渡部卓雄},
  title = {人為的欠陥の意味と耐性解析},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100652448,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {An Interactive Extension Mechanism for Reusing Verified Programs},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100700997,
  author = {中村遼太郎 and 渡部卓雄},
  title = {実時間システム向けの文脈指向DSL},
  booktitle = {情報処理学会研究報告},
  year = 2013,
}

@inproceedings{CTT100701000,
  author = {Ilankaikone Senthooran and Takuo Watanabe},
  title = {On Generating Soft Real-Time Programs for Non-Real-Time Environments},
  booktitle = {Theory and Practice of Computation: Proceedings in Information and Communications Technology},
  year = 2013,
}

@inproceedings{CTT100700998,
  author = {安原由貴 and 森口草介 and 渡部卓雄},
  title = {実時間システム向け文脈指向言語ProcneJ},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100701001,
  author = {安原由貴 and 森口草介 and 渡部卓雄},
  title = {組込みシステムのための文脈指向仕様記述に向けて},
  booktitle = {},
  year = 2012,
}

@inproceedings{CTT100701002,
  author = {Ilankaikone Senthooran and Takuo Watanabe},
  title = {A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments},
  booktitle = {},
  year = 2012,
}

@inproceedings{CTT100770946,
  author = {渡部卓雄 and 鈴木将哉},
  title = {Objective-Cによる文脈指向プログラミングの実現手法},
  booktitle = {電子情報通信学会技術研究報告},
  year = 2012,
}

@inproceedings{CTT100700999,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Abstraction of Operations of Aspect-Oriented Languages},
  booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology},
  year = 2012,
}

@inproceedings{CTT100711035,
  author = {久間恵美子 and 渡部卓雄},
  title = {補償型計算による実行監視機構のアクターモデルに基づく実現にむけて},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100711036,
  author = {森口草介 and 渡部卓雄},
  title = {Coqのための対話的修正機構を用いた変更の織り込み手法},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100711037,
  author = {Ilankaikone Senthooran and Julian Prokay and Takuo Watanabe},
  title = {On Generating Realtime Programs with Runtime Checking: From Timed Automata to Realtime Programs on Non-Realtime Environments},
  booktitle = {IEICE technical report},
  year = 2011,
}

@inproceedings{CTT100711039,
  author = {山田一宏 and 渡部卓雄 and 森口草介 and 西崎真也},
  title = {証明支援系を用いたMorrisの二分木走査アルゴリズムの検証},
  booktitle = {情報処理学会研究報告ソフトウェア工学},
  year = 2011,
}

@inproceedings{CTT100711040,
  author = {新井一郎 and 渡部卓雄},
  title = {ハイブリッドマルチコア環境における関数型言語の実現手法},
  booktitle = {第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100621107,
  author = {久間恵美子 and 松本大介 and 西崎真也 and 渡部卓雄},
  title = {オブジェクト計算における変更可能な継続},
  booktitle = {情報処理学会 第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100711038,
  author = {渡部卓雄 and 森口草介 and 山田一宏 and 西崎真也},
  title = {プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ},
  booktitle = {信学技報},
  year = 2011,
}

@inproceedings{CTT100860751,
  author = {Takuo Watanabe and Kiyoshi Yamada},
  title = {Aspect-Oriented Behavioral Interface Specification in Moxa},
  booktitle = {},
  year = 2009,
}

@inproceedings{CTT100860752,
  author = {Takuo Watanabe},
  title = {Towards Formalizing Operational Aspects of Reflective Computation},
  booktitle = {Technical Report, Institute of Software, Chinese Academy of Science},
  year = 2008,
}

@inproceedings{CTT100860753,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {A Calculus for Advice Weaving Mechanisms},
  booktitle = {},
  year = 2008,
}

@inproceedings{CTT100860754,
  author = {Takuo Watanabe and Kiyoshi Yamada},
  title = {An Aspect-Oriented Behavioral Interface Specification Langauge},
  booktitle = {Research Report, Department of Informatics, University of Oslo},
  year = 2008,
}

@inproceedings{CTT100391782,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {An Aspect-Oriented Approach to Modular Behavioral Specifications},
  booktitle = {Electronic Notes in Theoretical Computer Science, Elsevier},
  year = 2006,
}

@inproceedings{CTT100410891,
  author = {橋本康範 and 渡部卓雄 and 山田聖},
  title = {Moxaによるアスペクト指向的仕様記述：プロトコルからのモジュラーなDbC記述に向けて},
  booktitle = {情報処理学会研究報告},
  year = 2006,
}

@inproceedings{CTT100406177,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {Runtime Detection of Covert Channels},
  booktitle = {},
  year = 2006,
}

@inproceedings{CTT100390060,
  author = {Michael Reinsch and Takuo Watanabe},
  title = {Towards Reusable Heterogeneous Data-Centric Disentangled Parts},
  booktitle = {},
  year = 2005,
}

@inproceedings{CTT100389585,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {Execution Monitoring and Information Flow Properties},
  booktitle = {Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005)},
  year = 2005,
}

@inproceedings{CTT100389584,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {Moxa: An Aspect-Oriented Approach to Modular Behavioral Specifications},
  booktitle = {AOSD 2005 Workshop on Software-engineering Properties of Languages and  Aspect Technologies (SPLAT '05)},
  year = 2005,
}

@inproceedings{CTT100499089,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components},
  booktitle = {},
  year = 2005,
}

@inproceedings{CTT100391802,
  author = {山田聖 and 渡部卓雄},
  title = {アスペクト指向的な表明のモジュール化},
  booktitle = {レクチャーノート ソフトウェア学},
  year = 2004,
}

@inproceedings{CTT100499088,
  author = {山田聖 and 渡部卓雄},
  title = {アスペクト指向的なモジュール記述を可能とする仕様記述言語},
  booktitle = {},
  year = 2004,
}

@inproceedings{CTT100497845,
  author = {永藤直行 and 渡部卓雄},
  title = {移動コードのための機密性強制},
  booktitle = {日本ソフトウェア科学会 ディペンダブルシステムワークショップ(DSW '04)},
  year = 2004,
}

@inproceedings{CTT100497844,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language},
  booktitle = {},
  year = 2004,
}

@inproceedings{CTT100497843,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LampJ: A Library of Adaptable Modular Programming for Java},
  booktitle = {IASTED International Conference on Software Engineering and Applications (SEA '03), ACTA Ppress},
  year = 2003,
}

@inproceedings{CTT100497842,
  author = {山田聖 and 佐々木明 and 望月智之 and 渡部卓雄},
  title = {JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証},
  booktitle = {日本ソフトウェア科学会 第20回大会},
  year = 2003,
}

@inproceedings{CTT100497837,
  author = {一杉裕志 and 田中哲 and 渡部卓雄},
  title = {拡張ルール：安全に結合可能なアスペクトの記述ルール},
  booktitle = {},
  year = 2003,
}

@inproceedings{CTT100548420,
  author = {ETSUYA SHIBAYAMA and Shigeki Hagihara and Naoki Kobayashi and Shin-ya Nishizaki and Kenjiro Taura and Takuo Watanabe},
  title = {AnZenMail: A Secure and Certified E-mail System},
  booktitle = {Lecture Notes in Computer Science (Software Security: Theories and Systems)},
  year = 2003,
}

@inproceedings{CTT100497839,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances},
  booktitle = {IEEE Workshop on Software Technologies fo Future Embedded Systems},
  year = 2003,
}

@inproceedings{CTT100497832,
  author = {Noriki Amano and Takuo Watanabe},
  title = {SAMcode: A Software Model for Flexible and Safe Adaptation of Mobile Code Programs},
  booktitle = {},
  year = 2002,
}

@inproceedings{CTT100497833,
  author = {一杉裕志 and 田中哲 and 渡部卓雄},
  title = {安全に結合可能なアスペクトを提供するためのルール},
  booktitle = {日本ソフトウェア科学回 第19回大会論文集(CD-ROM)},
  year = 2002,
}

@inproceedings{CTT100497831,
  author = {Noriki Amano and Takuo Watanabe},
  title = {A Software Model for Flexible and Safe Adaptation for Mobile Code Programs},
  booktitle = {International Workshop on Principles of Software Evolution (IWPSE '02)},
  year = 2002,
}

@inproceedings{CTT100497830,
  author = {Noriki Amano and Takuo Watanabe},
  title = {An Approach for Constructing Component-based Software Systems with Safe Dynamic Adaptability},
  booktitle = {Technical Report of College of Computer Science, Northeastern University (International Workshop on Language Mechanisms for Programming) Software Components},
  year = 2001,
}

@inproceedings{CTT100497826,
  author = {Noriki Amano and Takuo Watanabe},
  title = {Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability},
  booktitle = {AISB '01 Symposium on Software Mobility and Adaptive Behavior},
  year = 2001,
}

@inproceedings{CTT100497827,
  author = {Takuo Watanabe and Noriki Amano},
  title = {A Secure Dynamic Extension Mechanism for Mobile Agents},
  booktitle = {AISB '01 Symposium on Software Mobility and Adaptive Behavior},
  year = 2001,
}

@inproceedings{CTT100497829,
  author = {永藤直行 and 渡部卓雄},
  title = {移動コードの安全な実行のためのポリシー記述},
  booktitle = {日本ソフトウェア科学回 第18回大会論文集(CD-ROM)},
  year = 2001,
}

@inproceedings{CTT100497828,
  author = {Noriki Amano and Takuo Watanabe},
  title = {A Software Model with Safe Dynamic Adaptability for Mobile Code Programs},
  booktitle = {ECOOP Workshop on Mobile Object Systems (MOS '01)},
  year = 2001,
}

@inproceedings{CTT100497825,
  author = {Takuo Watanabe and Noriki Amano and Kenji Shinbori},
  title = {A Reflective Framework for Reliable Mobile Agent Systems},
  booktitle = {ECOOP 2000 International Workshop on Reflection and Metalevel Architectures (RMA2000)},
  year = 2000,
}

@inproceedings{CTT100497824,
  author = {Takuo Watanabe and Noriki Amano and Kenji Shinbori},
  title = {Towards a Modular Substrate for Reliable Mobile Agent Systems},
  booktitle = {Middleware 2000 International Workshop on Reflective Middleware (RM2000)},
  year = 2000,
}

@inproceedings{CTT100497770,
  author = {田中哲 and 渡部卓雄},
  title = {制御の流れを明示しない拡張可能な言語処理系記述},
  booktitle = {日本ソフトウェア科学会第16会大会論文集},
  year = 1999,
}

@inproceedings{CTT100497822,
  author = {Kazuhiro Fujieda and Takuo Watanabe and Koichiro Ochimizu},
  title = {CORBA Application Development Environment using Reflection},
  booktitle = {},
  year = 1999,
}

@inproceedings{CTT100497768,
  author = {Akira Tanaka and Takuo Watanabe},
  title = {An Extensible LR Parser Generator: A Case Study of Composable Metalevel Extensions},
  booktitle = {International Workshop on Principles of Software Evolution (IWPSE '99)},
  year = 1999,
}

@inproceedings{CTT100497771,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Language based on a Reflective Model for Dynamic Software Adaptation},
  booktitle = {International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Asia '99), IEEE Press},
  year = 1999,
}

@inproceedings{CTT100497767,
  author = {Yutaka Saeki and Takuo Watanabe},
  title = {Towards a Modular Construction Method of Extensible Compilers},
  booktitle = {},
  year = 1999,
}

@inproceedings{CTT100497769,
  author = {Noriki Amano and Takuo Watanabe},
  title = {Reflection for Dynamic Adaptability: A Linguistic Approach using LEAD++},
  booktitle = {Lecture Notes in Computer Science (International Conference on Meta-Level Architectures and Reflection)},
  year = 1999,
}

@inproceedings{CTT100497823,
  author = {Noriki Amano and Takuo Watanabe},
  title = {An Approach for Constructing Dynamically Adaptable Component-based Software Systems using LEAD++},
  booktitle = {International Workshop on Object-Oriented Reflection and Software Engineering (OORaSE '99)},
  year = 1999,
}

@inproceedings{CTT100723774,
  author = {Takuro Kitayama and Tatsuo Nakajima and Ichiro Satoh and Hideyuki Tokuda and Takuo Watanabe and Katsuhiko Gondow},
  title = {SMAF: A Framework for Future Embedded Systems},
  booktitle = {IEEE International Workshop on Networked Appliances},
  year = 1998,
}

@inproceedings{CTT100862539,
  author = {Hiroshi Ishikawa and Takuo Watanabe and Kokichi Futatsugi and José Meseguer and Hideyuki Nakashima},
  title = {On the Semantics of GAEA},
  booktitle = {},
  year = 1998,
}

@inproceedings{CTT100496476,
  author = {Noriki Amano and Takuo Watanabe},
  title = {A Procedural Model of Dynamic Adaptability and Its Description Language},
  booktitle = {International Workshop on Principles of Software Evolution (IWPSE '98)},
  year = 1998,
}

@inproceedings{CTT100496475,
  author = {天野憲樹 and 渡部卓雄},
  title = {動的適応可能なソフトウエア・モデルのための言語的アプローチ},
  booktitle = {日本ソフトウエア科学会 第1回プログラミングおよび応用のシステムに関するワークショップ (SPA'98)・オンライン論文集},
  year = 1998,
}

@inproceedings{CTT100497760,
  author = {峯下聡志 and 渡部卓雄},
  title = {Ambient Calculus を用いた移動エージェントの形式化},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100497761,
  author = {川崎大輔 and 天野憲樹 and 渡部卓雄},
  title = {動的コード生成を用いた適応的移動コード},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100497759,
  author = {渡部卓雄},
  title = {CEK-抽象機械による移動オブジェクトの形式的定義},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100497762,
  author = {西川尚宏 and 渡部卓雄},
  title = {自己反映機構を用いた移動エージェント記述言語},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100496482,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software},
  booktitle = {OOPSLA '98 International Workshop on Reflective Programming in C++ and Java},
  year = 1998,
}

@inproceedings{CTT100496480,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Language for Dynamically Adaptable Software Model},
  booktitle = {IEICE International Conference on Circuit/Systems, Computers and Communications (ITC-CSCC '98)},
  year = 1998,
}

@inproceedings{CTT100497764,
  author = {新堀健治 and 渡部卓雄 and 天野憲樹},
  title = {信頼性の高い移動エージェントシステムの構成方法},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100862538,
  author = {Hiroshi Ishikawa and José Meseguer and Takuo Watanabe and Kokichi Futatsugi and Hideyuki Nakashima},
  title = {On the Semantics of GAEA: An Object-Oriented Specification of a Concurrent Reflective Language in Rewriting Logic},
  booktitle = {},
  year = 1997,
}

@inproceedings{CTT100496472,
  author = {田中哲 and 渡部卓雄},
  title = {一般的な拡張機構を持つ言語とその実現法},
  booktitle = {日本ソフトウェア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100496473,
  author = {天野憲樹 and 渡部卓雄},
  title = {自己反映アーキテクチャによる動的適応可能なソフトウェアのための言語},
  booktitle = {日本ソフトウエア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100496463,
  author = {天野憲樹 and 渡部卓雄},
  title = {モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ},
  booktitle = {日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)},
  year = 1997,
}

@inproceedings{CTT100496464,
  author = {渡部卓雄 and 天野憲樹},
  title = {移動可能プログラムのための言語機構とその応用},
  booktitle = {情報処理学会・マルチメディア, 分散, 協調とモーバイルワークショップ (DiCoMo '97)},
  year = 1997,
}

@inproceedings{CTT100496465,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD: A Language for Adaptable Applications},
  booktitle = {IEICE International Conference on Circuit/Systems, Computers and Communications (ITC-CSCC '97)},
  year = 1997,
}

@inproceedings{CTT100496466,
  author = {渡部卓雄},
  title = {部分継続にもとづく移動コード記述：定義と操作的意味},
  booktitle = {情報処理学会研究報告(プログラミング)},
  year = 1997,
}

@inproceedings{CTT100496469,
  author = {石川洋 and 二木厚吉 and 渡部卓雄},
  title = {並行自己反映計算の宣言的記述},
  booktitle = {日本ソフトウェア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100496471,
  author = {佐伯豊 and 渡部卓雄},
  title = {モジュール結合による自己反映的な言語拡張について},
  booktitle = {日本ソフトウェア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100496461,
  author = {渡部卓雄 and 天野憲樹},
  title = {部分継続にもとづく移動コード記述},
  booktitle = {日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)},
  year = 1997,
}

@inproceedings{CTT100496462,
  author = {田中哲 and 渡部卓雄},
  title = {拡張可能な言語システムの効率的な実装への試み},
  booktitle = {日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)},
  year = 1997,
}

@inproceedings{CTT100867058,
  author = {Shusaku Iida and Kokichi Futatsugi and Takuo Watanabe},
  title = {Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling},
  booktitle = {Formal Methods for Open Object-based Distributed Systems},
  year = 1996,
}

@inproceedings{CTT100867059,
  author = {Hiroshi Ishikawa and Kokichi Futatsugi and Takuo Watanabe},
  title = {An Example for Concurrent Reflec- tive Computations in Rewriting Logic},
  booktitle = {Formal Methods for Open Object-based Distributed Systems},
  year = 1996,
}

@inproceedings{CTT100496459,
  author = {渡部卓雄 and 天野憲樹},
  title = {移動計算機環境のための遠隔コード実行モデル},
  booktitle = {情報処理学会研究報告 (モーバイルコンピューティング研究グループ)},
  year = 1996,
}

@inproceedings{CTT100496452,
  author = {菅原太郎 and 渡部卓雄},
  title = {継続オブジェクトを明示化した並行オブジェクト指向言語に対する部分計算},
  booktitle = {日本ソフトウェア科学会第12回オブジェクト指向計算ワークショップ (WOOC '96)},
  year = 1996,
}

@inproceedings{CTT100496453,
  author = {田中哲 and 渡部卓雄},
  title = {再利用可能な部品から構成された言語処理系},
  booktitle = {電子情報通信学会ソフトウェアサイエンス研究会},
  year = 1996,
}

@inproceedings{CTT100496455,
  author = {天野憲樹 and 渡部卓雄},
  title = {メタレベルアーキテクチャによる移動計算機環境のための言語},
  booktitle = {情報処理学会研究報告 (モーバイルコンピューティング研究グループ)},
  year = 1996,
}

@inproceedings{CTT100496456,
  author = {田中哲 and 渡部卓雄},
  title = {言語のメタレベルアーキテクチャにおけるモジュール化手法},
  booktitle = {日本ソフトウェア科学会 第13回大会論文集},
  year = 1996,
}

@inproceedings{CTT100496457,
  author = {菅原太郎 and 渡部卓雄},
  title = {並行オブジェクトに対する計算の非決定性を保存する部分計算手法},
  booktitle = {日本ソフトウェア科学会 第13回大会論文集},
  year = 1996,
}

@inproceedings{CTT100496458,
  author = {天野憲樹 and 渡部卓雄},
  title = {メタレベルアーキテクチャによる移動計算機環境のための言語},
  booktitle = {日本ソフトウエア科学会 第13回大会論文集},
  year = 1996,
}

@inproceedings{CTT100496460,
  author = {天野憲樹 and 渡部卓雄},
  title = {移動計算機環境をサポートする言語LEADによる非同期イベント処理},
  booktitle = {情報処理学会研究報告 (モーバイルコンピューティング研究グループ)，},
  year = 1996,
}

@inproceedings{CTT100496451,
  author = {TAKUO WATANABE},
  title = {Towards a Foundation of Computational Reflection based on Abstract Rewriting},
  booktitle = {IPSJ SIG Notes (Programming)},
  year = 1995,
}

@inproceedings{CTT100497758,
  author = {石川洋 and 二木厚吉 and 渡部卓雄},
  title = {書き換え論理に基づく並行自己反映計算のモデルについて},
  booktitle = {日本ソフトウェア科学会 第12回大会論文集},
  year = 1995,
}

@inproceedings{CTT100497757,
  author = {菅原太郎 and 渡部卓雄},
  title = {並行オブジェクト指向計算に対する部分計算},
  booktitle = {日本ソフトウェア科学会 第12回大会論文集},
  year = 1995,
}

@inproceedings{CTT100497756,
  author = {Hiroshi Ishikawa and Kokichi Futatsugi and Takuo Watanabe},
  title = {Concurrent Reflective Computations in Rewriting Logic},
  booktitle = {RIMS Kokyuroku (RIMS Workshop on Theory of Rewriting Systems and Its Applications)},
  year = 1995,
}

@inproceedings{CTT100497755,
  author = {山岡順一 and 渡部卓雄},
  title = {自己反映的な値呼びλ計算の操作的意味論},
  booktitle = {情報処理学会研究報告 (プログラミング -- 言語・基礎・実践 -- 研究会)},
  year = 1995,
}

@inproceedings{CTT100496450,
  author = {田中哲 and 渡部卓雄},
  title = {メタレベル記述の再利用を考慮した自己反映的プログラミング言語},
  booktitle = {情報処理学会 第51回全国大会},
  year = 1995,
}

@inproceedings{CTT100496449,
  author = {佐藤徹也 and 渡部卓雄},
  title = {汎用クラスライブラリの構成方式に関する研究},
  booktitle = {情報処理学会 第51回全国大会},
  year = 1995,
}

@inproceedings{CTT100496448,
  author = {天野憲樹 and 渡部卓雄},
  title = {移動計算機環境を支援するインターフェース記述言語},
  booktitle = {情報処理学会 第51回全国大会},
  year = 1995,
}

@inproceedings{CTT100497753,
  author = {石川洋 and 二木厚吉 and 渡部卓雄},
  title = {書き換え論理に基づく並行自己反映計算のモデル化},
  booktitle = {日本ソフトウェア科学会 第11回大会論文集},
  year = 1994,
}

@inproceedings{CTT100497748,
  author = {渡部卓雄},
  title = {書換えにもとづく自己反映計算の定式化},
  booktitle = {電子情報通信学会技術報告(ソフトウェアサイエンス研究会)},
  year = 1994,
}

@inproceedings{CTT100497749,
  author = {菅原太郎 and 渡部卓雄 and 二木厚吉},
  title = {並行項書き換え計算による並行オブジェクト指向言語の実現},
  booktitle = {電子情報通信学会技術報告(ソフトウェアサイエンス研究会)},
  year = 1994,
}

@inproceedings{CTT100497754,
  author = {保木本晃弘 and 中島達夫 and 渡部卓雄},
  title = {移動計算機環境に適した拡張可能なオペレーティングシステムの構成技術},
  booktitle = {日本ソフトウェア科学会 第11回大会論文集},
  year = 1994,
}

@inproceedings{CTT100497750,
  author = {渡部卓雄 and 瀬尾明志},
  title = {並行オブジェクト向けの分散GCの一方式},
  booktitle = {情報処理学会 第49回全国大会論文集(4)},
  year = 1994,
}

@inproceedings{CTT100497751,
  author = {中島達夫 and 渡部卓雄 and 保木本晃弘},
  title = {移動計算機環境に適した柔軟なソフトウェア構成法},
  booktitle = {情報処理学会 第49回全国大会論文集(4)},
  year = 1994,
}

@inproceedings{CTT100497752,
  author = {渡部卓雄},
  title = {抽象書換えにもとづく自己反映計算の定式化手法},
  booktitle = {日本ソフトウェア科学会 第11回大会論文集},
  year = 1994,
}

@inproceedings{CTT100497701,
  author = {渡部卓雄},
  title = {メタレベルアクターの並列合成にもとづく並行自己反映計算モデルについて},
  booktitle = {},
  year = 1992,
}

@inproceedings{CTT100497702,
  author = {Hidehiko Masuhara and SATOSHI MATSUOKA and Takuo Watanabe and Akinori Yonezawa},
  title = {Object-Oriented Concurrent Reflective Languages Can be Implemented Efficiently},
  booktitle = {ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '92)},
  year = 1992,
}

@inproceedings{CTT100497700,
  author = {SATOSHI MATSUOKA and Takuo Watanabe and Yuji Ichisugi and Akinori Yonezawa},
  title = {Object-Oriented Concurrent Reflective Architectures},
  booktitle = {Lecture Notes in Computer Science (Object-Oriented Concurrent Reflective Architectures)},
  year = 1992,
}

@inproceedings{CTT100497763,
  author = {Satoshi Matsuoka and Takuo Watanabe and Akinori Yonezawa},
  title = {Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming},
  booktitle = {Lecture Notes in Computer Science},
  year = 1991,
}

@inproceedings{CTT100497693,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {An Actor-Based Metalevel Architecture for Group-Wide Reflection},
  booktitle = {Foundations of Object-Oriented Languages (Lecture Notes in Computer Science)},
  year = 1991,
}

@inproceedings{CTT100497695,
  author = {渡部卓雄 and 松岡聡 and 米澤明憲},
  title = {並行オブジェクト指向計算における自己反映計算の一方式: Hybrid Group Reflective Architecture},
  booktitle = {情報処理学会 並列処理シンポジウム (JSPP '91)},
  year = 1991,
}

@inproceedings{CTT100497699,
  author = {渡部卓雄 and 米澤明憲},
  title = {アクターモデルにもとづいた並列自己反映計算モデル},
  booktitle = {情報処理学会研究報告},
  year = 1989,
}

@inproceedings{CTT100497692,
  author = {渡部卓雄 and 米澤明憲},
  title = {分散システムのための並列自己反映計算モデルにむけて：アクターモデルによるアプローチ},
  booktitle = {日本ソフトウェア科学会第6回大会論文集},
  year = 1989,
}

@inproceedings{CTT100497690,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Reflective Computation in Object-Oriented Concurrent Systems and Its Applications},
  booktitle = {Proceedings of 5th International Workshop on Software Specification and Design (IWSSD 1989)},
  year = 1989,
}

@inproceedings{CTT100497689,
  author = {Akinori Yonezawa and Takuo Watanabe},
  title = {An Introduction to Object-Based Reflective Concurrent Computation},
  booktitle = {SIGPLAN Notices},
  year = 1989,
}

@inproceedings{CTT100497688,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Reflection in an Object-Oriented Concurrent Language},
  booktitle = {Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1988)},
  year = 1988,
}

@inproceedings{CTT100497687,
  author = {渡部卓雄 and 米澤明憲},
  title = {Towards Reflection in an Object-Oriented Concurrent Language},
  booktitle = {日本ソフトウェア科学会第4回大会論文集},
  year = 1987,
}

@inproceedings{CTT100497685,
  author = {渡部卓雄 and 大澤一郎 and 米澤明憲},
  title = {対話領域の独立性を指向した日本語対話理解システム},
  booktitle = {日本ソフトウエア科学会第3回大会論文集},
  year = 1986,
}

@misc{CTT100497835,
  author = {Yuji Ichisugi and Akira Tanaka and Takuo Watanabe},
  title = {Extension Rules: Description Rules for Safely Composable Aspects},
  year = 2003,
}

@misc{CTT100804104,
  author = {渡部卓雄},
  title = {スクリプト比較言語学：スクリプト言語の今後},
  year = 2001,
}

@misc{CTT100497684,
  author = {中島達夫 and 渡部卓雄},
  title = {分散オブジェクト技術とモバイルエージェント},
  year = 1997,
}

@misc{CTT100496454,
  author = {天野憲樹 and 渡部卓雄},
  title = {移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ},
  year = 1996,
}

@misc{CTT100497744,
  author = {瀬尾明志 and 渡部卓雄},
  title = {並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式},
  year = 1994,
}

@misc{CTT100497745,
  author = {宮内興治 and 渡部卓雄},
  title = {メタレベルアーキテクチャを用いた動的負荷分散の実現},
  year = 1994,
}

@misc{CTT100602173,
  author = {TAKUO WATANABE},
  title = {Object-oriented models for reflection in concurrent systems},
  year = 1991,
}



@phdthesis{CTT100602173,
  author = {TAKUO WATANABE},
  title = {Object-oriented models for reflection in concurrent systems},
  school = {東京工業大学},
  year = 1991,
}