A Formal Approach to Verify Mapping Relation in a Software Product Line. - Tonny Kurniadi Satyananda; Danhyung Lee; Sungwon Kang (CIT, 2007)

Identifying Traceability between Feature Model and Software Architecture in Software Product Line using Formal Concept Analysis. - Tonny Kurniadi Satyananda; Danhyung Lee; Sungwon Kang; Sajid Ibrahim Hashmi (ICCSA Workshops, 2007)

Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line. - Tonny Kurniadi Satyananda; Danhyung Lee; Sungwon Kang (ICSEA, 2007)

A software product line-based self-healing strategy for web-based applications. - Komi S. Abotsi; Tonny Kurniadi Satyananda; Hamad I. Alsawalqah; Danhyung Lee (SPLC Workshops, 2011)