国際会議
[1] Naoyasu Ubayashi and Tetsuo Tamai, "Aspect-Oriented Programming with Model Checking," In 1st International Conference on Aspect-Oriented Software Development (AOSD 2002), pages 148-154, 2002.
研究会・全国大会等
[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.