Annual Report 2001

4 Publications and Dissemination

4.1 Publications

4.1.1 UNU/IIST Publications

In 2001, UNU/IIST staff and fellows have produced 21 technical reports, which are available for downloading via the UNU/IIST web page and are also available in the UNU/IIST library. These reports are [20][21][1][2][3][4][16][15][19][5][6][7][18][8][17][9][10][11][12][13][14]

4.1.2 External Publications

In 2001, a total of 20 papers have been published in conference proceedings, and 2 papers have been published in or accepted by journals.

The journal papers are:

1. Tomasz Janowski and Mathai Joseph: Dynamic Scheduling and Fault-tolerance: Specification and Verification, Real-Time Systems, 20(1):51 - 81, January 2001. Kluwer.

2. He Jifeng and Xu Qiwen: Advanced Features of DC and Their Applications, accepted by Formal Aspect of Computing [22]

1. Li Yongjian and He Jifeng: Formalising Verilog, International Conference on Applied Informatics (AI 2001), Innsbruck, Austria [23]

2. Juliano Iyoda and He Jifeng: Towards an Algebraic Synthesis of Verilog, 2001 International Conference on Engineering of Reconfigurable systems and algorithms (ERSA'2001), Las Vegas, USA [20]

3. Liu Zhiming, He Jifeng and Li Xiaoshan: Towards a Formal Use of UML for Software Requirement Analysis, The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas, USA [1]

4. Li Xiaoshan, Liu Zhiming and He Jifeng: Formal and Use-Case Driven Requirement Analysis in UML, Proceedings of COMPSAC'2001, , Chicago, USA [3]

5. Zhu Huibiao, J. Bowen and He Jifeng: From Operational to Denotational Semantics for Verilog, LNCS 2144

6. Qin Shengchao, He Jifeng and Qiu Zhongyan: Constructing Hardware/Software Interface Using Protocol Converters, Asia-Pacific Conference on Quality Software (APAQS 2001), Hong Kong

7. Qin Shengchao and He Jifeng: Partitioning Programs into Hardware and Software, APSEC2001

8. Van Dung Tran and He Jifeng: A Theory of Combinational Programs, APSEC2001 [24]

9. Siba K. Udgata and Dang Van Hung: A Distributed Dynamic Allocation Scheme for Mobile Cellular Network as a Special Mutual Exclusion Concept, International Conference on Information Technology (CIT-2001), Gopalpur-on-the-Sea, Dec. 20-22, 2001 [9]

10. Fransois Siewe and Dang Van Hung: Deriving Real-Time Programs from Duration Calculus Specifications, 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001), Livingston-Edinburgh, Scotland, 4-7 September 2001, LNSC 2144, Springer-Verlag, 2001, pp. 92-97. [25]

11. Hong Ki Thae and Dang Van Hung: Formal Design of Hybrid Control Systems: Duration Calculus Approach, the Annual International Computer Software and Applications Conference (COMPSAC 2001), October 8-12, 2001, Chicago, USA, IEEE Computer Society Press, 2001, pp. 423-428. [26]

12. Do Van Nhon and Dang Van Hung: A Systematic Design of Real-time Systems Using Duration Calculus, the 5th World Multi conference on Systemics, Cybernetics and Informatics (SCI 2001), July 22-25, 2001, Orlando, USA [27]

13. Virginia Mauco, Chris George, and Daniel Riesco: Deriving the Types of a Formal Specification from a Client-Oriented Technique, 2nd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, Japan, July 2001 [28]

14. Virginia Mauco, Chris George, and Daniel Riesco: Heuristics to Structure a Formal Specification in RSL from a Client-Oriented Technique, 1st Annual International Conference on Computer and Information Science, Orlando, Florida, U.S.A., October 2001 [28]

15. Virginia Mauco, Chris George, and Daniel Riesco: Using a Scenario Model to Derive the Functions of a Formal Specification, APSEC'2001, Macau, December 2001 [28]

