Nighat Yasmin

According to our database, Nighat Yasmin authored at least 4 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

2009

Compositional performance prediction exemplified using generic object finalization analysis.

Nighat Yasmin, Murali Sitaraman

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Formal Specification.

Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2006

Incremental computation of shortest paths in semi-dynamic graphs using software components.

Nighat Yasmin

Proceedings of the 44st Annual Southeast Regional Conference, 2006