Kari TDK

Félév: 2020. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Mondok Milán	Kiterjesztett szimbolikus tranzíciós rendszerek: köztes nyelv mérnöki modellek formális verifikációjához	Ákos Hajdu		Beszámoló
1. helyezés	Szekeres Dániel	Komplex elosztott rendszerek tenzorreprezentáció alapú extra-funkcionális analízise	Kristóf Marussy		Beszámoló
2. helyezés	Almási Nóra	SAT/SMT megoldók vezérlése döntési diagramokkal absztrakcióalapú modellellenőrzés támogatására	Vince Molnár		Beszámoló
2. helyezés	Csuvarszki János Csanád	Heterogén kiberfizikai rendszerek modellvezérelt fejlesztése	Bence Graics András Vörös		Beszámoló
2. helyezés	Szalontai Jenő, Nándor LengyelRichárd Szabó	Edge-alapú kritikus kiberfizikai rendszerek szemantikusan támogatott modellvezérelt telepítése	András Vörös Imre Kocsis		Beszámoló

Félév: 2019. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Dobos-Kovács Mihály	Formal verification driven test generation in automotive software development	András Vörös
1. helyezés	Nagy Simon József	Komplex kiberfizikai rendszerek állapot alapú modelljeinek megbízhatósági analízise statisztikai inferenciája és verifikációja	Kristóf Marussy
1. helyezés	Szekeres Dániel	Tenzorreprezentációs módszerek a komplex biztonságkritikus rendszerek megbízhatóságának vizsgálatában	Kristóf Marussy
2. helyezés	Mondok Milán	Kritikus rendszerek absztrakcióval támogatott lineáris idejű modellellenőrzése	András Vörös Vince Molnár		Beszámoló

Félév: 2018. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Bajczi Levente	Konkurens programok HW-SW együttes verifikációja	András Vörös Vince Molnár
1. helyezés	Beöthy Bence	Integrált szoftver életciklus menedzsment gráfadatbázis technológiákkal	István Zoltán Ráth Ábel Hegedüs		Beszámoló
1. helyezés	Elekes Márton, János Benjamin Antal	Gráf információs rendszerek összehasonlító teljesítménymérése	Gábor Szárnyas		Beszámoló
2. helyezés	Dobos-Kovács Mihály	Modellellenőrzés és tesztelés: egy kombinált megközelítés szoftverek verifikálására	András Vörös Ákos Hajdu		Beszámoló
3. helyezés	Bajkai Viktória Dorina	Szorzat absztrakció-alapú stratégiák hatékony szoftver-modellellenőrzéshez	Ákos Hajdu		Beszámoló

Félév: 2017. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Graics Bence	Reaktív rendszerek modellvezérelt fejlesztése vegyes szinkron és aszinkron hierarchikus kompozícióval	Vince Molnár		Beszámoló
2. helyezés	Burján Dezső	Döntéstámogatási módszerek alkalmazása teljesítménymodellek adatvezérelt szintézisében	László Gönczy		Beszámoló
2. helyezés	Elekes Márton, Anna Gujgiczer	Modellalapú automatatanulás formális modellek szintéziséhez	Rebeka Farkas Tamás Tóth András Vörös		Beszámoló
2. helyezés	Földvári András	Megbízható kiber-fizikai rendszerek tervezése és ellenőrzése	András Pataricza		Beszámoló
2. helyezés	Hajdu Csaba	Tesztkörnyezetek generálása és monitorozása autonóm robotok teszteléséhez	András Vörös István Majzik	Autonóm robotok szimulátor alapú tesztelése	Beszámoló

Félév: 2016. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Farkas Rebeka Krisztina	Időzített automaták verifikációja CEGAR-alapú algoritmusokkal	András Vörös Tamás Tóth Ákos Hajdu		Beszámoló
1. helyezés	Sallai Gyula	Fordító optimalizációk szoftver verifikációhoz	Tamás Tóth Ákos Hajdu		Beszámoló
2. helyezés	Czipó Bence	Hierarchikus absztrakció alkalmazása állapot alapú rendszerek ellenőrzésére	Ákos Hajdu Tamás Tóth		Beszámoló
2. helyezés	Elekes Márton, Anna Gujgiczer	Absztrakcióval támogatott tanulás regressziós tesztelés támogatására	András Vörös Oszkár Semeráth		Beszámoló
2. helyezés	Tóth Krisztián Dávid, Gábor Szilágyi	Kiberfizikai rendszerek gráfmintaillesztés alapú elosztott ellenőrzése futási időben	András Vörös Márton Búr Gábor Szárnyas
3. helyezés	Graics Bence	Komponens-alapú reaktív rendszerek modellvezérelt tervezése és ellenőrzése	Vince Molnár András Vörös		Beszámoló
3. helyezés	Sólyom Alexandra Anna	Tesztkörnyezetek előállítása automatikus szabályalapú modellgenerálás segítségével	András Szabolcs Nagy Oszkár Semeráth Gábor Szárnyas

