- 国際会議
- [1] Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, and Akihito Iwai, "Translation Pattern of Bpel Process into Promela Code.," In The Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011), pages 285-290, 2011.
- 研究会・全国大会等
- [1] 黄 長贇, 中城 亮祐, 山下 一寛, 亀井 靖高, 久住 憲嗣, 鵜林 尚靖, "Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援," 電子情報通信学会 信学技報 SS2012, number 23, pages 79-84, 2012年.
- [2] Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, and Akihito Iwai, "Verification of Bpel Workflows Design Using Model Checking," In Joint Workshop on Software Science and Engineering, pages 7-10, 2011.