Szoftver
hol és mikor
2020. november 12. (csütörtök) 9:00
Teams: http://bit.ly/tdk2020-Szoftver
elnök
-
Kővári Bence Dr.
docens , Automatizálási és Alkalmazott Informatikai Tanszék
titkár
-
Erdős Szilvia
Doktorandusz , Automatizálási és Alkalmazott Informatikai Tanszék
tagok
-
Dudás Ákos Dr.
docens , Automatizálási és Alkalmazott Informatikai Tanszék -
Hermecz Vajk
senior fejlesztő -
Kocsis Imre Dr.
adjunktus , Méréstechnika és Információs Rendszerek Tanszék -
Simon Balázs Dr.
egyetemi adjunktus , Irányítástechnika és Informatika Tanszék -
Surányi Gábor Dr.
Vice President -
Villányi Balázs Dr.
docens , Elektronikai Technológia Tanszék
Tuschák díj I. helyezett
Domain-szűrt API keresés típús szignatúra alapon Java környezetben
Szerző: Márkus Krisztián
Konzulens: Dr. Ekler Péter (AUT)
Morgan Stanley I. helyezett
Kiterjesztett szimbolikus tranzíciós rendszerek: köztes nyelv mérnöki modellek formális verifikációjához
Szerző: Mondok Milán
Konzulens: Hajdu Ákos (MIT)
Morgan Stanley I. helyezett
Memóriamodellekkel paraméterezhető állapotmentes szoftver-modellellenőrzés
Szerző: Bajczi Levente
Konzulens: Dr. Molnár Vince (MIT)
II. helyezett
Heterogén kiberfizikai rendszerek modellvezérelt fejlesztése
Szerző: Csuvarszki János Csanád
Konzulensek: Graics Bence (MIT), Dr. Vörös András (MIT)
Morgan Stanley II. helyezett
SAT/SMT megoldók vezérlése döntési diagramokkal absztrakcióalapú modellellenőrzés támogatására
Szerző: Almási Nóra
Konzulens: Dr. Molnár Vince (MIT)
III. helyezett
Lopott autók felismerése Android platformon Deep Learning technikával
Szerző: Fodor Arpad
Konzulens: Pásztor Dániel (AUT)
III. helyezett
Különböző modalitásokon történő munkaerő képzés hatékonysági vizsgálata
Szerző: Szakál Vince Abosa
Konzulensek: Hideg Attila (AUT), Dr. Forstner Bertalan (AUT)
Jutalom
Biztonságos távoli firmware frissítés beágyazott IoT eszközökön
Szerző: Juhász Márton
Konzulensek: Dr. Buttyán Levente (HIT), Futóné Papp Dorottya (HIT)
Jutalom
Kvantum számítással továbbfejlesztett klaszterezés centroid optimalizációval és deep learning algoritmusok vizsgálata az energetikai szektor feladataihoz
Szerző: Egyed Tamás Barnabás
Konzulens: Dr. Ekler Péter (AUT)
Jutalom
Szakterületi keretrendszer zenei vizualizációhoz
Szerző: Balogh Ákos
Konzulens: Dr. Mezei Gergely (AUT)