Regisztráció és bejelentkezés

Beágyazott rendszerek

hol és mikor

2023. november 16. (csütörtök) 9:00

IB025

elnök

  • Szirmay-Kalos László
    egyetemi tanár , Irányítástechnika és Informatika Tanszék

titkár

  • Kiss Bálint Dr.
    docens , Irányítástechnika és Informatika Tanszék

tagok

  • Dülk Ivor Dr.
    egyetemi adjunktus , Méréstechnika és Információs Rendszerek Tanszék
  • Hosszú Gábor Dr.
    habilitált egyetemi docens , Elektronikus Eszközök Tanszék
  • Pilászy György Dr.
    egyetemi docens , Irányítástechnika és Informatika Tanszék
  • Szántó Péter
    tanársegéd , Méréstechnika és Információs Rendszerek Tanszék

I. helyezett

Absztrakció alapú algoritmusok konfigurálható automataelméleti modellellenőrzéshez

Szerző: Rippl Balázs Róbert
Konzulensek: Mondok Milán (MIT), Szekeres Dániel (MIT)

II. helyezett

Igényvezérelt heurisztikaszámítás informált kereséssel támogatott absztrakció alapú modellellenőrzésben

Szerző: Vörös Asztrik
Konzulens: Szekeres Dániel (MIT)

II. helyezett

Többmagos mikrokontroller IPC teljesítmény vizsgálata

Szerző: Kovács Gergely
Konzulens: Dr. Kovácsházy Tamás (MIT)

II. helyezett

AutoAdversary: ML-alapú IoT malware detekció elleni támadások automatizálását támogató keretrendszer fejlesztése

Szerző: Barbova Tatiana
Konzulensek: Dr. Buttyán Levente (HIT), Nagy Roland (HIT)

III. helyezett

Wi-Fi alapú beltéri lokalizáció

Szerző: Rusvai Miklós
Konzulens: Dr. Kovácsházy Tamás (MIT)

III. helyezett

Támadásdetekció CAN hálózaton TCN használatával

Szerző: Koltai Beatrix
Konzulensek: Gazdag András (HIT), Dr. Ács Gergely (HIT)

III. helyezett

Natív pointer-támogatás absztrakció-alapú modellellenőrzésben

Szerző: Sisák Botond Bendegúz
Konzulensek: Bajczi Levente (MIT), Dr. Vörös András (MIT)

III. helyezett

PocketQube osztályú műholdak energiaellátó és teszt rendszerének fejlesztése

Szerző: Püspöki Péter
Konzulens: Dr. Dudás Levente (HVT)

Jutalom

A DDS kommunikációs szabvány memóriamodelljeinek formalizálása

Szerző: Rádai Ronald
Konzulens: Huszerl Gábor (MIT)

Jutalom

Egy új módszer a hasonlóság-alapú IoT malware-detekció robusztusságának növelésére

Szerző: Sándor József
Konzulensek: Dr. Buttyán Levente (HIT), Nagy Roland (HIT)

Jutalom

Oktatási célú, mágneses elvű helyzetstabilizáló rendszer kisműhold fedélzetére

Szerző: Aman Ainur
Konzulens: Herman Tibor (HVT)