Félév: Fall 2015
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Élő Dániel, Adrián Soltész	Szimbolikus modellellenőrzés és végrehajtási szekvencia generálás vezérelt kereséssel	Vince Molnár András Vörös		Beszámoló
1. helyezés	Kővári Zsolt	Gráflekérdezések teljesítményelemzése	Gábor Szárnyas István Zoltán Ráth	Gráflekérdezések teljesítményelemzése
1. helyezés	Maginecz János	Scalable Incremental Graph Query Evaluation	Gábor Szárnyas István Zoltán Ráth Gábor Bergmann
1. helyezés	Marussy Kristóf, Attila Klenik	Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer	Vince Molnár András Vörös	Sztochasztikus analízis
2. helyezés	Hegyi Bálint Bence, László Márk BaloghFlórián Deé	Hierarchikus futásidejű verifikáció kritikus kiberfizikai rendszerekhez	István Zoltán Ráth Dániel Varró András Vörös		Beszámoló
2. helyezés	Molnár Gábor	Általános regressziós tesztelő módszer modellalapú fejlesztéshez	Zoltán Micskei	Regressziós tesztelés és tesztoptimalizálás	Beszámoló
2. helyezés	Szilvásy Noémi, Balázs Urbán	Adatelemzési folyamatok diagnosztikája és adatminőségérzékenység-elemzése	László Gönczy Imre Kocsis		Beszámoló
Jutalom	Bártfay György	Biztonsági követelmények minta alapú formalizálása	István Majzik	Biztonsági követelmények minta alapú formalizálása	Beszámoló
Jutalom	Lengyel Ádám	Nézeti modellek egyszerűsített, kétirányú szinkronizációja	Ákos Horváth Csaba Debreceni Oszkár Semeráth		Beszámoló

Félév: 2014. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Barta Ágnes	Absztrakt tesztadat generálás autonóm és elosztott rendszerekhez	Zoltán Szatmári Oszkár Semeráth András Vörös
1. helyezés	Konnerth Raimund, Benedek HorváthZsolt Mázló	Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése	András Vörös Ákos Horváth		Beszámoló
1. helyezés	Makai József	Inkrementális lekérdezések optimalizációja a felhőben	Gábor Szárnyas István Zoltán Ráth Ákos Horváth		Beszámoló
1. helyezés	Nagy András Szabolcs	Többcélú optimalizációs módszerek szabály alapú tervezési tér bejáráshoz	Dániel Varró Ákos Horváth		Beszámoló
1. helyezés	Stein Dániel	Nagyméretű forráskódtárak inkrementális statikus analízise	Gábor Szárnyas István Zoltán Ráth		Beszámoló
2. helyezés	Farkas Rebeka Krisztina	Absztrakt interpretációt használó keresési stratégiák Petri-háló alapú modellekhez	András Vörös Oszkár Semeráth Tamás Tóth		Beszámoló
2. helyezés	Honfi Dávid	Szimbolikus végrehajtás alapú tesztgenerálás támogatása és analízise	Zoltán Micskei András Vörös		Beszámoló
2. helyezés	Szloboda István	Vasúti rendszerek környezeti modellen alapuló kockázatelemzése	András Vörös Balázs Polgár		Beszámoló
3. helyezés	Hőnich Ágnes Kata	Informatikai rendszerekkel szembeni követelmények érzékenységanalízise	András Pataricza		Beszámoló
3. helyezés	Magyar Dániel László, Hoangthanh Atti...	Optimization of Systems with Dynamic Structures	András Pataricza László Gönczy	Dinamikus struktúrájú rendszerek optimalizálása: folyamatmodellezés	Beszámoló

