|
2018. ősz |
Tegzes Tamás |
Inkrementális, induktív modellellenőrzés alkalmazása szoftverekre |
Tamás Tóth |
|
Beszámoló |
|
Fall 2015 |
Glaser Ádám |
Szemantikus dokumentációkezelés a modellvezérelt szoftverfejlesztésben |
István Zoltán Ráth |
|
Beszámoló |
|
Fall 2015 |
Koncz Viktória Anna |
Numerikus algoritmus finomhangolása |
András Pataricza |
|
|
|
Fall 2015 |
Tóth Bálint |
Tervezésitér-bejárás alkalmazása termékjellemző-modellek generálására |
Gábor Bergmann |
Állapotgép-konstrukciós feladatok automatizált előállítása |
Beszámoló |
|
Spring 2015 |
Raszler Gergő Imre |
Anomáliadetektálás adatfolyamokon |
Ágnes Salánki |
Ritka események detektálása adatfolyamokon |
Beszámoló |
|
2014. ősz |
Farkas Rebeka Krisztina |
Lineáris tranzíciós rendszerek absztrakt interpretáció alapú verifikációja |
András Vörös |
Lineáris tranzíciós rendszerek absztrakt interpretáció alapú verifikációja |
Beszámoló |
|
2014. ősz |
Horváth Benedek |
Elosztott biztonságkritikus rendszerek xtUML alapú modellvezérelt fejlesztése |
András Vörös |
Elosztott biztonságkritikus rendszerek xtUML alapú modellvezérelt fejlesztése |
Beszámoló |
|
2014. tavasz |
Dudás Ádám |
Modell-lekérdezések statikus analízise |
|
Modell-lekérdezések statikus analízise |
Beszámoló |
|
2012. ősz |
Molnár Vince |
Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz |
|
|
Beszámoló |
