Publications

Filters: Author is Charles Morisset  [Clear All Filters]
Conference/Workshop Paper
Z. Liu, C. Morisset, and V. Stolz, "rCOS: Theory and tool for component-based model driven development", 3rd International Conference on Foundations of Software Engineering (FSEN09): Springer, 2009. Abstract  Download: report406.pdf (231.66 KB)
Journal Article
B. Lei, X. Li, Z. Liu, C. Morisset, and V. Stolz, "Robustness testing for software components", Science of Computer Programming, vol. 75, issue 10, 10/2010. Abstract  Download: facs08.pdf (233.62 KB)
B. Lei, X. Li, Z. Liu, C. Morisset, and V. Stolz, "Robustness testing for software components", Sci. Comput. Program., vol. 75, no. 10, pp. 879-897, 2010.
B. Lei, Z. Liu, C. Morisset, and X. Li, "State based robustness testing for components", Electronic Notes in Theoretical Computer Science (Proceedings of the 5th International Workshop on Formal Aspects of Component Software (FACS 2008)), vol. 260, 01/2010. Abstract  Download: state Based08.pdf (233.62 KB)
Technical Report
A. Griesmayer, Z. Liu, C. Morisset, and S. Wang, A Framework for Automated and Certified Refinement Steps, : UNU-IIST, 07/2011. Abstract  Download: report453.pdf (313.38 KB)
Z. Liu, C. Morisset, and S. Wang, Isabelle Proof Obligations for Graph-based Refinement of rCOS Programs, : UNU-IIST, 05/2010. Abstract  Download: report430.pdf (227.52 KB)
Z. Liu, C. Morisset, and V. Stolz, rCOS: Theory and Tool for Component-Based Model Driven Development, , 02/2009. Abstract  Download: report406.pdf (231.66 KB)
X. Li, B. Lei, Z. Liu, and C. Morisset, Robustness Testing for Software Components, , 09/2009. Abstract  Download: report423.pdf (558.54 KB)