OTDK

Félév: 2019. tavasz
Jutalom	Félév	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	2019. tavasz	Bajczi Levente	Konkurens programok HW-SW együttes verifikálása	Vörös András Molnár Vince
1. helyezés	2019. tavasz	Elekes Márton, Antal János Benjamin	Gráf információs rendszerek összehasonlító teljesítménymérése	Szárnyas Gábor		Beszámoló
2. helyezés	2019. tavasz	Beöthy Bence	Integrált szoftver életciklus menedzsment gráfadatbázis technológiákkal	Ráth István Zoltán		Beszámoló
2. helyezés	2019. tavasz	Graics Bence	Reaktív rendszerek modellvezérelt fejlesztése vegyes szinkron és aszinkron hierarchikus kompozícióval	Molnár Vince		Beszámoló

Félév: 2017. tavasz
Jutalom	Félév	Név	Cím	Konzulensek	Kiírás	Beszámoló
2. helyezés	2017. tavasz	Sallai Gyula	Fordító optimalizációk szoftver verifikációhoz	Tóth Tamás Hajdu Ákos
3. helyezés	2017. tavasz	Farkas Rebeka	Időzített automaták verifikációja CEGAR-alapú algoritmusokkal	Vörös András Tóth Tamás Hajdu Ákos
3. helyezés	2017. tavasz	Klenik Attila, Marussy Kristóf	Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer	Molnár Vince Vörös András
Jutalom	2017. tavasz	Maginecz János	Skálázható inkrementális gráflekérdezések kiértékelése	Szárnyas Gábor Ráth István Zoltán Bergmann Gábor

Félév: 2015. tavasz
Jutalom	Félév	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	2015. tavasz	Barta Ágnes, Semeráth Oszkár	Szakterület-specifikus nyelvek konzisztenciaellenőrzése	Szatmári Zoltán Horváth Ákos Varró Dániel
1. helyezés	2015. tavasz	Stein Dániel	Nagyméretű forráskódtárak inkrementális statikus analízise	Szárnyas Gábor Ráth István Zoltán
2. helyezés	2015. tavasz	Nagy András Szabolcs	Többcélú optimalizációs módszerek szabály alapú tervezésitér-bejáráshoz	Horváth Ákos Varró Dániel		Beszámoló
2. helyezés	2015. tavasz	Segesdi Dániel, Molnár Vince	Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére	Bartha Tamás Vörös András		Beszámoló
2. helyezés	2015. tavasz	Szárnyas Gábor	Inkrementális gráf lekérdezések a felhőben	Ráth István Zoltán Izsó Benedek Varró Dániel		Beszámoló
Jutalom	2015. tavasz	Horváth Benedek, Konnerth RaimundMázló Zsolt	Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése	Vörös András Horváth Ákos		Beszámoló

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	Bartha Tamás Vörös András	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	Vörös András Bartha Tamás		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	Majzik István Vörös András

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	Szatmári Zoltán Polgár Balázs		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	Varró Dániel Gönczy László Kovács Máté
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	Varró Dániel Ráth István Zoltán Varró Gergely
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 Zoltán	Domain-specifikus modellezési nyelvek automatikus transzformációi	Varró Dániel Balogh András
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	Gönczy László Varró Dániel