dr. Németh Gábor docens, tanszékvezető helyettes

Szoba: Informatika épület B.1.19.
Telefon: +36 (1) 463-3523
Email: nemeth@hit.bme.hu
 
Tanszéki adminisztráció: I. B.1.21. BME Híradástechnikai Tanszék

Számítástechnika labor vezető



 
Date and place of birth:
August 18, 1941, Mosonmagyaróvár, Hungary
Current position:
Associate professor, head of Informatics Laboratory, Department of Telecommunications, Technical University of Budapest

Education

      1965 MSc electronic engineering, Technical University of Budapest
      1968 dr. engineering (computers and control theory)
      1978 PhD, Hungarian Academy of Sciences

University activities

1965-
      Technical University of Budapest, Faculty of Electrical Engineering
      1984 - 1991:
            head of the Computer Technics Department at the Institute of Communications Electronics
      1986~ :
            chairman and associate professor for Computers and Communications PhD Studies Branch
      1991~ :
            head of the Informatics Laboratory at Telecommunications Department Giving undergraduate and postgraduate lectures on
            Computer Architectures, Distributed Systems, Control Theory, Informatics
1978
      scholarship, Technical Physics Department, Helsinki University of Technology
1989
      guest professor, Technical Physics Department, Helsinki University of Technology
1989 - 1991
      guest professor, Telecommunications Department, Chech Technical University of Prague
1991 - 1995
      guest professor, Institute für Informatik, Innsbruck University
1994 - 1995
      guest professor, Telecommunications Department, Zagreb University

Industrial contacts

1965 - 1973
      scientific advisor, Computer Center of the Hungarian Academy of Sciences (development of mass storage systems)
1971
      scientific fellow, Fujitsu System Laboratory (software development for the FACOM computer system)
1980 - 1987
      project leader (on contract) for the Telecommunications Research Institute TKI (system design, operating system and maintenance system
      design for the PRS distributed digital phone exchange)
1987 - 1988
      project leader (on contract) for BHG (self-checking CPU board design for the DITEL digital PABX)
1988 - 1989
      project leader (on contract) for TERTACOM (operating and maintenance system design for an 8/34/140 Mb/s optical transmission system)

Research field

      Formal models for distributed systems (modified data flow and state-machine models)
      Transformation methods from informal, incomplete and inconsistent to formal, complete and consistent abstract specifications
      Parallel architectures

Other activities

      CONTEL (Croatian Telecom Conference series) Scientific Board member
      DROMS (Czhech Telecom conference series) Scientific Board member
      MPCS (IEEE Computer Society Massively Parallel Computer Systems conference series) Scientific Board member
      COMPUTING Journal Advisory Board member


List of publications

    Articles and conference issues in foreign languages

1. Németh, G., The recording and read-back processes of magnetic recording, Problems of Control and Information Theory, vol. 6, No. 4, pp. 243-261.

2. Németh, G., Distributed logic associative memory, TKK, Otaniemi, 1978.

3. Kohonen, T., Németh, G., Bry, K-J., Jalanko, M. and Riittinen, H., Classification of phonemes by learning subspaces, TKK, Otaniemi, 1978.

4. Kohonen, T., Bry, K-J., Jalanko, M., Riittinen, H. and Németh, G., Spectral Classification of Phonemes by Learning Subspaces, Proc. 1979 Int. Conf. on Acoustics, Speech and Signal Processing, April 2-4, 1979, Washington, pp. 97-100.

5. Németh, G. and Jagudits, L., Statische Modellierung der digitalen magnetischen Signalspeicherung, 5. Konf. Magn. Signalspeicherung, Erfurt, 1981, pp. 2.1.1-2.1.4.

6. Horváth, L., Jagudits, L. and Németh, G., Real-time microprocessor-based control of electronic PBX, Proc. 2nd Symp. Microcomputer and Microproc. Appl., September 6-9, 1981, Budapest, vol. II., pp. 213-220.

