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

@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{CTT100701079,
  author = {Kensuke Sawada and Takuo Watanabe},
  title = {Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2016,
}

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

@inproceedings{CTT100736926,
  author = {安武祥平 and 渡部卓雄},
  title = {Actario: 定理証明支援系Coqによるアクターシステムの検証},
  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,
}