@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,
}

@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,
}