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
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
3. helyezés 2017. tavasz Farkas Rebeka Időzített automaták verifikációja CEGAR-alapú algoritmusokkal
3. helyezés 2017. tavasz Klenik Attila, Marussy Kristóf Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer
Jutalom 2017. tavasz Maginecz János Skálázható inkrementális gráflekérdezések kiértékelése
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
1. helyezés 2015. tavasz Stein Dániel Nagyméretű forráskódtárak inkrementális statikus analízise
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 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 Beszámoló
2. helyezés 2015. tavasz Szárnyas Gábor Inkrementális gráf lekérdezések a felhőben Beszámoló
Jutalom 2015. tavasz Horváth Benedek, Konnerth RaimundMázló Zsolt Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése 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 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 Zoltá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