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

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

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

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

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

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

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

@inproceedings{CTT100700998,
  author = {安原由貴 and 森口草介 and 渡部卓雄},
  title = {実時間システム向け文脈指向言語ProcneJ},
  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,
}