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)