Kari TDK 2010.

2010. november 17-én került megrendezésre a 2010-es Tudományos Diákköri Konferencia a Villamosmérnöki és Informatikai Karon. A csoport hallgatói összesen öt dolgozatot mutattak be a nap során, két első és három második helyezést elérve. Az eredményekhez ezúton is gratulálunk!

A csoport hallgatói a következő dolgozatokat mutatták be:

• 1. helyezés
  • Darvas Dániel: Szaturáció alapú automatikus modellellenőrző fejlesztése aszinkron rendszerekhez (Szoftver szekció)
    Konzulens: Bartha Tamás, Vörös András
  • Salánki Ágnes: Virtualizált környezetek platformszintű teljesítménymenedzsmentje (Hálózatok teljesítményvizsgálata szekció)
    Konzulens: Kocsis Imre
• 2. helyezés
  • Izsó Benedek: Szoftver modellek követelmény-verifikációjának támogatása ontológiák segítségével (Szoftver szekció)
    Konzulens: Szatmári Zoltán, Horváth Ákos, Polgár Balázs, Ráth István
  • Jámbor Attila, Szabó Tamás: Aszinkron rendszerek modellellenőrzése párhuzamos technikákkal (Információs rendszerek szekció)
    Konzulens: Vörös András, Horváth Ákos
  • Jeszenszky Balázs, Horányi Gergő: Elosztott beágyazott rendszerek formális modellek alapján történő fejlesztése paraméterezhető kódgenerálás segítségével (Szoftver szekció)
    Konzulens: Majzik István