Szoftver
hol és mikor
2022. november 17. (csütörtök) 9:00
I.B.028.
elnök
titkár
tagok
-
Csorba Kristóf Dr.
egyetemi docens , Automatizálási és Alkalmazott Informatikai Tanszék -
Sonkoly Balázs Dr.
egyetemi docens , Távközlési és Médiainformatikai Tanszék -
Suba Gergely Dr.
Osztályvezető -
Ujhelyi Zoltán Dr.
IT Manager
E-Group I. helyezett
Kollaboratív munkafolyamatok titkosságmegőrző, blokklánc alapú végrehajtása
Szerző: Toldi Balázs Ádám
Konzulens: Dr. Kocsis Imre (MIT)
BME AUT - Tuschák díj I. helyezett
Mozgásszekvenciák felismerése mesterséges intelligencia alapú pózdetektálás segítségével
Szerző: Stuksza Gábor
Konzulens: Dr. Forstner Bertalan (AUT)
Huawei Technologies Hungary Kft. I. helyezett
Részleges rendezés redukció többszálú programok absztrakcióalapú formális verifikációjának támogatásához
Szerző: Telbisz Csanád Ferenc
Konzulensek: Bajczi Levente (MIT), Szekeres Dániel (MIT), Dr. Vörös András (MIT)
IncQuery Labs Zrt. I. helyezett
Gráflekérdezésekkel támogatott architektúra kiértékelés és szintézis szolgáltatásbiztonsági jellemzők alapján
Szerző: Földiák Máté
Konzulens: Marussy Kristóf (MIT)
IncQuery Labs Zrt. I. helyezett
Memóriafelhasználás optimalizálása kvantumalgoritmusok szimulációja során
Szerző: Nemkin Viktória
Konzulens: Friedl Katalin (SZIT)
Morgan Stanley II. helyezett
Absztrakció alapú modellellenőrzési technikák valós idejű rendszerekhez
Szerzők: Cziborová Dóra, Béla Vizi
Konzulensek: Dobos-Kovács Mihály (MIT), Szekeres Dániel (MIT), Marussy Kristóf (MIT)
Morgan Stanley II. helyezett
Formális módszerekkel a jobb szabványokért: Az UML PSSM állapotgép-szemantika szabvány validációja
Szerzők: Szkupien Péter, Zavada Ármin
Konzulensek: Elekes Márton (MIT), Graics Bence (MIT), Dr. Molnár Vince (MIT)
III. helyezett
Total React: reaktív minta alkalmazása adatvezérelt .NET alkalmazások minden rétegében
Szerző: Princz Tamás
Konzulens: Simon Gábor (AUT)
Morgan Stanley III. helyezett
Infrastructure as Code eszközök alkalmazása oktatási környezetben
Szerző: Karsa Zoltán István
Konzulens: Dr. Szeberényi Imre (IIT)
Jutalom
Otthonbiztonság megteremtése elérhető beágyazott rendszer segítségével mesterséges intelligencia alapokon
Szerző: Németh Gergely
Konzulens: Dr. Forstner Bertalan (AUT)
Jutalom
IOT eszközök kommunikációjának támadása kvantumszámítógéppel
Szerző: Török Ádám
Konzulens: Dr. Imre Sándor (HIT)