Tonny Kurniadi Satyananda

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Komi S. Abotsi, Tonny Kurniadi Satyananda, Hamad I. Alsawalqah, Danhyung Lee
A software product line-based self-healing strategy for web-based applications. SPLC Workshops (2011)
Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang
Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line. ICSEA (2007)
Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang, Sajid Ibrahim Hashmi
Identifying Traceability between Feature Model and Software Architecture in Software Product Line using Formal Concept Analysis. ICCSA Workshops (2007)
Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang
A Formal Approach to Verify Mapping Relation in a Software Product Line. CIT (2007)