Dr. Benyó Balázs

Publikációiós lista – List of publication

[1] Benyó B.: Hálózatok szimbolikus analízise,TDK dolgozat, Budapest 1989.

[2] Benyó B.: EEPROM programkönyvtár létrehozása PROFIBUS rendszerhez, TDK dolgozat, Budapest 1990.

[3] Benyó B., Alföldi A.: EEG jelek analízise neurális hálózattal, TDK dolgozat, Budapest 1989.

[4] Benyó B.: Az alternatív közgazdaságtan ökológiai környezeti alapjai TDK dolgozat, Budapest 1991. (Országos TDK Konferencia I. díj)

[5] Benyó Balázs: Diszkrét jelfolyamhálózatok szimbolikus analízise, Mérés és Automatika, Vol. 39., No 6., Nov.-Dec. 1991, pp. 352-357.

[6] B. Benyó: Fault injection based dependability evaluation, Master Thesis, Erlangen-Budapest 1992

[7] B. Benyó, A. Pataricza: Fault Injection Based Dependability Analysis, TEMPUS workshop on Computer Aided Methods and Technical Management in Electrical Engineering Education (JEP3815-92), June 16-18, 1993

[8] B. Benyó, A. Pataricza: Fault Injection Based Dependability Analysis, Periodica Polytechnica Ser. El. Eng. Vol. 37, No. 2., pp. 97-109, 1993

[9] B. Benyó: The test of the Behavioral Test Generator and its comparison with the Random Test Generator, Research report, 1993 Dec., University of Cincinnati, USA

[10] V. Sieh, A. Pataricza, B.Sallay, W. Hohl, J. Hönig, B. Benyó: Fault Injection Based Validation of Fault-Tolerant Multiprocessors, Proceedings of the8th Symposium on Microcomputer and Microprocessor Applications, pp. 85-94, Oct. 12-14, 1994, Budapest, Hungary

[11] B. Benyó, R. Vemuri, A. Pataricza: High Level Hardware Description Based ATPG, TEMPUS Workshop on Computer Aided Methods and Technical Management in Electrical Engineering Education, June 9-10, 1994

[12] Z. Benyó, B. Benyó, Z. Benyó Jr., B. Lerner, C. Juhász: Computer Analysis of Physiological Systems, IEEE Engineering in Medicine and Biology Society, 16th Annual International Conference November 3-6, 1994

[13] B. Benyó, A. Pataricza, R. Vemuri: High Fault Coverage Behavioral Test Generation, Proceedings of the TEMPUS workshop of CAD Methods in Electronic and Information Processing System Design and its Education (JEP3815), pp. 13-16. Budapest, June 8-10, 1995

[14] B. Sallay, B. Benyó, Z. Hegedűs, A. Pataricza, A. Petri, J. Sziray, K. Tilly: Proposed VHDL Subset for Test Generation Purposes, Technical Report for FUTEG - Functional Test Generation and Diagnosis, PECO Project 9624, 1994

[15] B. Benyó: High Level Hardware Description Based ATPG, DIME Symposium, January, 1994

[16] B. Benyó: Algorithmic Test Generation at the Behavioral Level, DIME Symposium, January, 1995

[17] B. Benyó: A New Algorithm for Behavioral Test Generation, DIME Symposium, January, 1996

[18] B. Benyó, A. Pataricza, R. Vemuri: High Fault Coverage Behavioral Test Generation, Proceedings of the IEEE European Test Workshop, Montpellier, pp. 181-185, June 12-14, 1996

[19] B. Benyó: A Novel Behavioral Test Generation Approach, Proceedings of the IEEE European Test Workshop, Cagliari, pp. 10-11, May 28-30,1997

[20] B. Benyó: A Novel Algorithm for Behavioral Test Generation, Proceedings of Conference on the Latest Results in Information Technology, pp. 88-90, Budapest, 1997, ISBN-963-421-545-9

