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 FarkasGujgiczer 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ávidSzilá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ávidSomos 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)