Annual Report 1995

References

 [1]

Cleta Milagros Acebedo and Erwin Paguio. MI²CI: Informal Domain Analysis. Technical Note RH X, UNU/IIST, P.O. Box 3058, Macau, 23 November 1995.

 [2]

Cleta Milagros Acebedo, Erwin Paguio, and Tomasz Janowski. MI²CI: Software Architecture. Technical Note RH X, UNU/IIST, P.O. Box 3058, Macau, 23 November 1995.

 [3]

Dao Nam Anh. Airline Business Computing '2000: Formal Domain Analysis. Technical note, UNU/IIST, P.O. Box 3058, Macau, 27 November 1995.

 [4]

Dao Nam Anh. Airline Business Computing '2000: Informal Domain Analysis. Technical note, UNU/IIST, P.O. Box 3058, Macau, 27 November 1995.

 [5]

Dao Nam Anh. Airline Business Computing '2000: Requirements Capture. Technical note, UNU/IIST, P.O. Box 3058, Macau, 27 November 1995.

 [6]

Dines Bjøner, Chris George, and Søren Prehn. Domain Analysis -- a Prerequisite for Requirements Capture. Technical Report 37, UNU/IIST, P.O.Box 3058, Macau, February 1995.

 [7]

Dines Bjørner. Annual Report: 1993. Administrative Report 18, UNU/IIST, P.O.Box 3058, Macau, 1. January 1994.

 [8]

Dines Bjørner. New Software Technology Development. Technical Report 46, UNU/IIST, P.O.Box 3058, Macau, November 1995. International Symposium: New IT for Governance and Publication Administration, Beijing, China; organized by UNDDSMS, June 1996.

 [9]

Dines Bjørner. Annual Report, 1994. Research Report 22, UNU/IIST, P.O.Box 3058, Macau, 1. January 1995. (Pre-version: 9 November 1994).

 [10]

Dines Bjørner. Infrastructure Software Systems. Technical Report 58, UNU/IIST, P.O.Box 3058, Macau, Dec 1995. Presentation solicited for the Academia Europae (AE/CWI/SMC) Symposium, Amsterdam 11-12 April, 1996.

 [11]

Dines Bjørner. Software Support for Infrastructure Systems. Technical Report 47, UNU/IIST, P.O.Box 3058, Macau, November 1995. Resource position statement for the First Malaysia Information Technology Days: 1-3 November 1995.

 [12]

Dines Bjørner. Software Systems Engineering -- From Domain Analysis to Requirements Capture [-- an Air Traffic Control Example]. Technical Report 48, UNU/IIST, P.O.Box 3058, Macau, November 1995. Keynote paper for the Asia Pacific Software Engineering Conference, APSEC'95, Brisbane, Australia, 6-9 December 1995.

 [13]

Dines Bjørner, Chris George, and Tomasz Janowski. A Bouquet of InfoDev Project Proposals. Administrative Document Collection, UNU/IIST, P.O.Box 3058, 29 September 1995. RH II.11.4.

 [14]

Dines Bjørner, Chris George, and Søren Prehn. Scheduling and Rescheduling of Trains. Research Report 52, UNU/IIST, P.O.Box 3058, Macau, December 1995.

 [15]

Dines Bjørner and Karl P.H.Leung. Semantics of Systems -- From Application Domain Analysis to Requirements Capture with some Notes on Software Architecture -- a Methodology Study. Technical note, UNUIIST, P.O.Box 3058, Macau, November 1995.

 [16]

Philip Chan and Dang Van Hung. Duration Calculus Specification of Scheduling for Tasks with Shared Resources. Research Report 44, UNU/IIST, P.O.Box 3058, Macau, June 1995. Published in: Kanchana Kanchanasut and Jean-Jacques Levy (Eds.), Algorithms, Concurrency and Knowledge, LNCS 1023, Springer-Verlag 1995, pp. 365-380.

 [17]

