国際会議
[1] Naoyasu Ubayashi and Yasutaka Kamei, "Uml-Based Design and Verification Method for Developing Dependable Context-Aware Systems," In 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), pages 89-94, 2013.
[2] 鵜林 尚靖, 佐藤 友紀, 境 顕宏, 玉井 哲雄, "Alloy-Based Lightweight Verification for Aspect-Oriented Architecture," 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008), pages 171-178, 2008年.
[3] 鵜林 尚靖, Jinji Piao, 篠塚 卓, 玉井 哲雄, "Contract-Based Verification for Aspect-Oriented Refactoring," 1st IEEE International Conference on Software Testing, Verification, and Validation (ICST 2008), pages 180-189, 2008年.
研究会・全国大会等
[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.
[2] 鵜林 尚靖, 前野 雄作, 大坪 弦也, 野田 和秀, "A Verification Mechanism for Weaving in Extensible Aom Languages," 2nd International Workshop on Aspects, Dependencies and Interactions (ADI 07) (Workshop at ECOOP 2007), pages 36-41, 2007年.