[21] Pataricza, Gy. Csertán, I. Majzik, B. Benyó, B. Sallay, A. Petri: Verification of ultra-reliable controllers, Research Report for the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 1997 (138 p.)

[22] Benyó B.: Test Pattern Generation Based on High Level Hardware Description (Teszgeneráló algoritmusok kidolgozása magas szintű hardver leírás alapján), kandidátusi disszertáció, Budapest, 1997.

[23] Benyó: Alternative Approaches for Functional Test Generation, Proceedings of Conference on the Latest Results in Information Technology, Budapest, 1998, ISBN-963-421-548-3

[24] Z. Benyó, B. Benyó, P. Várady, S. Szilágyi, L. Szilágyi: Research activity of the Biomedical Engineering Laboratory at TU Budapest, Research News, 1998, pp. 8-13

[25] Z. Benyó, S. M. Szilágyi, P. Várady, B. Benyó: Biomedical Engineering Education in Hungary, IEEE EMBS, Hong-Kong, Kína, October 29 November 1,1998, ISBN 0-7803-5167-3, pp. 3359-3360

[26] Benyó B., Kondorosi K., Sziray J.: Operációs rendszerek alapjai, SZIF főiskolai jegyzet, 1998., 146 oldal

[27] B. Asztalos, Z. Benyó, B. Benyó: Wall Motion Visualization and the Detection of Ischemia, Proc. of the BUDAMED ’99, 11th MATE and 2nd MEDING Conference on Biomedical and Clinical Enginneering, 12-14 September, 1999, Budapest, Hungary pp. 91-93

[28] Benyó B., Sziray J.: Egy tervezés-verifikálási elv VHDL modellekre, Miniszimpózium: Biztonságkritikus számítógéprendszerek funkcionális verifikálása, SZIF Akadémiai Nap, 1999. szeptember, 8-12 oldal

[29] Z. Benyó, B. Benyó, P. Várady: Patient Monitoring on Industry Standard Fieldbus, IEEE First Joint BMES/EMBS Conference Serving Humanity, Advancing Technology, Atlanta, USA, Oct. 13-16, 1999, pp. 704, ISBN 7803-5683-7

[30] Z. Benyó, B. Benyó, P. Várady: Identification of the Physiological Systems, First Joint BMES/ IEEE EMBS Conference Serving Humanity, Advancing Technology, Atlanta, USA, Oct. 13-16, 1999, pp. 1004, ISBN 7803-5683-7

[31] B. Benyó: A new algorithm for behavioral test generation, Periodica Polytechnica Ser. El. Eng. Vol. 42, No. 3., pp. 311-335, 1998

[32] Benyó B., Kondorosi K., Sziray J.: Operációs rendszerek alapjai, Jegyzet, 2. javított kiadás, SZIF Universitas Kft, 1999., 180 oldal

[33] Benyó B., Sziray J.: A UNIX és a Windows NT operációs rendszer, Jegyzet, Kiadta: SZIF Universitas Kft, 1999., 199 oldal

[34] Benyó B., Kiss I., Kondorosi K., Kóczy A., Sziray J., Román Gy., Szeberényi I.: Operációs rendszerek – Mérnöki megközelítésben, PANEM Könyvkiadó, Budapest, 2000.. 490 oldal, ISBN 963-545-250-0

[35] Z. Benyó, P. Várady ,B. Benyó: Remote patient monitoring system based on an industry standard fieldbus, 2nd World Congress on Biomedical Communication, Amsterdam, 1999, pp. 51

[36] Benyó B.: VHDL-modellek verifikálása, Formális módszerek a modellezésben és verifikálásban, SZIF-BME Szeminárium 1999. április

[37] B. Benyó, J. Sziray: A Design Verification Principle for VHDL Models, 1999 IEEE International Conference on Intelligent Engineering Systems (INES’99), Poprad, Slovakia, November 1-3, 1999, pp. 623-628, ISBN 80-88964-25-3, pp. 623-628

