国際会議
[1] Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, and Yasutaka Kamei, "Iarch: an Ide for Supporting Abstraction-Aware Design Traceability," In 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), pages 442-447, 2014.
[2] Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, and Yasutaka Kamei, "Abstraction-Aware Verifying Compiler for Yet Another Mdd," In 29th International Conference on Automated Software Engineering (ASE 2014), pages 557-562, 2014.