7. Horváth, L., Jagudits, L. and Németh, G., Multimicroprocessor control of electronic PBX, Proc. 2nd Symp. Microcomputer and Microproc. Appl., September 6-9, 1981, Budapest, vol. II., pp. 221-233.

8. Németh, G., Microprocessor-based exchange control structures, Scient. Sess. 2nd. Century of BTU, Budapest, 1983.

9. Németh, G., Microprocessor-based exchange controller structures, Periodica Polytechnica, Electrical Engineering, 1983, vol. 27, Nos 3-4, pp. 319-324.

10. Németh, G., Multiprocessor control architectures for telephone exchanges, Techn. Univ. Budapest, Tokai Univ. Joint Symp., 1983, Budapest.

11. Blum, E., Horváth, L., Hutter, O. and Németh, G., Extension of Existing Telephone Exchanges with Distributed Digital Subscriber Switching Stages, YUTEL83, !983, October 4-5, Ljubljana, vol. II., pp. A/I-1- A/I-10.

12. Blum, E., Horváth, L., Hutter, O. and Németh, G., Microcomputers in distributed digital subscriber switching systems, Proc. 3rd Symp. Microcomputer and Microproc. Appl., 1983, October 18-21, Budapest, vol. II, pp. 657-668.

13. Németh, G., An example to provide extensive phone and data services by microelectronics in Hungary, DROMS-TCT 84, 1984, March 19-21, Brno, pp. 90-100.

14. Németh, G., Multimicroprocessor control structures for small capacity electronic digital exchanges, Proc. 29. Int. Wiss. Koll. TH Ilmenau, 1984, Oct. 29- Nov. 2, Ilmenau, vol. 2, pp. 187-190.

15. Németh, G., Architectural problems of ISDN, Computer Network Usage: Recent Experiences, North Holland, 1986, pp. 231-239.

16. Németh, G., Arhitektura tipa osztrova szetyi ISDN osznovannoj na mikroprocesszore, XLI Vszjeszojuznaja Naucsnaja Szesszija Radio, Moscow, 1986.

17. Németh, G., An election algorithm for a multiprocessor controlled digital exchange, Proc. 11th Joint Symp. Tokai Univ. - Budapest Techn. Univ., Tokyo, 1987, May 16-25, pp. 141-151.

18. Németh, G., ISDN-like islands for the Hungarian communications network, DROMS-TCT 87, 1987, June 29-July 1, Brno, pp. 236-247.

19. Horváth, L. and Németh, G., Application of multimicroprocessor structures in telecommunications, Avtomatizacija no informacionnota obszluzsivanije, !987, Sept. 17-21, Burgas, Csaszty III, pp. 158-163.

20. Németh, G., An election algorithm for a multiprocessor controlled digital exchange, Periodica Polytechnica, Eelectrical Engineering, 1988, vol. 32, Nos 2-4, pp. 209-216.

21. Filp, A., Horváth, L. and Németh, G., ISDN - Network Architecture, Proc. KomCom'89, 1989, Febr. 14-16, Dresden, A7.

22. Horváth, L. and Németh, G., Distributed maintenance system for communication networks, Proc. Sixth Symp. Microcomputer and Microprocessor Appl., 1989, Oct. 17-19, Budapest, pp. 283-290.

23. Németh, G., Paksy, G. and Horváth, L., A distributed adaptive supervision system for 8/34/140 Mb/s optical transmission networks, Proc. Second Sino-Hungarian Joint Seminar on Optical Communication, 1989, Oct. 20-24, Wuhan, pp. 13-20.

24. Paksy, G., Jagudits, L. and Németh, G., Performance monitoring and fault location of 8/34/140 Mbit/s optical line system, Proc. Second Sino-Hungarian Joint Seminar on Optical Communication, 1989, Oct. 20-24, Wuhan, pp. 21-25.

25. Németh, G., Intelligent Distributed Adaptive Supervision Systems for Communication Networks, DROMS-TCT 90, 1990, June 25-28, Brno, vol. 1, pp. 76-85.