[38] B. Benyó, B. Asztalos: Szívfalmozgás kóros elváltozásainak detektálása ultrahang ekhókardiográfiás képek alapján, Korház és Orvostechnika, ISSN 15857360, XXXVIII. évfolyam, 2000. április, 36-41 o.

[39] B. Benyó, P. Várady: Betegfelügyeleti rendszer szabványos alapon: architektúra és jelinterpretáció, Korház és Orvostechnika, ISSN 15857360, XXXVIII. évfolyam, 2000. április, 41-46 o.

[40] B. Benyó, J. Sziray: The Use of VHDL Models for Design Verification, IEEE European Test Workshop (ETW2000), Cascais, Portugal, May 23-26, 2000, ISBN 0-7695-0701-8, pp. 289-290

[41] P. Várady, B. Benyó: A Systematic Method for the Behavioural Test and Analysis of Embedded Systems, INES 2000, 4^th IEEE International Conference on Intelligent Engineering Systems 2000, Sept 17-19, 2000, ISBN 961-6303-23-6, Portoroz, Slovenia, pp.177-180

[42] Z. Benyó, B. Benyó, P. Várady, Á. Szlávecz, Use of an Event Recognition Method for Determining the Illnesses of the Non-homogeneous Physiological Systems, Proceedings of the World Congress on Medical Physic and Biomedical Engineering (22^nd Annual Conference of IEEE EMBS), July 23-28, 2000

[43] Benyó B., Heckenast T., Kalotai L., Góth J., Majzik P., Nagy N., Pataricza A, Sziray J. : Szoftver rendszerek minőségbiztosítása és verifikálása, kutatási jelntés, KHVM 47/1998, Budapest, 2000., 185 o.

[44] B. Benyó: Verification of complex object oriented systems, 4^th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems 2001, IEEE DDECS 2001, Győr, Hungary, April 18-20, 2001, ISBN 0-7695-0701-8, pp. 289-290

[45] M. Renovell, J. Hlavicka, A. Pataricza, J. Sziray, B. Benyó: Proceedings of the 4^th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems 2001, Győr, Hungary, April 18-20, 2001, ISBN 0-7695-0701-8, pp. 489

[46] B. Benyó: Object Oriented Software System Verification, The International Conference on Dependable Systems and Networks, July 2-4, 2001, pp. 84 -85

[47] P. Várady, Z. Benyó, B. Benyó: An Open Architecture Patient Monitoring System Using Standard Technologies, IEEE Transaction on Information Technology in Biomedicine, Vol. 6, No. 1, March 2002, pp. 95-98, ISSN 1089-7771

[48] B. Benyó, P. Várady, A. Szlávecz, Z. Benyó: Application of industrial communication standards for the implementation of medical information systems, INES 2001, 5^th IEEE International Conference on Intelligent Engineering Systems 2001, Sept. 16-18, 2001, Helsinki-Stockholm, Finland-Sweden, ISBN-952-15-0689-X pp. 463-468

[49] B. Benyó: A new software verification method, INES 2001, 5^th IEEE International Conference on Intelligent Engineering Systems 2001, Sept. 16-18, 2001, Helsinki-Stockholm, Finland-Sweden, ISBN-952-15-0689-X pp. 445-449

[50] B. Benyó: Verification and Testing of Safety Critical Systems based on UML Statechart Models, Workshop of Safety Critical Real Time Systems, March 28th, 2002, Széchenyi István University

[51] Á. Darvas, I. Majzik, B. Benyó: Verification of UML Statechart Models
of Embedded Systems, 5^th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems 2002, IEEE DDECS 2002, Brno, Czech Republic, April 16-19, 2002, ISBN 80-214-2094-4, pp.70-77

