TDK eredmények 2016
Idén 12 MIT-es dolgozat vett részt a konferencián, amikből az alábbi eredmények születtek:
· 1. helyezést 5 dolgozat,
· 2. helyezést 4 dolgozat,
· 3. helyezést 3 dolgozat,
Gratulálunk a konferencián résztvevő hallgatóinknak és konzulenseiknek!
1. helyezés
Spektrumbecslési módszerek adatvesztés esetén
Szerző:Palkó András
Konzulens:Dr. Sujbert László (MIT)
A kardiovaszkuláris rendszer non-invazív jellemzésének vizsgálata
Szerző:Nagy Péter
Konzulens:Dr. Jobbágy Ákos (MIT)
Akkordfelismerés rejtett Markov-modelles megközelítésben
Szerző:Pirkó Balázs
Konzulens:Dr. Bank Balázs (MIT)
Időzített automaták verifikációja CEGAR-alapú algoritmusokkal
Szerző:Farkas Rebeka
Konzulensek:Vörös András (MIT), Tóth Tamás (MIT), Hajdu Ákos (MIT)
Fordító optimalizációk szoftver verifikációhoz
Szerző:Sallai Gyula
Konzulensek:Tóth Tamás (MIT), Hajdu Ákos (MIT)
2. helyezés
Dinamikusan tipizált nyelvek gráfalapú statikus analízise
Szerző:Stein Dániel
Konzulensek:Szárnyas Gábor (MIT), Lippai Ádám (Tresorit kft ), Honfi Dávid (MIT)
Absztrakcióval támogatott tanulás regressziós tesztelés támogatására
Szerzők:Elekes Márton Farkas, Gujgiczer Anna
Konzulensek:Vörös András (MIT), Semeráth Oszkár (MIT)
Hierarchikus absztrakció alkalmazása állapot alapú rendszerek ellenőrzésére
Szerző:Czipó Bence
Konzulensek:Hajdu Ákos (MIT), Tóth Tamás (MIT)
Kiberfizikai rendszerek gráfmintaillesztés alapú elosztott ellenőrzése futási időben
Szerzők:Tóth Krisztián Dávid, Szilágyi Gábor
Konzulensek:Vörös András (MIT), Szárnyas Gábor (MIT), Búr Márton (MIT)
3. helyezés
Tesztkörnyezetek előállítása automatikus szabályalapú modellgenerálás segítségével
Szerző:Sólyom Alexandra Anna
Konzulensek:Nagy András Szabolcs (MIT), Szárnyas Gábor (MIT), Semeráth Oszkár (MIT)
Precíziós óraszinkronizáció és alkalmazása vezeték nélküli szenzorhálózatban
Szerzők:Badó Dávid, Somos Gergő, Várallyay Sámuel
Konzulensek:Dr. Kovácsházy Tamás (MIT), Vörös András (MIT)
Komponens-alapú reaktív rendszerek modellvezérelt tervezése és ellenőrzése
Szerző:Graics Bence
Konzulensek:Molnár Vince (MIT), Vörös András (MIT)