26. Németh, G., Formal Design Methods for Distributed Resource Control Algorithms, Proc. 10th IASTED Conf., Applied Informatics, Acta Press, 1992, Febr. 10-12, Innsbruck, pp. 9-12.

27. Németh, G., Formal Methods for Distributed System Design, Proc. 7th. Symp. Microcomputer and Microproc. Appl., 1992, April 22-24, Budapest, vol. I, pp. 273-282.

28. Németh, G., Formal method applied to distributed network management system, Informacija, telekommunikacije automati, 1993, vol. 12, Nos 1-3, pp. 229-236.

29. Németh, G., Formal Proof vs Direct Execution of Specifications, Proc. Austrian-Hungarian Joint Seminar on Software Engineering, 1993, Feb. 4-5, Budapest, pp. 1-8.

30. Németh, G., Routing, Scheduling, Timing and Intractability, MPCS'94, IEEE Computer Society Press, 1994, pp. 114-124.

31. Németh, G., Abstract design method for distributed maintenance systems, Informacija Telekomunikacije Automati, vol. 13, No. 1-3, 1994, pp. 159-166.

32. Németh, G., From informal, incomplete and inconsistent specifications to formal models, Proc. Austrian-Hungarian Seminar on Software Engineering, Klagenfurt, 1994, pp. 8.1-8.16.

33. Németh, G., Distributed System Design Methodology - From Informal, Incomplete and Inconsistent Specifications to Formal Model, Informatic-Bericht TU Clausthal, vol. 94/1, 1994, pp. 110-125.

34. Németh, G., Abstract Design Method of Distributed Systems, Proc. Parallel Processing, Technology and Applications, Budapest, 1994, pp. 49-56.

35. Németh, G., Scheduling in Massively Parallel Systems, Proc. Austrian-Hungarian Seminar on Software Engineering, Graz, 1995, pp. 1.1-1.9.

36. Németh, G., The missing link in software specification, Informacija Telekomunikacije Automati, vol. 14, No. 1-3, 1995, pp. 167-178.

37. Németh, G., Formal Design Models for Distributed Systems, 5th. Int. Coll. Numerical Analysis, Plovdiv, 1996.

38. Németh, G., Formal treatment of time, Trends in Theoretical Informatics, R. Oldenbourg, Wien München, 1996, pp. 145-158.

39. Németh, G., Scheduling, timing and intractability in massively parallel systems, Int. Journal of Computer Systems, vol. 11, No. 4, July 1996, pp. 245-254.

40. Németh, G., Time Related Routing and Scheduling Problems in Massively Parallel Systems, Informatic-Bericht TU Clausthal, vol. 96/1, 1996, pp. 111-121.

41. Németh, G., Time in Masssively Parallel Systems, MPCS'96, IEEE Computer Society Press, 1996, pp. 296-301.

42. Németh, G., Information Processing Networks, 4th International Conference on Telecommunications (ConTEL 97) Marijan Kunstic (Ed), June 18-20, 1997, Zagreb, Croatia

43. Németh, G., From Informal Problem Statement to Formal Proof of Correct Solutions, ConTEL 97, June 1997, Zagreb, Croatia

44. R. F. Albrecht and G. Németh, A Generic Model for Knowledge Base Systems, MPCS'98, Preliminary Proceedings, April 6-9 1998, Broadmoor Hotel, Colorado Springs, USA

45. Németh, G., Lovrek I., Sinkovic V., Scheduling Problems in Parallel Systems for Telecommunications, Computing 58, 199-223, 1997, Springer-Verlag, Austria

    Articles and conference issues in hungarian

1. Bohus M., Flesch I., Géher K., Németh G., Pápay Zs., Szittya O., Theisz P., Logikai rendszerek számítógépes szimulációja, Tanulmány az SZKI számára, 1969.

2. Németh G., Elosztott logikájú asszociatív számítógép, Automatizálás, 1971, No. 1, pp. 11-19.