Zhou Chaochen. Duration Calculi: An Overview. Research Report 10, UNU/IIST, P.O.Box 3058, Macau, June 1993. Published in: Formal Methods in Programming and Their Applications, Conference Proceedings, June 28 - July 2, 1993, Novosibirsk, Russia; (Eds.: D. Bjørner, M. Broy and I. Pottosin) LNCS 736, Springer-Verlag, 1993, pp 36-59.

 [18]

Zhou Chaochen and Michael R. Hansen. Lecture Notes on Logical Foundations for the Duration Calculus. Lecture Notes, 13, UNU/IIST, P.O.Box 3058, Macau, August 1993. The final version of the report with the title Duration Calculus: Logical Foundations will appear in Formal Aspects of Computing, Presented at EU KIT Summer School on Formal Methods and Their Applications, Institute of Software, Chinese Academy of Sciences, Beijing, China, 17-20 September, 1997.

 [19]

Zhou Chaochen and Yu Huiqun. A duration Model for Railway scheduling. Technical Report 24b, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [20]

Zhou Chaochen, Dang Van Hung, and Li Xiaoshan. A Duration Calculus with Infinite Intervals. Research Report 40, UNU/IIST, P.O.Box 3058, Macau, February 1995. Published in: Fundamentals of Computation Theory, Horst Reichel (ed.), pp 16-41, LNCS 965, Springer-Verlag, 1995.

 [21]

Zhou Chaochen, Wang Ji, and Anders P. Ravn. A Formal Description of Hybrid Systems. Research Report 57, UNU/IIST, P.O.Box 3058, Macau, Dec 1995. Published in Hybrid Systems III, R. Alur, T. Henzinger, and E. Sontag (Editors), LNCS 1066, pp. 511-530, Springer-Verlag, 1996.

 [22]

Zhou Chaochen, Zhang Jingzhong, Yang Lu, and Li Xiaoshan. Linear Duration Invariants. Research Report 11, UNU/IIST, P.O.Box 3058, Macau, July 1993. Published in: Formal Techniques in Real-Time and Fault-Tolerant systems, LNCS 863, 1994.

 [23]

Zhou Chaochen, Anders P. Ravn, and Michael R. Hansen. An Extended Duration Calculus for Real-time Systems. Research Report 9, UNU/IIST, P.O.Box 3058, Macau, January 1993. Published in: Hybrid Systems, LNCS 736, 1993.

 [24]

Zhou Chaochen and Li Xiaoshan. A Mean Value Duration Calculus. Research Report 5, UNU/IIST, P.O.Box 3058, Macau, March 1993. Published as Chapter 25 in A Classical Mind, Festschrift for C.A.R. Hoare, Prentice-Hall International, 1994, pp 432-451.

 [25]

Yang Dong. Basic Specification of PRaCoSy. Technical note, UNU/IIST, P.O.Box 3058, Macau, December 1995.

 [26]

Roderick Durmiendo. Formal Development of a Digital Multiplexed Radio-Telephone System. Technical note, UNU/IIST, P.O.Box 3058, Macau, December 1995.

 [27]

Zhou Chaochen (ed.). Duration Calculus. Compendium, 3, UNU/IIST, P.O.Box 3058, Macau, March 1993.

• [(a)] Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. ProCoS Research Report, ID/DTH, Bldg. 344, DK-2800 Lyngby, Denmark, June 1991, Revised June, 1992. Published in: Information Processing Letters, 40, 5, pp. 269-276, 1991.

• [(b)] Liu Zhiming, A.P. Ravn, E.V. Sørensen, Zhou Chaochen: A Probabilistic Duration Calculus, presented in the 2nd Intl. Workshop on Responsive Computer Systems, Saitama, Japan, Oct. 1-2, 1992, published in H. Kopetz and Y. Kakuda (eds), Dependable Computing and Fault-Tolerant Systems Vol. 7 : Responsive Computer Systems, pp 30-52. Springer-Verlag, 1993.