Félév: 2013. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Molnár Vince, Dániel Segesdi	Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére	András Vörös Tamás Bartha	PetriDotNet	Beszámoló
1. helyezés	Semeráth Oszkár, Ágnes Barta	Szakterület-specifikus nyelvek konzisztencia ellenőrzése	Dániel Varró Ákos Horváth Zoltán Szatmári		Beszámoló
1. helyezés	Szárnyas Gábor	Inkrementális gráf lekérdezések a felhőben	István Zoltán Ráth Benedek Izsó Dániel Varró	Szuperskálázható modellezés	Beszámoló
2. helyezés	Cseppentő Lajos	Szimbolikus végrehajtást használó tesztgeneráló eszközök egységes összehasonlítása	Zoltán Micskei
2. helyezés	Debreceni Csaba	Automatikus absztrakció a modellvezérelt fejlesztésben	Ákos Horváth Ábel Hegedüs Dániel Varró
3. helyezés	Nádudvari György	Intelligens adatfeldolgozás és -elemzés modell alapú támogatása	László Gönczy
3. helyezés	Nagy András Szabolcs, Miklós Földényi	Nagyhatékonyságú tervezési tér bejárás modellvezérelt technikákkal	Ákos Horváth Ábel Hegedüs		Beszámoló
Jutalom	Urbán Balázs, János Hartwig	Szabályalapú diagnosztika üzleti folyamat vezérelt rendszerekben	László Gönczy		Beszámoló

Félév: 2012. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Búr Márton	MATLAB-SIMULINK rendszerek modell-alapú validációja	Ábel Hegedüs Ákos Horváth		Beszámoló
1. helyezés	Hajdu Ákos, Zoltán Mártonka	Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével	Tamás Bartha András Vörös		Beszámoló
1. helyezés	Tóth Tamás	Valósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja	István Majzik András Vörös		Beszámoló
2. helyezés	Csikós Donát	Nagy szoftverinfrastruktúra feletti inkrementális modell-analízis	István Zoltán Ráth Ákos Horváth
2. helyezés	Jeszenszky Balázs Dávid	Automatikus kódgenerálás helyességének ellenőrzése	István Majzik		Beszámoló
2. helyezés	Molnár Vince	Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz	Tamás Bartha András Vörös		Beszámoló

Félév: 2011. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Darvas Dániel, Attila Jámbor	Komplex rendszerek modellezése és verifikációja	Tamás Bartha András Vörös	PetriDotNet	Beszámoló
1. helyezés	Dávid István	Modellalapú fejlesztési módszer komplex események feldolgozásához	László Gönczy	Modellalapú módszer komplex események feldolgozásához	Beszámoló
1. helyezés	Horányi Gergő	Monitorok automatikus szintézise elosztott beágyazott rendszerek futásidőbeli verifikációjához	István Majzik		Beszámoló
2. helyezés	Semeráth Oszkár	Modelltranszformációk helyességellenőrzése formák analízisével	Dániel Varró		Beszámoló
3. helyezés	Tasi Katalin	Informatikai modellépítés interaktív támogatása	András Pataricza		Beszámoló

Félév: 2010. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Darvas Dániel	Szaturáció alapú automatikus modellellenőrző fejlesztése aszinkron rendszerekhez	Tamás Bartha András Vörös	PetriDotNet	Beszámoló
1. helyezés	Salánki Ágnes	Virtualizált környezetek platformszintű teljesítménymenedzsmentje	Imre Kocsis
2. helyezés	Horányi Gergő, Balázs Dávid Je...	Elosztott beágyazott rendszerek formális modellek alapján történő fejlesztése paraméterezhető kódgenerálás segítségével	István Majzik		Beszámoló
2. helyezés	Izsó Benedek	Szoftver modellek követelmény-verifikációjának támogatása ontológiák segítségével	Zoltán Szatmári Ákos Horváth Balázs Polgár István Zoltán Ráth		Beszámoló
2. helyezés	Jámbor Attila, Tamás Szabó	Aszinkron rendszerek modellellenőrzése párhuzamos technikákkal	András Vörös Ákos Horváth		Beszámoló

Félév: 2009. ősz
Jutalom	Név	Cím	Konzulensek	Kiírás	Beszámoló
1. helyezés	Fejes Endre	Java programok hívási gráf alapú vizsgálata	István Majzik		Beszámoló
1. helyezés	Izsó Benedek	Szakterület specifikus mérnöki modellek ontológia alapú ellenőrzése	Zoltán Szatmári Balázs Polgár		Beszámoló
Jutalom	Dávid István	Testreszabható modelltranszformációk	László Gönczy		Beszámoló