Partners	Top
References

References

 [1]

Dang Van Hung. A Formal Model for Component Interfaces for Real-time Systems. Technical Report 296, UNU-IIST, P.O.Box 3058, Macau, March 2004. Presented at and published in the proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, Lisbon, Portugal, Tiziana Margaria and Mieke Massink (eds.), ACM Sigsoft, pp. 106-114.

 [2]

Kim Pyong Sam and Dang Van Hung. A UTP Approach Semantics for Component-Based Real-Time Systems. Technical Report 303, UNU-IIST, P.O.Box 3058, Macau, June 2004.

 [3]

Dang Van Hung and Bui Vu Anh. Model Checking Component Based Systems with Blackbox Testing. Technical Report 317, UNU-IIST, P.O.Box 3058, Macau, October 2004. Presented and published in the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, IEEE Computer Society, pp. 76-79.

 [4]

Pham Hong Thai and Dang Van Hung. Verifying Linear Duration Constraints of Timed Automata. Technical Report 306, UNU-IIST, P.O.Box 3058, Macau, June 2004. Presented at and published in the proceedings of ICTAC'04, Gui Yang, September, 2004.

 [5]

Kim Yong Chun and Dang Van Hung. Verifying Real-Time Systems Using Untimed Model Checking Tools. Technical Report 302, UNU-IIST, P.O.Box 3058, Macau, June 2004.

 [6]

Dang Van Hung and Zhang Miaomiao. On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. Technical Report 326, UNU-IIST, P.O.Box 3058, Macau, June 2005.

 [7]

Quan Long, He Jifeng, and Zhiming Liu. Refactoring and Pattern-directed Refactoring: A Formal Perspective. Technical Report 318, UNU-IIST, P.O.Box 3058, Macau, January 2005.

 [8]

Quan Long, Zhiming Liu, Xiaoshan Li, and He Jifeng. Consistent Code Generation from UML Models. Technical Report 319, UNU-IIST, P.O.Box 3058, Macau, April 2005.

 [9]

Weimin Ge and Yuefeng Chao. Implementation of E-learning System for UNU-IIST. Technical Report 320, UNU-IIST, P.O.Box 3058, Macau, April 2005.

 [10]

Percy Antonio Pari Salas and Bernhard K. Aichernig. Automatic Test Case Generation for OCL: a Mutation Approach. Technical Report 321, UNU-IIST, P.O.Box 3058, Macau, May 2005.

 [11]

He Jifeng, Xiaoshan Li, and Zhiming Liu. A Refinement Calculus for Object Systems. Technical Report 322, UNU-IIST, P.O.Box 3058, Macau, May 2005.

 [12]

Zhiming Liu and Mathai Joseph. Real-Time and Fault-Tolerant Systems - Specification, Verification, Refinement and Scheduling. Technical Report 323, UNU-IIST, P.O.Box 3058, Macau, May 2005.

 [13]

Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, and He Jifeng. POST: A Case Study for rCOS Incremental Development. Technical Report 324, UNU-IIST, P.O.Box 3058, Macau, May 2005.

 [14]

Zhiming Liu. Lecture Notes on Programming Concurrent Computer Systems. Technical Report 325, UNU-IIST, P.O.Box 3058, Macau, May 2005.

 [15]

He Jifeng, Zhiming Liu, and Xiaoshan Li. A Theories of Contracts. Technical Report 327, UNU-IIST, P.O.Box 3058, Macau, July 2005.

 [16]

He Jifeng and C.A.R. Hoare. Linking Theories of Concurrency. Technical Report 328, UNU-IIST, P.O.Box 3058, Macau, July 2005.

 [17]

Yining Wei, Xiaoshan Li, Zhiming Liu, and He Jifeng. Automatic Transformation from Requirements models to Executable Prototypes. Technical Report 329, UNU-IIST, P.O.Box 3058, Macau, October 2005.

 [18]

He Jifeng, Xiaoshan Li, and Zhiming Liu. Component-Based Software Engineering. Technical Report 330, UNU-IIST, P.O.Box 3058, Macau, October 2005.

 [19]

Juan Ignacio Perna and Chris George. Model checking RAISE specifications . Technical Report 331, UNU-IIST, P.O.Box 3058, Macau, December 2005.

 [20]

Miaomiao Zhang and Dang Van Hung. Formal Analysis of Streaming Downloading Protocol for System Upgrading. Technical Report 332, UNU-IIST, P.O.Box 3058, Macau, December 2005.

 [21]

Luís Barbosa and Zhiming Liu, editors. Preliminary Proceedings of the Second International Workshop on Formal Aspects of Component Software FACS'05, Macao, October 24-25, 2005, number 333 in UNU-IIST Reports, P.O.Box 3058, Macau, October 2005.

References
Partners	Top