• [(c)] M.R. Hansen and Zhou Chaochen. Semantics and Completeness of Duration Calculus,. ProCoS Research Report, ID/DTH, Bldg. 344, DK-2800 Lyngby, Denmark, 1992. Published in: J.W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg, (Eds) Real-Time: Theory in Practice, REX Workshop, LNCS 600, pp 209-225, 1992.

• [(d)] J.U. Skakkebæk and A.P. Ravn, H. Rischel, and Zhou Chaochen. Specification of Embedded Real-time Systems. ProCoS Research Report, ID/DTH, Bldg. 344, DK-2800 Lyngby, Denmark, June 1992. Published in: Proceedings 4th Euromicro Workshop on Real-Time Systems, IEEE Press, pp 116-121, June 1992.

• [(e)] Zhou Chaochen, M.R. Hansen, A.P. Ravn, and H. Rischel. Duration Specifications for Shared Processors. Research Report, ID/DTH, Bldg. 344, DK-2800 Lyngby, Denmark, October 1991. Published in: Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Niijmegen, January 1992, LNCS 571, pp 21-32, 1992.

• [(f)] M.R. Hansen, Zhou Chaochen, and J. Staunstrup. A Real-time Duration Semantics for Circuits. Research Report, ID/DTH, Bldg. 344, DK-2800 Lyngby, Denmark, March 1992. Published in: Proceedings of the Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton, March 1992.

• [(g)] Zhou Chaochen, A.P. Ravn, and M.R. Hansen. An Extended Duration Calculus for Hybrid Real-time Systems. ProCoS Research Report, ID/DTH, Bldg. 344, DK-2800 Lyngby, Denmark, October 1992. (Revised version available as UNU/IIST Report 9.) Published in Hybrid Systems, LNCS 736, Springer Verlag, 1993.

• [(h)] Liu Zhiming, A.P. Ravn, E.V. Sørensen, Zhou Chaochen. Towards a Calculus of Systems Dependability, Presented at Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 19-20 October 1992. Published in the Journal of High Integrity Systems, Vol.1, No.1,1994, pp 49-65.

• [(i)] Zhou Chaochen, M.R. Hansen, P. Sestoft: Decidability and Undecidability Results for Duration Calculus, Proc. of STACS'93, 10th Symposium on Theoretical Aspects of Computer Science, Würzburg, LNCS 665, pp 58-68, Feb. 1993.

Distributed only with publishers permission.

 [28]

Myatav Erdenechimeg and Richard Moore. Multi-Script: Domain Analysis and Requirements Capture. Technical note, UNU/IIST, P.O. Box 3058, Macau, December 1995.

 [29]

Yu Xinyiao et al. On Stability of Hybrid Systems. Technical Report 29, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [30]

Yu Xinyiao et al. Stability of Railway Systems. Technical Report 28, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [31]

Chris George. A Theory of Distributing Train Rescheduling. Research Report 51, UNU/IIST, P.O.Box 3058, Macau, December 1995. Published in: Marie-Claude Gaudel and James Woodcock (eds.), FME'96: Industrial Benefit and Advances in Formal Methods, LNCS 1051, Springer-Verlag, 1996, pp. 499-517.

 [32]

Chris George. Distributed Train Rescheduling. Research Report 42, UNU/IIST, P.O.Box 3058, Macau, April 1995.

 [33]

Chris W. George, Tomasz Janowski, and Richard Moore. Domain Analysis for a Budgetary System. Technical note, UNU/IIST, P.O.Box 3058, Macau, October 1995.

 [34]

Michael R. Hansen, Pandya Paritosh, and Zhou Chaochen. Finite Divergence. Research Report 15, UNU/IIST, P.O.Box 3058, Macau, 10 November 1993. Published in Theoretical Computer Science Vol.138, pp 113-139, 1995.

 [35]

