Incremental computation of shortest paths in semi-dynamic graphs using software components. - Nighat Yasmin (ACM Southeast Regional Conference, 2006)

Formal Specification. - Gregory Kulczycki; Murali Sitaraman; Kimberly Roche; Nighat Yasmin (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Compositional performance prediction exemplified using generic object finalization analysis. - Nighat Yasmin; Murali Sitaraman (ACM Southeast Regional Conference, 2009)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)