Kari TDK 2011.

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

• 1. helyezés
  • Horányi Gergő: Monitorok automatikus szintézise elosztott beágyazott rendszerek futásidőbeli verifikációjához (Beágyazott rendszerek és irányítástechnika szekció)
    Konzulens: Majzik István
  • Dávid István: Modellalapú fejlesztési módszer komplex események feldolgozásához (Szoftver szekció)
    Konzulens: Gönczy László
  • Darvas Dániel, Jámbor Attila: Komplex rendszerek modellezése és verifikációja (Szoftver szekció)
    Konzulens: Bartha Tamás, Vörös András
• 2. helyezés
  • Semeráth Oszkár: Modelltranszformációk helyességellenőrzése formák analízisével (Szoftver szekció)
    Konzulens: Varró Dániel
• 3. helyezés
  • Tasi Katalin: Informatikai modellépítés interaktív támogatása (Információs és intelligens rendszerek szekció)
    Konzulens: Pataricza András