3. Bohus M., Németh G., Trón T., Varró L., Struktúrális algoritmusok szimulációja (OSZSZ-2 SUBSET), SZKI, 1970.

4. Bohus M., Csopaki Gy., Gefferth L., Halász E., Németh G., Trón T., Varró L., A LOGAN logikai áramkört vizsgáló számítógép programrendszer, Tanulmány az SZKI számára, 1970.

5. Bohus M., Csopaki Gy., Gefferth L., Halász E., Németh G., Trón T., Varró L., Használati utasítás a LOGAN logikai hálózatok analízisére szolgáló programrendszerhez, Tanulmány az SZKI számára, 1971.

6. Bohus M., Németh G., Trón T., Varró L., A SUBSET szimulációs nyelv digitális rendszerek funkcionális vizsgálatára, Hiradástechnika, 1972, vol. XXIII, No. 6, pp. 182-187.

7. Bohus M., Csopaki Gy., Gefferth L., Halász E., Németh G., Trón T., Varró L., A LOGAN logikai szimulációs program, Hiradástechnika, 1972, vol. XXIII, No. 7, pp. 204-209.

8. Németh G., Mozgómágneses tárolók számítógépes analízise, Mérés és Automatika, 1974, vol. XXII, No. 8, pp. 320-323.

9. Németh G., Az írás és olvasás folyamatainak modellezése mozgómágneses tárolóknál, BME-HEI, 1976.

10. Frajka B., Németh G., Új információfeldolgozási lehet?ségek kapcsolóközpontok vezérlésében, Tanulmány az OMFB számára, 1978.

11. Horváth L., Jagudits L., Németh G., Térosztásos kapcsolóközpontok multiprocesszoros vezérlésének struktúrája, Tanulmány az OMFB számára, 1979.

12. Németh G., Horváth L., Jagudits L., Mikroprocesszor adaptáció mér?berendezés, Hardware leírás, Kutatási jelentés a HIKI számára, 1979.

13. Németh G., Horváth L., Jagudits L., Mikroprocesszor adaptáció mér?berendezés, Software leírás, Kutatási jelentés a HIKI számára, 1979.

14. Horváth L., Jagudits L., Németh G., Multiprocesszor struktúra elektronikus kapcsolóközpontok vezérlésére, Tanulmány az OMFB számára, 1980.

15. Horváth L., Jagudits L., Németh G., Mikroprocesszor vezérelt elektronikus alközpont operációs rendszere, Kutatási jelentés a BHG számára, 1980.

16. Gruber G., Horváth L., Jagudits L., Németh G., Mikroprocesszor vezérelt elektronikus alközpont megbízhatósági kérdései, Kutatási jelentés a BHG számára, 1981.

17. Horváth L., Jagudits L., Németh G., Nagy megbízhatóságú kemény mag kialakítása elektronikus alközpont vezérlésére, Kutatási jelentés a BHG számára, 1981.

18. Horváth L., Jagudits L., Németh G., Székely L.,Nagy megbízhatóságú kemény mag kialakítása elektronikus alközpont vezérlésére, Kutatási jelentés a BHG számára, 1981.

19. Horváth L., Jagudits L., Németh G., Elektronikus alközpont diagnosztizálása, Kutatási jelentés a BHG számára, 1982.

20. Horváth L., Jagudits L., Németh G., Temesi T., Hiba diagnosztizáló és adminisztratív programok rendszere, Kutatási jelentés a BHG számára, 1982.

21. Horváth L., Jagudits L., Németh G., Temesi T., Mikroprocesszor vezérelt kapcsolóközpont kezel?i rendszere, Kutatási jelentés a BHG számára, 1982.

22. Hegyi K., Horváth L., Kóczy T. L., Németh G., Pongor Gy., Tagányi Gy., PRS software, Kutatási jelentés a TKI számára, 1982.

