Beágyazott rendszerek
hol és mikor
2022. november 17. (csütörtök) 9:00
Q.B.F.08.
elnök
-
Bitó János Zoltán Dr.
egy. doc. , Szélessávú Hírközlés és Villamosságtan Tanszék
titkár
-
Csathó Botond Tamás
doktorandusz , Szélessávú Hírközlés és Villamosságtan Tanszék
tagok
-
Farkasvolgyi Andrea
tanársegéd , Szélessávú Hírközlés és Villamosságtan Tanszék -
Krébesz Tamás
Egyetemi tanársegéd , Méréstechnika és Információs Rendszerek Tanszék -
Renczes Balázs Dr.
Adjunktus , Méréstechnika és Információs Rendszerek Tanszék -
Schranz Ágoston Dr.
adjunktus , Híradástechnikai Tanszék -
Szabó Sándor Dr.
adjunktus , Híradástechnikai Tanszék -
Vaitkus Márton Dr.
Adjunktus , Irányítástechnika és Informatika Tanszék
Knorr-Bremse VJRH Kft I. helyezett
Hasonlóság-alapú IoT malware-detekciós módszerek kijátszással szembeni robusztussága
Szerző: Sándor József
Konzulens: Dr. Buttyán Levente (HIT)
ThyssenKrupp I. helyezett
Absztrakció-alapú trace generálás formális verifikációs eszközök szemantikájának validációjára
Szerző: Ádám Zsófia
Konzulens: Dr. Micskei Zoltán (MIT)
Knorr-Bremse VJRH Kft I. helyezett
Absztrakció alapú technikák CHC problémák hatékony megoldására
Szerző: Somorjai Márk István
Konzulensek: Dobos-Kovács Mihály (MIT), Bajczi Levente (MIT), Dr. Vörös András (MIT)
Knorr-Bremse VJRH Kft I. helyezett
Informált keresési stratégiák absztrakció alapú modellellenőrzésben
Szerző: Vörös Asztrik
Konzulensek: Szekeres Dániel (MIT), Dr. Vörös András (MIT), Dr. Molnár Vince (MIT)
Huawei Technologies Hungary Kft. II. helyezett
Szoftver-definiált hőmérséklet kompenzált oszcillátor fejlesztése
Szerző: Vozár Viktor
Konzulens: Dr. Kovácsházy Tamás (MIT)
III. helyezett
Komplex mérőrendszer napelemes rendszerek vizsgálatára
Szerző: Girgász Péter Ákos
Konzulens: Dr. Dülk Ivor (MIT)
III. helyezett
Mutációs tesztelés alkalmazása biztonságkritikus beágyazott rendszerek tesztelésében
Szerző: Serban Andrada Alexia
Konzulensek: Dr. Micskei Zoltán (MIT), Rozgonyi Péter (Knorr-Bremse Vasúti Jármű Rendszerek Hungária Kft.)
III. helyezett
Tesztgenerálás részlegesen modellezett állapotalapú szoftverkomponensekhez
Szerző: Seres Soma
Konzulens: Dr. Molnár Vince (MIT)