国際会議
[1] 鵜林 尚靖, 佐藤 友紀, 境 顕宏, 玉井 哲雄, "Alloy-Based Lightweight Verification for Aspect-Oriented Architecture," 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008), pages 171-178, 2008年.
[2] 鵜林 尚靖, 境 顕宏, 玉井 哲雄, "An Aspect-Oriented Weaving Mechanism Based on Component and Connector Architecture," 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), pages 154-163, 2007年.
研究会・全国大会等
[1] 境 顕宏, 鵜林 尚靖, 中島 震, "RBACモデルの形式検証と修正支援," 情報処理学会 研究報告 2008-SE-159, 2008年.
[2] 鵜林 尚靖, 境 顕宏, 玉井 哲雄, "An Interface Mechanism for Encapsulating Weaving in Class-Based Aop," Software Engineering Properties of Language and Aspect Technologies (SPLAT 2007) (Workshop at AOSD 2007), 2007年.