Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
Publications of Jung Soo Kim (past ABLE member)   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> TOP
1
 Jung Soo Kim and David Garlan. Analyzing Architectural Styles. In Journal of Software and Systems, Vol. 83(7):1216-1235, 2010.
<< InProceedings >> TOP
2
 Jung Soo Kim and David Garlan. Analyzing Architectural Styles with Alloy. In Workshop on the Role of Software Architecture for Testing and Analysis 2006 (ROSATEA 2006), Portland, ME, USA, 17 July 2006.
3
 David Garlan, Serge Khersonsky and Jung Soo Kim. Model Checking Publish-Subscribe Systems. In Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, OR, May 2003.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32 		        BibAdmin