Fu Hongguang, Yang Lu, and Zhou Chaochen. A Geometric Approach to Solving Inverse Kinematics. Research Report 43, UNU/IIST, P.O.Box 3058, Macau, March 1995.

 [36]

Yu Huiqun, Paritosh K. Pandya, and Sun Yongqiang. A Calculus of sampled data systems. Research Report 21, UNU/IIST, P.O.Box 3058, Macau, 1. April 1994. Published in: Formal Techniques in Real-Time and Fault-Tolerant systems, LNCS 863, 1994, pp. 716-737.

 [37]

Dang Van Hung and Zhou Chaochen. Probabilistic Duration calculus for Continuous Time. Research Report 25, UNU/IIST, P.O.Box 3058, Macau, May 1994. Presented at NSL'94 (Workshop on Non-standard Logics and Logical Aspects of Computer Science, Kanazawa, Japan, December 5-8, 1994).

 [38]

Dang Van Hung and Phan Hong Giang. A Sampling Semantics of Duration Calculus. Research Report 50, UNU/IIST, P.O.Box 3058, Macau, November 1995. Published in: Formal Techniques for Real-Time and Fault Tolerant Systems, Bengt Jonsson and Joachim Parrow (Eds), LNCS 1135, Spriger-Verlag, pp. 188-207, 1996.

 [39]

