|
2018. ősz |
Tegzes Tamás |
Inkrementális, induktív modellellenőrzés alkalmazása szoftverekre |
Tóth Tamás |
|
Beszámoló |
|
2015. ősz |
Glaser Ádám |
Szemantikus dokumentációkezelés a modellvezérelt szoftverfejlesztésben |
Ráth István Zoltán |
|
Beszámoló |
|
2015. ősz |
Koncz Viktória Anna |
Numerikus algoritmus finomhangolása |
Pataricza András |
|
|
|
2015. ősz |
Tóth Bálint |
Tervezésitér-bejárás alkalmazása termékjellemző-modellek generálására |
Bergmann Gábor |
Állapotgép-konstrukciós feladatok automatizált előállítása |
Beszámoló |
|
2015. tavasz |
Raszler Gergő Imre |
Anomáliadetektálás adatfolyamokon |
Salánki Ágnes |
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 |
Vörös Andrá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 |
Vörös Andrá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ó |
