論文誌
[1] Naoyasu Ubayashi, Shin Nakajima, , and Masayuki Hirayama, "Context-Dependent Product Line Engineering with Lightweight Formal Approaches (Splc 2010 Revised Selected Paper)," Science of Computer Programming, volume 78, number 12, pages 2331-2346, 2013.
[2] Naoyasu Ubayashi, Shin Nakajima, and Masayuki Hirayama, "Context-Dependent Product Line Engineering with Lightweight Formal Approaches(Splc 2010 Revised Selected Paper)," Science of Computer Programming, 2012.
国際会議
[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年.
研究会・全国大会等
[1] 中島 震, 鵜林 尚靖, "Lightweight Formal Analysis of Foda Feature Diagrams," 4th International Workshop on Rapid Integration of Software Engineering techniques (RISE 2007), pages 3-18, 2007年.