Publications

• Basit, H. A., Jarzabek, S. "Data Mining Approach for Detecting Higher-level Clones in Software ", IEEE Trans. on Soft. Eng., July/August 2009 (vol. 35 no. 4) pp. 497-514; Published online January 2009
• Rajapakse, D. and Jarzabek, S. "Towards generic representation of web applications: solutions and trade-offs ", Software, Practice & Experience, Volume 39 Issue 5, April 2009, pp. 501 – 530, Published Online: 27 Nov 2008
• Rajapakse, D.C. and Jarzabek, S. Using Similarity Patterns in Developing Web Applications: An Approach to Enhance Reuse and Maintainability, VDM Verlag, 2010 (156 pages)
• Jarzabek, S. Effective Software Maintenance and Evolution: Reused-based Approach, Auerbach, CRC Press Taylor and Francis, May 2007
• Ye, P., Peng, X, Xue, Y. and Jarzabek, S. "A Case Study of Variation Mechanism in an Industrial Product Line," 11th Int. Conf. on Software Reuse, ICSR09, Falls Church, VA, USA, Sept. 27-30, 2009, Springer, pp. 126-136
• Yali Zhang, Hamid Abdul Basit, Stan Jarzabek, Dang Anh, and Melvin Low "Query-based Filtering and Graphical View Generation for Clone Analysis", Proc. 24th IEEE Int. Conf. on Software Maintenance, ICSM’08, Beijing, September 2008, pp. 376-385
• Jarzabek, S., Zhang, H., Lee, Y., Xue, Y., Shaikh, N. "Increasing Usability of Preprocessing for Feature Management in Product Lines with Query-based Visualization," Int. Conf. Software Engineering, ICSE’09, Vancouver, Canada, May 2009, pp. 111-114
• C. Q. Chen, J. S. Dong, J, Sun and A. Martin, A Verification Framework for Interval-based Specifications. ACM Transactions on Software Engineering and Methodology, vol 19, no. 4, 2010.
• J. S. Dong, P. Hao, S. Qin, J. Sun and W. Yi. Timed Automata Patterns. IEEE Transactions on Software Engineering, vol. 34, no. 6, pp 844-859, Nov./Dec. 2008.
• J. Sun, Y. Liu, A. Roychoudhury, S. Liu and J. S. Dong. Fair Model Checking with Process Counter Abstraction. 16th International Symposium on Formal Methods (FM 2009). Eindhoven, the Netherlands, November, 2009.
• J. Sun, Y. Liu, J. S. Dong and J. Pang. PAT: Towards Flexible Verification under Fairness. 21th International Conference on Computer Aided Verification (CAV 2009), Grenoble, France, June 2009.
• C. Q. Chen, J. S. Dong and J. Sun. A Verification System for Timed Interval Calculus, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008
• N. N. Tun and J. S. Dong. Ontology Generation through a Fusion of Partial Reuse and Relation Extraction, 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp 318-328, 2008.