23. Frajka B., Horváth L., Jagudits L., Németh G., Pápay Zs., Pongor Gy., Tagányi Gy., Temesi T., Theisz P., Mikroprocesszor vezérelt elektronikus kapcsolóközpont jelz? és operációs rendszere, Kutatási jelentés a TKI számára, 1982.

24. Frajka B., Horváth L., Jagudits L., Németh G., Pápay Zs., Temesi T., Theisz P., Mikroprocesszor vezérelt elektronikus kapcsolóközpont jelz? rendszere, Kutatási jelentés a TKI számára, 1982.

25. Horváth L., Jagudits L., Németh G., Temesi T., Elektronikus alközpont diagnosztizálása, Kutatási jelentés a BHG számára, 1983.

26. Filp A., Frajka B., Gruber G., Hegyi K., Horváth L., Jagudits L., Kóczy T. L., Németh G., Pápay Zs., Pongor Gy., Simon Gy., Tagányi Gy., Temesi T., Theisz P., PRS rendszervezérl? struktúrák, Kutatási jelentés a TKI számára, 1983.

27. Filp A., Frajka B., Gruber G., Hegyi K., Horváth L., Jagudits L., Kóczy T. L., Németh G., Pápay Zs., Pongor Gy., Simon Gy., Tagányi Gy., Temesi T., Theisz P., Elektronikus alközpont vezérlési és hibafelfedési rendszere, Kutatási jelentés a TKI számára, 1983.

28. Csopaki Gy., Filp A., Gidófalvi Z., Gruber G., Horváth L., Kóczy T. L., Lévai L., Németh G., Tagányi Gy., Temesi T., Takács I., Thurnay B., Tartalékolt központrendszer bekapcsolási tesztje és konfiguráló szoftvere, Kutatási jelentés a TKI számára, 1986.

29. Németh G., Horváth L., Gruber G., Jagudits L., Pápay Zs., Theisz P., Temesi T., Vitéz A., Ruszinkó M., Átviteltechnikai rendszerek univerzális távellen?rzési rendszere, Tanulmány a TRT számára, 1988.

30. Németh G., Horváth L., Gruber G., Jagudits L., Pápay Zs., Theisz P., Temesi T., Vitéz A., Ruszinkó M., 8/34/140 Mb/s optikai rendszer univerzális távfelügyeleti rendszerének specifikációja, Tanulmány a TRT számára, 1989.

31. Németh G. és Horváth L., 8/34/140 Mb/s optikai rendszer univerzális távfelügyeleti rendszerének rendszerterve, Tanulmány a TRT számára, 1989.

    Books in foreign languages

1. Németh, G., Distributed Resource Control Methods, Lecture Notes, Innsbruck, 1991.

2. Németh, G., Parallel Architectures and Algorithms, Lecture Notes, Innsbruck, 1992.

3. Németh, G., Software Engineering, Lecture Notes, vol. 1, Budapest, 1994.

4. Németh, G., Computer Architectures, Lecture Notes, vol. 1, Budapest, 3C Ltd., 1995.

    Books in hungarian

1. Németh, G., Ferritgy?r?s tárolók, Budapest, Tankönyvkiadó, 1974.

2. (szerk. Drecin J.), Vezetési, szervezési, információs és számítástechnikai értelmez? szótár, Budapest, KGM MTTI, 1974.

3. Németh, G., Mozgómágneses tárolók, Budapest, Tankönyvkiadó, 1975.

4. Németh, G., Automatika I-III, Budapest, Tankönyvkiadó, 1975.

5. Németh, G. - Horváth, L., Számítógép-architektúrák, Budapest, Akadémiai Kiadó, 1991.

6. Németh, G. - Horváth, L., Számítógép-architektúrák, Budapest, Akadémiai Kiadó, (2. kiadás) 1993.

7. Németh, G. (szerk.) Informatika I, Budapest, M?egyetemi Kiadó, 1995.

8. Gajdos, S., Kiss, I. és Németh, G., Informatika II, Budapest, M?egyetemi Kiadó, 1996.