OTDK

Félév: 2013. tavasz
Jutalom Félév Név Cím Konzulensek Kiírás Beszámoló
1. helyezés 2013. tavasz Hajdu Ákos, Mártonka Zoltán Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével PetriDotNet Beszámoló
1. helyezés 2013. tavasz Horányi Gergő Monitorok automatikus szintézise elosztott beágyazott rendszerek futásidőbeli verifikációjához Majzik István Beszámoló
2. helyezés 2013. tavasz Darvas Dániel, Jámbor Attila Komplex rendszerek modellezése és verifikációja Beszámoló
2. helyezés 2013. tavasz Dávid István Modellalapú fejlesztési módszer komplex események feldolgozásához Gönczy László Modellalapú módszer komplex események feldolgozásához
2. helyezés 2013. tavasz Tóth Tamás Valósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja
Félév: 2011. tavasz
Jutalom Félév Név Cím Konzulensek Kiírás Beszámoló
2. helyezés 2011. tavasz Izsó Benedek Szakterület specifikus mérnöki modellek ontológia alapú ellenőrzése Beszámoló
2. helyezés 2011. tavasz Salánki Ágnes Virtualizált környezetek platformszintű teljesítménymenedzsmentje Kocsis Imre
Jutalom 2011. tavasz Fejes Endre Java programok hívási gráf alapú vizsgálata Majzik István Beszámoló
Félév: 2009. tavasz
Jutalom Félév Név Cím Konzulensek Kiírás Beszámoló
2009. tavasz Hegedüs Ábel, Bende Tibor BPEL 2.0 alapú munkafolyamatok formális verifikációja
1. helyezés 2009. tavasz Bergmann Gábor, Ökrös András Eseményvezérelt modelltranszformációk inkrementális mintaillesztés segítségével és alkalmazásuk domain-specifikus modellezésben
3. helyezés 2009. tavasz Balogh Zoltán Modelltranszformációs szabályok automatikus generálása példák alapján Varró Dániel
3. helyezés 2009. tavasz Oláh János Modell alapú hibainjektáló környezet fejlesztése Majzik István
Félév: 2007. ősz
Jutalom Félév Név Cím Konzulensek Kiírás Beszámoló
1. helyezés 2007. ősz Ráth István Domain-specifikus modellezési nyelvek automatikus transzformációi
1. helyezés 2007. ősz Tóth Dániel Grafikus felhasználó felületek modell-alapú fejlesztése Balogh András
3. helyezés 2007. ősz Kovács Máté Munkafolyamatok szimulációja és formális analízise