国際会議
[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] 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.