Dang Van Hung and Ko Kwang Il. Verification via Digitized Model of Real-Time Systems. Research Report 54, UNU/IIST, P.O.Box 3058, Macau, February 1996. Published in the proceedings of Asia-Pacific Software Engineering Conference 1996 (APSEC'96), IEEE Computer Society Press, 1996, pp 4-15.

 [40]

Dang Van Hung and Wang Ji. On The Design of Hybrid Control Systems Using Automata Model. Research Report 35, UNU/IIST, P.O.Box 3058, Macau, November 1994. Published in V. Chandru and V. Vinay (Eds.) Foundations of Software Technology and Theoretical Computer Science (FST&TCS16), LNCS 1180, Springer-Verlag, Dec 1996, pp. 156-167.

 [41]

Mia Indrika. Formal development of A Toll Way Control System. Technical Report 45, UNU/IIST, P.O.Box 3058, Macau, August 1995.

 [42]

Tomasz Janowski. MI²CI: Requirements Capture. Technical Note RH X, UNU/IIST, P.O. Box 3058, Macau, 24 November 1995.

 [43]

Tomasz Janowski. On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance. Research Report 55, UNU/IIST, P.O.Box 3058, Macau, Dec 1995. Published in the Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology, Sydney, 1997, LNCS.

 [44]

Tomasz Janowski and Dines Bjørner. Virtual Library - On Refinement Towards an ODP Architecture. Research note, UNU/IIST, P.O.Box 3058, Macau, December 1995.

 [45]

Wang Ji and He Weidong. Formal Specification of Stability in Hybrid Control Systems. Research Report 56, UNU/IIST, P.O.Box 3058, Macau, Dec 1995.

 [46]

Wang Ji, Yu Xinyao, and Zhou Chaochen. Hybrid Refinement. Research Report 20, UNU/IIST, P.O.Box 3058, Macau, 1. April 1994.

 [47]

Wang Juan, Li Xiaoshan, and Zhou Chaochen. A Duration Calculus Approach to Specifying the Steam-boiler Problem. Technical Report 38, UNU/IIST, P.O.Box 3058, Macau, February 1995.

 [48]

Wang Juan, Li Xiaoshan, and Zhou Chaochen. Specifying Optimal Design of the Steam-boiler System. Technical Report 39, UNU/IIST, P.O.Box 3058, Macau, February 1995.

 [49]

Hong Mei. A Generic Concurrent Distributed Architecture. Technical note, UNU/IIST, P.O.Box 3058, Macau, June 1995.

 [50]

Xu Qiwen and He Weidong. Hierarchical Design of a Chemical Concentration Control System. Research Report 41, UNU/IIST, P.O.Box 3058, Macau, April 1995.

 [51]

Md Rais, Dines Bjørner, and Ngo Quoc Tao. Decision Support Systems for Sustainable Development: Numerous documents. Technical & Administrative Notes RH XIV, UNU/IIST, P.O. Box 3058, Macau, 1995.

 [52]

Achim Schneider, Alex Lai Iat Long, and Dines Bjørner. MaGICS: A Macau General Information and Command System. Technical note, UNU/IIST, P.O.Box 3058, 10 January 1995.

 [53]

Liu Lian Suo. PRaCoSy: Data Structures for Phase II. Technical note, UNU/IIST, P.O.Box 3058, Macau, December 1995.

 [54]

Ngo Quoc Tao. Map Generalization. Technical Note RH XIV.13, UNU/IIST, P.O. Box 3058, Macau, 1995.

 [55]

He Weidong. Design of Stability in Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995.

 [56]

He Weidong. Optimal Control in Controllable Phase Transition Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995.

 [57]

He Weidong. Optimization in Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995.

 [58]

He Weidong and Zhou Chaochen. A Case Study of Optimization. Research Report 34, UNU/IIST, P.O.Box 3058, Macau, December 1994. Published in The Computer Journal, Vol. 38, No. 9, pp. 734-746, 1995.

 [59]

He Weidong and Zhang Minglian. Qualitative Simulation by Reasoning. Research note, UNU/IIST, P.O.Box 3058, 1995.

 [60]

He Weidong and Xu Qiwen. Hierarchical decision Maker in Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995.

 [61]

Xu Qi Wen. On Compositionality in Refining Concurrent Systems. Research Report 49, UNU/IIST, P.O.Box 3058, Jan 1996.

 [62]

Belawati H. Widjaja, He Weidong, Chen Zongji, and Zhou Chaochen. A Cooperative Design for Hybrid Systems. Research Report 36, UNU/IIST, P.O.Box 3058, Macau, December 1994. Published in: Logic and Software Engineering International Workshop in Honor of Chih-Sung Tang, pp 127-150, Edited by A. Pnueli and H. Lin World Scientific, 1996.

 [63]

Yu Xinyao, Wang Ji, Zhou Chaochen, and Paritosh K. Pandya. Specification of an Adaptive Control System. Research Report 19, UNU/IIST, P.O.Box 3058, Macau, 1. April 1994. Published in: Formal Techniques in Real-Time and Fault-Tolerant systems, LNCS 863, 1994, pp. 738-755.

 [64]

Yang Zhen Yu. Application of Stochastic Differential Models and Optimization in Analysis of Stock Investments. Research note (extended abstract), UNU/IIST, P.O.Box 3058, 1995.

 [65]

Yang Zhen Yu. Hierarchical Control of an Industrial Process -- A Case Study of Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995.

 [66]

Yang Zhen Yu, Lu Jian, and Chen ZongJi. A State-Space-based Approach to Acquisition of I/O-Automata -- A Case Study for the Design of Hybrid Control Systems. Research note, UNU/IIST, P.O.Box 3058, 1995.

 [67]

Zheng Yuhua and Zhou Chaochen. A Formal Proof of a Deadline Driven Scheduler. Research Report 16, UNU/IIST, P.O.Box 3058, Macau, 1. April 1994. Published in: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994, pp. 756-775.

 [68]

Chen Zongji, Wang Ji, and Zhou Chaochen. A Design Approach of Hybrid Control Systems. Research Report 27, UNU/IIST, P.O.Box 3058, Macau, June 1994.

 [69]

Chen Zongji, Wang Ji, and Zhou Chaochen. An Abstraction of Hybrid Control Systems. Research Report 26, UNU/IIST, P.O.Box 3058, Macau, June 1994.

Annual Report 1995