[52] B. Benyó: UML Statechart Based Verification and Testing of Embedded Systems, INES 2002, 6^th IEEE International Conference on Intelligent Engineering Systems 2002, May 26-28, 2002, Opatija, Croatia, ISBN 953-6071-17-7, ISSN 1562-5850, 551-556

[53] B. Benyó, T. Heckenast, J. Sziray A Knowledge-Base System for IT Education, 3^rd International Conference on Information Technology Based Higher Education and Training, July 4-6, 2002, Budapest, Hungary, ISBN 963 7154 07 8, pp.149-152

[54] Benyó B.: Tudásbázis informatikai tantárgyak oktatásához, Informatika a felsőoktatásban 2002, Debrecen 2002. augusztus 28-30., ISBN 963 472 691 7, pp. 110.

[55] Benyó B.: Távdiagnosztikai és betegmegfigyelő rendszer, BUDAMED ’02 Konferencia Orvosbiológiai és Klinikai Mérnököknek, Budapest, 2002. október 17., ISBN 963 8231 92 0, pp. 48-49

[56] Z. Benyó, L. Szilágyi, B. Benyó, P. Várady, B. Paláncz, Á. Szlávecz, Sz. Bongár, G. Fördös: Biomedical Engineering Education and Research Activity in Hungary , Second Joint IEEE EMBS - BMES Conference 2002, Proceedings of the 24^th Annual International Conference of the EMBS, Annual Fall Meeting of the Biomedical Engineering Society, Houston, Texas, USA, 23-26 Oct. 2002, pp. 2658-2659, ISBN 0-7803-7613-7

[57] Benyó B., Kondorosi K., Sziray J.: Operációs rendszerek alapjai, Jegyzet, 3. javított, bővített kiadás, Universitas Kft, 2002. október, 221. oldal

[58] Benyó B.: Tudásmenedzsment rendszer a Széchenyi Egyetemen, ORACLE szakmai nap: Oracle a közszférában - a felhasználók tapasztalatai a tervezéstől a vezetői információs rendszerig, meghívott előadó, Budapest 2002. október 31.

[59] Benyó B., Kovács K., Somogyi P.: Távdiagnosztikai és betegmegfigyelő rendszer, Korház és Orvostechnika, ISSN 1585-7360, XLI. évfolyam, 2003. május

[60] B. Benyó, T. Heckenast, J. Sziray: A Knowledge-Base System in Web Environment, Proceedings of the International Conference on Education and Information Systems: Technologies and Applications jointly with International Conference on Computer, Communication and Control Technologies: CCCT'03, July 31, August 1-2, 2003 - Orlando, Florida, USA

[61] Z. Benyó, B. Benyó, P. Várady, L. Szilágyi, B. Paláncz, Á. Szlávecz, T. Micsik, Sz. Bongár, G. Fördős, Gy. Várallyay: Biomedical Engineering Education and Research Activity in Hungary, Proceedings of the 5th IFAC Symposium on Modelling and Control in Biomedical Systems, 21-23 August 2003, Melbourne, Australia

[62] B. Benyó, Z.Benyó, B. Paláncz, L. Kovács, L. Szilágyi: A Fully Symbolic Design and Modelling of Nonlinear Glucose Control with Control System Professional Suite (CSPS) of Mathematica, Proceedings of the World Congress on Medical Physics and Biomedical Engineering, 24 - 29 August 2003, Sydney, Australia

[63] Z. Benyó, B. Benyó, P. Várady, L. Szilágyi, P. Somogyi: The Hungarian Biomedical Engineering Education System and the Related Research Activity, Proceedings of the World Congress on Medical Physics and Biomedical Engineering, 24 - 29 August 2003, Sydney, Australia

[64] J.C. Biro, B. Benyó, C. Sansom, Á. Szlávecz, G. Fördös, T. Micsik, Z. Benyó: A common periodic table of codons and amino acids, Biochemical and Biophysical Research Communications, Volume 306, Issue 2, 27 June 2003, pp. 408-415