16. Raoudha Beltaifa, El Abed Jilani Lamia and Hadjami Ben Ghezala Henda: A Reuse Infrastructure Intelligent Retrieval Process, the 5th World Multi Conference on Systems, Cybernetics and Informatics (SCI 2001), July 22-25, 2001, Orlando, USA [15]

17. Andres Flores, Luis Reynoso and Richard Moore: A Formal Model of Object-Oriented Design and GoF Design Patterns, Formal Method in Europe (FME 2001), Berlin, Germany, 12-16 March 2001 [29]

18. Andres Flores and Richard Moore: Analysis and Specification of GoF Structural Patterns, the IASTED International Conference on Applied Informatics (AI 2001), Innsbruck, Austria, 19-22 February 2001 [30]

19. Luis Reynoso and Richard Moore: A Precise Specification of GoF Behavioural Patterns, the ACIS 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), Nagoya, Japan, August 2001 [31]

20. Adegboyega Ojo and Tomasz Janowski: Formalising Feasibility and Correctness of Distributed Business Processes, the 2nd International Workshop on Conceptual Modeling Approaches for e-Business (ECOMO2001), Yokohama, Japan, November 2001 [17]

4.1.3 Participation in Conference Programme Committees

UNU/IIST staff participated in 6 programme (or steering) committees of scientific conferences in 2001.

• Zhou Chaochen

  • 8th Asian Pacific Software Engineering Conference 2001, December, 2001, Macau

• Tomasz Janowski

  • 8th Asian Pacific Software Engineering Conference 2001, December, 2001, Macau

• Chris George

  • ACS/IEEE International Conference on Computer Systems and Applications, June, 2001, Beirut

  • International Symposium on Future Software Technology, November, Zhengzhou, China

  • 8th Asian Pacific Software Engineering Conference 2001, December, 2001, Macau

• Dang Van Hung

  • 8th Asian Pacific Software Engineering Conference 2001, December, 2001, Macau

• He Jifeng

  • Parallel and Distributed Processing Techniques and Applications, Las Vegas, USA, June, 2001.

  • Asia-Pacific Conference on Quality Software, December, 2001, Hong Kong.

  • 8th Asian Pacific Software Engineering Conference 2001, December, 2001, Macau

• Richard Moore

  • Formal Methods Europe, Berlin, Germany, 12-16 March 2001

4.2 Dissemination

The aim of dissemination is to distribute new research and development techniques, results in software technology and free software to selected targets in developing countries and countries in transition. Since UNU/IIST, in its Research and Advanced Development Projects, uses front-of-the-wave techniques and pursues further development (i.e. research) of these techniques, the dissemination activity focuses primarily on propagating the techniques and results that directly relate to UNU/IIST's Research and Advanced Development Agenda. In parallel, through its training activities, and also through institutional agreements with specific institutions, UNU/IIST provides access to literature (reports, papers) and free software. UNU/IIST has defined a list of target institutions, which includes 10 institutions in China, 30 institutions in Asian countries other than China, 6 institutions in South America and in Africa, and 2 institutions in Eastern Europe. Institutions from developing countries are added to the list if their research and training interests match the areas that are covered by UNU/IIST's programme. UNU/IIST sends to its targeted institutions a quarterly selection of up-to-date information on international literature, free software and technical reports, both from UNU/IIST itself and from partner institutions, together with instructions on how to procure such publications. More specifically, each institution receives:

1. List of UNU/IIST reports with abstract and URL address

2. Selected UNU/IIST reports

3. Copies of the tables of contents of 22 important journals in the area of computer software. UNU/IIST provides photocopies of a limited number of articles from these journals upon request

4. List of new Technical Reports from 10 internationally known research groups active in the area covered by UNU/IIST's agenda

5. CDROM containing new free software packages (upon request).

UNU/IIST also continues to assist a small number of MoU partners in building up a core library of reference books, monographs and journals.

Annual Report 2001