5 Macau-Oriented ActivitiesAnnual Report 19993 Post-graduate Training/Teaching ActivitiesAnnual Report 1999ContentsReturn to UNU/IIST's home page

4 Publications and Academic Events

4.1 Publications

4.1.1 UNU/IIST Reports

In 1999, there were 32 technical reports produced in UNU/IIST by its fellows, staff and visitors. These reports are available in UNU/IIST's library and accessible via UNU/IIST's web page ([9][55][24][25][40][13][58][27][5][2][49][17][31][38][6][41][10][48][50][23][47][43][52][56][51][8][54][29][60][36][37][57]).

4.1.2 External Publications

In 1999, a total of 25 papers written by UNU/IIST fellows and staff were published. Among them 9 papers, [30][4][34][7][35][46][12][11][59] were published in international journals, national journals or as the chapter of a book. Others were published in international conference proceedings ([47][41][45][42][44][55][31][26][38][6][9][10][48][56][16][15]).

4.2 Conference Presentations by Staff and Fellows

The presentations given by UNU/IIST staff and fellows in 1999 are listed as follows:

  1. Zhou Chaochen, (Invited Speaker), Introduction to UNU/IIST, opening address for the Education Day of AMAST'98 (7th International Conference on Algebraic Methodology and Software Technology), Manaus, Amazonia, Brazil, 4 January 1999.

  2. Zhou Chaochen, (Invited Speaker), Duration Calculus, a Logical Approach to Real-time Systems, AMAST'98, Manaus, Amazonia, Brazil, 5 January 1999. The extended abstract was published in Algebraic Methodology and Software Technology, LNCS 1548 pp.1-7, Springer-Verlag, 1999

  3. Xu Qiwen, Formalising Semantics of the Hardware Description Language Verilog, Verification of Digital and Hybrid Systems, 7-11 January 1999, TIFR, Mumbai, India.

  4. Chris George, A RAISE Tutorial, BRNS workshop Verification of Digital and Hybrid Systems at TIFR, Mumbai, India, 7-11 January 1999 ([24]).

  5. Rana Barua, Suman Roy and Zhou Chaochen, Completeness of Neighbourhood Logic, Symposium of Theoretical Aspects of Computer Science 1999, Trier, Germany, 4-6 March 1999 (based on [3]).

  6. He Jifeng, (Invited Speaker), A Common Framework for Mixed Hardware/Software Systems, 1st International Conference on Integreted Formal Methods (IFM), York, U.K., 28-29 June 1999, ([42]).

  7. Wojciech Mostowski, Fail-Stop Software Components by Pattern Matching, Workshop on Run-Time Result Verification, part of the Federated Logic Conference, Trento, Italy, 1-11 July 1999, ([38]).

  8. He Jifeng, Construct the enriched semantics by calculation, IFIP 2.3 Working Group Workshop, Udine, Italy, July 1999.

  9. He Jifeng, Weakest Completion, IFIP 2.3 Working Group Workshop, Udine, Italy, July 1999, ([44]).

  10. He Jifeng, A Trace Model for Pointers and Objects, Lecture Notes of Marktoberdorf International Summer School, ECOOP'99, Germany, August 1999, ([45]).

  11. Catalin Dima, Automata and regular expressions for real-time languages, AFL'99 (7th Int. Conference on Automata and Formal Languages, former Salgotarjan conference, Vasszecseny, Hungary, 9-13 August 1999, ([16]).

  12. Catalin Dima, Kleene theorems for event-clock automata, FCT'99 (12th Intl. Symp. on Fundamentals of Computation Theory), Iasi, Romania, 30 August - 3 September 1999 ([15]).

  13. Zhou Chaochen, (Invited Speaker), A Higher-order Duration Calculus, Symposium in Celebration of the Work of C.A.R. Hoare, Oxford, 13-15 September 1999, ([10]).

  14. He Jifeng, (Invited Speaker), Advanced Features of DC and Their Applications, Software Technology Symposium in Honour of Prof Hoare's Retirement, Oxford, U.K., 13-15 September 1999, ([47]).

  15. He Jifeng, A behavioural Model for Co-design, World Congress on Formal Methods (FM'99), Toulouse, France, 20-24 September 1999, ([41]).

  16. Xu Qiwen, Tools on Duration Calculus, ProCoS User Meetings and Workshops, World Congress on Formal Methods (FM'99), Toulouse, France, 20-24 September 1999.

  17. Xia Yong, An Operational Semantics for Timed RAISE, World Congress on Formal Methods (FM'99), Toulouse, France, 20-24 September 1999 ([26]).

  18. Dang Van Hung, Completeness and Decidability of a Fragment of Duration Calculus with Iteration, invited talk, International Conference on Mathematical Foundation of Informatics, Hanoi, 25-28 October 1999 ([31]).

  19. Aristides Dasso, A Technique to Induce Formal Specifications at The Early Stages of System Development, the IASTED conference on Software Engineering and Applications, Scottsdale, Arizona, USA, October 6-9, 1999 ([14]).

  20. Huang Biqing, Infrastructures for Industrial Virtual Enterprises, IFIP Working Conference, Porto, Portugal, 27-28 October 1999 ([6]).

  21. He Jifeng, (Invited Speaker), Simulation approach to language extension, Workshop on Refinement and Abstraction, Osaka, Japan, November 1999.

  22. Zhou Chaochen, Introduction to Duration Calculus (A Tutorial), First Southern African Summer School and Workshop on Logic, Universal Algebra, and Theoretical Computer Science, Rand Afrikaans University, Johannesburg, South Africa, 1-10 December, 1999.

  23. Zhou Chaochen, (Invited Speaker), Overview of Duration Calculus, 6th Asia-Pacific Software Engineering Conference (APSEC'99), Takamatsu, Japan, 7-10 December 1999.

  24. Alejandra Cechich, A Formal Specification of GoF Design Patterns, 6th Asia-Pacific Software Engineering Conference (APSEC'99), Takamatsu, Japan, 7-10 December 1999, ([9]).

  25. Dang Van Hung, Completeness and Decidability of a Fragment of Duration Calculus with Iteration, Asian Computing Science Conference (ASIAN'99), Phuket, Thailand, 10-12 December 1999, ([31]).

  26. Xu Qiwen, A Formal Proof of the Rate Monotonic Scheduler, the Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong Kong, 13-15 December 1999, ([56]).

  27. Li Li, A Denotational Semantics of Timed RSL using Duration Calculus, the Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong Kong, 13-15 December 1999, ([48]).

4.3 Participation on Conference Programme Committees

UNU/IIST staff participated on 9 programme (or steering) committees of scientific conferences in 1999.

4.4 Event Sponsorship

  1. On 18-22 October 1999, UNU/IIST organised a Summer School in Beijing jointly with the Chinese Natural Sciences Foundation on Formal Methods and their Industrial Applications. The purpose of the school was to advocate advanced software technology and tools, and promote industrial applications of FM in China. The lectures covered the following topics:
    (1) State-based specification technique used in design of Westminster Bank electronic banking systems.
    (2) FDR and its industrial applications.
    (3) Theorem Prover PVS and case studies.
    (4) Model checking algorithms used in verification of real-time systems.
    (5) Mobile communication processes and workbenches.
    (6) Case study using RAISE method.

    The invited speakers included:
    Bettina Buth (Bremen University, Germany)
    Yuxi Fu (Shanghai Jiaotong University, China)
    Chris George (UNU/IIST)
    Li Xuandong (Nanjing University, China)
    Huimin Lin (Academia Sinica, China)
    John Rushby (Stanford Research International, U.S.A)
    Jim Woodcock (Oxford University Computing Laboratory, U.K)
    Sheng Xu (BIIC, China)

    40 participants attended this course.

  2. Andrei Ershov Third International Conference, Novosibirsk, Russia, 6-9 July 1999

  3. A Duration Calculus session in FM'99, Toulouse, France, 20-24 September, 1999.

  4. International Symposium on Future Software Technology, Nanjing, China, 27-29 October 1999.

  5. Asian Computing Science Conference, Phuket, Thailand, 10-12 December, 1999

4.5 UNU/IIST Alumni Association

A Web page has been created for the Alumni Association (AA) that points to programs written and donated by AA members as well as other useful resources (e.g. Formal Methods home page). The page is located at: 
http://www.iist.unu.edu/~alumni
info@iist.unu.edu, 15 March 1999

5 Macau-Oriented ActivitiesAnnual Report 19993 Post-graduate Training/Teaching ActivitiesAnnual Report 1999ContentsReturn to UNU/IIST's home page