Computer Networks Research Group

Current research interest include:

• Computer network architectures
• Formal specification and modelling of computer network protocols
• Formal description techniques in protocol design and implementation
• Protocol synthesis methods
• Protocol validation methods
• Development tools in protocol engineering (LOTOS, ESTELLE, etc.)
• Protocol development tools in industrial systems
• New networking technology in manufacturing and process control systems
• Equivalence problems of different formal specifications
• Formal description techniques in distributed systems
• Distributed operating systems and distributed computing environment
• Interconnectivity of different computer networks (internetworking and gateways)
• Formal description techniques in network management
• Cooperating systems and their security
• World Wide Web
• Multimedia and hypermedia systems
• Distributed groupware applications
• Open distributed processing

Software development projects:

• Mail and domain name server system for the Technical University of Budapest
• Modempool (X.25) for EUNet Hungary
• Remote banking system for the Credit Lyonnais Bank Hungary
• Gateways (Profibus - TCP/IP, Archie - Harvest, E-mail - Fax)
• Management and maintaining of distributed multimedia databases (World Wide Web)
• Internet Information Extracting Systems (ftp indexing systems)
• WWW caching system
• WWW server, national home page
• Interactive services based on WWW technology
• Distributed digital document library (DIENST) server
• Equivalence verification tool for labelled transition systems

Hardware resources

• number of high performance UNIX workstations (including HP, SUN, IBM, DEC, SGI)
• Ethernet and FDDI network connection
• UPS, printers, scanners, backup peripherals

Software tools:

• Netware Client SDK 1.4
• LOTOSPHERE integrated tool environment for LOTOS
• TCP/IP development environment for UNIX and DOS
• DCE development kit for UNIX

Team leader and contact person:

Members:

• Dr. Kovács, László, Senior Research Fellow
• Szeberényi, Imre, Assistant Lecturer
• Dr. Máray, Tamás, Assistant Lecturer
• Dr. Halász, Péter, Assistant Lecturer
• Dr. Katona, László, Senior Lecturer
• Várkonyi, Béla, Assistant Lecturer
• Antal, Péter, Research Fellow
• Mohácsi, János, Ph.D. Student
• Wolkensdorfer, Péter, Ph.D. Student
• Szilágyi, Sándor, Ph.D. Student

Recent publications:

1. L. Kovács: The GroupSPACE Concept, Proc. of the 14th IEEE International Conference on Distributed Computing Systems (ICDCS-14), Poznan, Poland, 1994
2. M. Biró, L. Kovács: Protocols for Cooperative Multiple Criteria Decision Processes Proc. of the IFIP WG 8.3 Working Conference on Decision Support in Organisational Transformation, San Sebastian, Spain, 1994
3. M. Biró, L. Kovács: Standardization of Communication between Organizational Decision Units, accepted, CON'94, 9th Austrian-Hungarian Conference in Informatics, Linz, Austria, 1994
4. M. Biró, L. Kovács: Towards the Development of Reference Model of Distributed Group Decision Support Systems, in preparation , Research Report of the Informatics Research Laboratory, Computer and Automation Institute of the Hungarian Academy of Sciences, Budapest 1994
5. J.Harangozó, Zs. Kovács, L. Kovács: A Class Hierarchy Generating Algorithm for Object-Oriented Formal Descriptions, Research Report of the Informatics Research Laboratory, Computer and Automation Institute of the Hungarian Academy of Sciences, IRL-3-1994, Budapest 1994, pp. 1-6
6. J. Harangozó, Zs. Kovács, L. Koválcs: Revealing the Class Hierarchy from Formal Description of Protocols, Research Report of the Informatics Research Laboratory, Computer and Automation Institute of the Hungarian Academy of Sciences, IRL-4-1994, Budapest 1994, pp. 1-12
7. L. Kovács: Multimedia Groupware Systems, Rapports de Recherche, Laboratoire d'Informati-que Fondamentale et Appliqu\'ee de Cachan, 93-3, Cachan, Juin 1993, pp. 1-15 In: The Challenge of Networking, CON'93, Proc. of the 8th Austrian-Hungarian Conference in Informatics, Szombathely, November 1993
8. L. Kovács: Evaluation of Computer Network Protocol Specification Languages from the Viewpoint of Automatic Protocol Implementation, Research Report of the Informatics Research Laboratory, (in Hungarian), Computer and Automation Institute of the Hungarian Academy of Sciences, Budapest 1992, pp. 1-51
9. S. Czobor, J. Harangozó, J. Mohácsi, D. Tóth: The LOTOS Specification Language. Dept.of Process Control, TUB, Budapest, 1994 (in Hungarian)
10. T. Máray, J. Mohácsi, I. Szeberényi: Report on the WWW Projects in Hungary. National Information Infrastructure Fund, Budapest, 1995 (in Hungarian)
11. J. Mohácsi: Internet and its Services. GURU Computing Techniques Magazine, 1994. no.10-11. (in Hungarian)
12. J. Mohácsi, I. Szeberényi: TCP/IP-Profibus Gateway Program. MicroCAD'94 International Conference on Computing Techniques, Budapest, 1994 (in Hungarian)
13. J. Mohácsi: Designing a Profibus-TCP/IP Gateway Program. MsC theses, Dept.of Process Control, TUB, Budapest, 1993 (in Hungarian)
14. J. Mohácsi: Present and Future in UNIX Mail System. Scientific Conference of TUB, Budapest, 1992 (in Hungarian)