I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Assistant Professor

Dr. Gábor Kovács

PhD

H-1117 Budapest, Magyar Tudósok krt. 2. I.L.106a

+3614633119

kovacsg@tmit.bme.hu

Groups

HSNLab - Future Internet Research Group

Faculty

Faculty of Electrical Engineering and Informatics

Department

Department of Telecommunications and Media Informatics

Research keywords: · protocol design · protocol testing
Horizon Europe keywords: · Cloud and edge technologies · Next generation computing and data technologies

Publications Conferences

Publications

Pap, Zoltán ; Subramaniam, Mahadevan ; Kovács, Gábor ; Németh, Gábor Árpád: "A Bounded Incremental Test Generation Algorithm for Finite State Machines", TestCom 2007, Tallinn, Estonia, June 26-29, 2007
Kovacs, G ; Pap, Z ; Le Viet, D ; Wu-Hen-Chang, A ; Csopaki, G: "Applying Mutation Analysis to SDL Specifications", LNCS 2708 pp. 269-284. , 16 p. (2003)
Kovács, G ; Németh, G A ; Subramaniam, M ; Pap, Z: "Optimal string edit distance based test suite reduction for SDL specifications", SDL 2009, Berlin, Németország : Springer (2009) pp. 82-97. , 16 p.
Erős, Levente ; Kovács, Gábor ; Adamis, Gusztáv ; Réthy, György: "Unsupervised Test Model Reconstruction from Conformance Test Logs" In: Proceedings of Research in Adaptive and Convergent Systems 2015 (2015) pp. 482-488.

Conferences

SDL-Forum, 2017, Budapest, organizer, editor