|
2018. tavasz |
Graics Bence |
Állapotgépek vegyes szemantika szerinti kompozíciója reaktív rendszerek modellvezérelt tervezéséhez |
Molnár Vince |
|
Beszámoló |
|
2017. ősz |
Élő Dániel |
Felhő-alapú infrastruktúra rekonfigurációjának verifikációs technikái |
Vörös András |
|
Beszámoló |
|
2016. tavasz |
Borlay Dániel |
Mikroszolgáltatásokra épülő architektúra fejlesztésének és tesztelésének támogatása |
Szatmári Zoltán |
|
|
|
2016. tavasz |
Dinh Hoangthanh Attila |
Qualitative modelling and analysis of IT infrastructures |
Pataricza András |
|
|
|
2016. tavasz |
Farkas Rebeka Krisztina |
Időzített rendszerek CEGAR alapú analízise |
|
|
Beszámoló |
|
2016. tavasz |
Stein Dániel |
JavaScript forráskódtárak gráfalapú statikus analízise |
Szárnyas Gábor |
JavaScript forráskódtárak gráfalapú statikus analízise |
Beszámoló |
|
2015. ősz |
Borbás Tamás |
Futtatható UML modellek megvalósítása elosztott környezetben |
Horváth Ákos |
|
|
|
2015. ősz |
Gerencsér György |
Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez |
Bergmann Gábor |
Modellek feletti lekérdezések példa alapján |
|
|
2015. ősz |
Gerencsér György |
Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez |
Bergmann Gábor |
Modellek feletti lekérdezések példa alapján |
Beszámoló |
|
2015. ősz |
Kárász István |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
Ráth István Zoltán |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
Beszámoló |
|
2015. ősz |
Szokodi Ákos |
Szemantika vezérelt felhasználói felületek |
Pataricza András |
|
Beszámoló |
|
2015. tavasz |
Borbás Tamás |
Futtatható UML modellek megvalósítása elosztott környezetben |
Horváth Ákos |
|
Beszámoló |
|
2015. tavasz |
Dóczi Róbert László |
Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett |
Ráth István Zoltán |
Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett |
|
|
2015. tavasz |
Hajdu Ákos |
CEGAR-alapú modellellenőrzés vizsgálata |
Vörös András |
|
Beszámoló |
|
2015. tavasz |
Kárász István |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
Ráth István Zoltán |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
|
|
2015. tavasz |
Kárász István |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
Ráth István Zoltán |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
Beszámoló |
|
2015. tavasz |
Lunk Péter |
Modelltranszformációk fejlesztését támogató keretrendszer tervezése |
|
|
|
|
2015. tavasz |
Molnár Gábor |
Modellalapú regressziós tesztelő eszköz fejlesztése |
Micskei Zoltán |
Regressziós tesztelés és tesztoptimalizálás |
Beszámoló |
|
2015. tavasz |
Unicsovics Milán György |
Tesztgenerálás állapotgép alapú modellekből |
Micskei Zoltán |
Tesztgenerálás állapotgép alapú modellekből |
Beszámoló |
|
2015. tavasz |
Urbán Balázs |
Hibaterjedési analízis és diagnosztikai szabályok tervezése folyamat alapú rendszerekben |
Gönczy László |
Hibaterjedési vizsgálatok üzleti folyamat alapú rendszerekben |
Beszámoló |
|
2014. ősz |
Gerencsér György |
Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez |
Bergmann Gábor |
|
Beszámoló |
|
2014. ősz |
Molnár Vince |
Advanced Saturation-based Model Checking |
|
Szaturáció alapú Lineáris Temporális Logikai modellellenőrzés |
Beszámoló |
|
2014. tavasz |
Bajor Tamás |
Modell alapú tesztelés beágyzott környezetben |
Micskei Zoltán |
|
Beszámoló |
|
2014. tavasz |
Nagy András Szabolcs |
Szakterület független genetikus algoritmus a VIATRA-DSE keretrendszerhez |
|
|
Beszámoló |
|
2014. tavasz |
Pál Balázs Sándor |
Modell-lekérdezések hatékony kiértékelése |
Bergmann Gábor |
|
Beszámoló |
|
2013. ősz |
Menyhért Ákos |
Repülőgépfedélzeti Beágyazott Rendszerek HW-SW Allokációjának Modell-vezérelt Specifikációja |
|
|
Beszámoló |
|
2013. tavasz |
Ableda Péter |
Kérések optimális feldolgozása mikroszolgáltatás alapú rendszerekben |
Majzik István |
|
Beszámoló |
|
2013. tavasz |
Bogsch Balázs |
Számítási felhők üzemeltetésének tervezési tér felderítése |
|
|
Beszámoló |
|
2013. tavasz |
Csicsely Attila |
Integrációs tesztelés beágyazott rendszerekben teszt fedettségi kritériumok szerint |
Majzik István |
|
Beszámoló |
|
2013. tavasz |
Csurgó Tamás |
Szoftver teszt fedettségmérés beágyazott vezérlők esetén |
Majzik István |
|
Beszámoló |
|
2013. tavasz |
Dávid István |
Komplex események feldolgozása modelltranszformációs rendszerekben |
Ráth István Zoltán |
|
Beszámoló |
|
2013. tavasz |
Farkas Bálint |
Virtualizációs technológiák bevezetése kisvállalati környezetben |
Szatmári Zoltán |
Virtualizációs technológiák bevezetése kisvállalati környezetben |
Beszámoló |
|
2013. tavasz |
Horányi Gergő |
Monitor szintézis kontextusfüggő alkalmazások futásidőbeli ellenőrzéséhez |
Majzik István |
|
Beszámoló |
|
2013. tavasz |
Lóránd Bálint Tamás |
iOS alkalmazások modellalapú fejlesztése |
Ráth István Zoltán |
Multiplatform mobil alkalmazások generálása |
Beszámoló |
|
2013. tavasz |
Pál Balázs Sándor |
TREAT inkrementális lekérdezések előretekintő kereséssel |
Bergmann Gábor |
|
Beszámoló |
|
2013. tavasz |
Szárnyas Gábor |
Szuperskálázható modellezés |
|
|
Beszámoló |
|
2013. tavasz |
Tóth János, Tóth János |
Hardver és szoftver platform kidolgozása Cortex M magú vezérlőhöz |
Majzik István |
|
Beszámoló |
|
2012. ősz |
Farkas Máté |
Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra |
Majzik István |
|
|
|
2012. ősz |
Rádi Attila |
Mobil informatikai eszközök az otthoni betegápolásban |
Majzik István |
|
Beszámoló |
|
2012. tavasz |
Csikós Donát |
Nagyméretű szoftverinfrastruktúra minőségi analízise |
Ráth István Zoltán |
|
Beszámoló |
|
2012. tavasz |
Dávid István |
Eseményfeldolgozás modell alapú támogatása |
Gönczy László |
|
|
|
2012. tavasz |
Farkas Máté |
Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra |
Majzik István |
|
Beszámoló |
|
2012. tavasz |
Keresztes László Bálint |
KULCSFONTOSSÁGÚ TELJESÍTMÉNYMUTATÓK VIZUALIZÁLÁSA A LUFTHANSA SYSTEMS HUNGARYNÉL (belső: Hullám Gábor, Strausz György külső: Süveges Zoltán) |
Gönczy László |
|
|
|
2012. tavasz |
Kovács János |
SOA metamodellező keretrendszer bővítése IBM eszköztámogatással (Simon Balázs IIT) |
Gönczy László |
|
|
|
2012. tavasz |
Krányecz Csaba |
Üzleti folyamatok modellvezérelt megfigyelése |
Gönczy László |
|
|
|
2012. tavasz |
Orova Péter |
Szoftver-üzemeltethetőség mérése és befolyásoló tényezői |
Kocsis Imre |
|
|
|
2012. tavasz |
Szennai Miklós |
Kódfedési vizsgálatok hardveresen támogatott programvégrehajtás követéssel |
Majzik István |
|
Beszámoló |
|
2012. tavasz |
Szuchy Gabriella |
Modell alapú adatelőkészítés kiértékeléshez |
Pataricza András |
|
|
|
2012. tavasz |
Szuchy Gabriella |
Modell alapú adatelőkészítés kiértékeléshez |
Pataricza András |
|
|
|
2012. tavasz |
Tóth Ervin |
Ontológia alapú adat- és szolgáltatásbiztonság tervezés |
Pataricza András |
|
Beszámoló |
|
2011. tavasz |
Ágoston István |
Biztonságkritikus rendszerek tanúsítását támogató rendszer tervezése |
Polgár Balázs |
|
Beszámoló |
|
2011. tavasz |
Csikós Donát |
JBoss webalkalmazások teljesítményvizsgálata |
|
|
Beszámoló |
|
2011. tavasz |
Gyöngyi Lajos András |
BPMN Szimuláció |
|
|
Beszámoló |
|
2011. tavasz |
Horváth Dóra |
Hatékony gráftranszformációs rendszer megvalósítása relációs adatbázis alapokon |
|
|
Beszámoló |
|
2011. tavasz |
Juhász Gergely |
Verifikációs folyamatok a biztonságkritikus rendszerek tanúsításában |
Polgár Balázs |
|
Beszámoló |
