|
2018. tavasz |
Graics Bence |
Állapotgépek vegyes szemantika szerinti kompozíciója reaktív rendszerek modellvezérelt tervezéséhez |
Vince Molnár |
|
Beszámoló |
|
2017. ősz |
Élő Dániel |
Felhő-alapú infrastruktúra rekonfigurációjának verifikációs technikái |
András Vörö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 |
Zoltán Szatmári |
|
|
|
2016. tavasz |
Dinh Hoangthanh Attila |
Qualitative modelling and analysis of IT infrastructures |
András Pataricza |
|
|
|
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 |
Gábor Szárnyas |
JavaScript forráskódtárak gráfalapú statikus analízise |
Beszámoló |
|
Fall 2015 |
Borbás Tamás |
Futtatható UML modellek megvalósítása elosztott környezetben |
Ákos Horváth |
|
|
|
Fall 2015 |
Gerencsér György |
Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez |
Gábor Bergmann |
Modellek feletti lekérdezések példa alapján |
|
|
Fall 2015 |
Gerencsér György |
Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez |
Gábor Bergmann |
Modellek feletti lekérdezések példa alapján |
Beszámoló |
|
Fall 2015 |
Kárász István |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
István Zoltán Ráth |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
Beszámoló |
|
Fall 2015 |
Szokodi Ákos |
Szemantika vezérelt felhasználói felületek |
András Pataricza |
|
Beszámoló |
|
Spring 2015 |
Borbás Tamás |
Futtatható UML modellek megvalósítása elosztott környezetben |
Ákos Horváth |
|
Beszámoló |
|
Spring 2015 |
Dóczi Róbert László |
Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett |
István Zoltán Ráth |
Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett |
|
|
Spring 2015 |
Hajdu Ákos |
CEGAR-alapú modellellenőrzés vizsgálata |
András Vörös |
|
Beszámoló |
|
Spring 2015 |
Kárász István |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
István Zoltán Ráth |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
|
|
Spring 2015 |
Kárász István |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
István Zoltán Ráth |
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése |
Beszámoló |
|
Spring 2015 |
Lunk Péter |
Modelltranszformációk fejlesztését támogató keretrendszer tervezése |
|
|
|
|
Spring 2015 |
Molnár Gábor |
Modellalapú regressziós tesztelő eszköz fejlesztése |
Zoltán Micskei |
Regressziós tesztelés és tesztoptimalizálás |
Beszámoló |
|
Spring 2015 |
Unicsovics Milán György |
Tesztgenerálás állapotgép alapú modellekből |
Zoltán Micskei |
Tesztgenerálás állapotgép alapú modellekből |
Beszámoló |
|
Spring 2015 |
Urbán Balázs |
Hibaterjedési analízis és diagnosztikai szabályok tervezése folyamat alapú rendszerekben |
László Gönczy |
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 |
Gábor Bergmann |
|
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 |
Zoltán Micskei |
|
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 |
Gábor Bergmann |
|
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 |
István Majzik |
|
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 |
István Majzik |
|
Beszámoló |
|
2013. tavasz |
Csurgó Tamás |
Szoftver teszt fedettségmérés beágyazott vezérlők esetén |
István Majzik |
|
Beszámoló |
|
2013. tavasz |
Dávid István |
Komplex események feldolgozása modelltranszformációs rendszerekben |
István Zoltán Ráth |
|
Beszámoló |
|
2013. tavasz |
Farkas Bálint |
Virtualizációs technológiák bevezetése kisvállalati környezetben |
Zoltán Szatmári |
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 |
István Majzik |
|
Beszámoló |
|
2013. tavasz |
Lóránd Bálint Tamás |
iOS alkalmazások modellalapú fejlesztése |
István Zoltán Ráth |
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 |
Gábor Bergmann |
|
Beszámoló |
|
2013. tavasz |
Szárnyas Gábor |
Szuperskálázható modellezés |
|
|
Beszámoló |
|
2013. tavasz |
Tóth János, János Tóth |
Hardver és szoftver platform kidolgozása Cortex M magú vezérlőhöz |
István Majzik |
|
Beszámoló |
|
2012. ősz |
Farkas Máté |
Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra |
István Majzik |
|
|
|
2012. ősz |
Rádi Attila |
Mobil informatikai eszközök az otthoni betegápolásban |
István Majzik |
|
Beszámoló |
|
2012. tavasz |
Csikós Donát |
Nagyméretű szoftverinfrastruktúra minőségi analízise |
István Zoltán Ráth |
|
Beszámoló |
|
2012. tavasz |
Dávid István |
Eseményfeldolgozás modell alapú támogatása |
László Gönczy |
|
|
|
2012. tavasz |
Farkas Máté |
Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra |
István Majzik |
|
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) |
László Gönczy |
|
|
|
2012. tavasz |
Kovács János |
SOA metamodellező keretrendszer bővítése IBM eszköztámogatással (Simon Balázs IIT) |
László Gönczy |
|
|
|
2012. tavasz |
Krányecz Csaba |
Üzleti folyamatok modellvezérelt megfigyelése |
László Gönczy |
|
|
|
2012. tavasz |
Orova Péter |
Szoftver-üzemeltethetőség mérése és befolyásoló tényezői |
Imre Kocsis |
|
|
|
2012. tavasz |
Szennai Miklós |
Kódfedési vizsgálatok hardveresen támogatott programvégrehajtás követéssel |
István Majzik |
|
Beszámoló |
|
2012. tavasz |
Szuchy Gabriella |
Modell alapú adatelőkészítés kiértékeléshez |
András Pataricza |
|
|
|
2012. tavasz |
Szuchy Gabriella |
Modell alapú adatelőkészítés kiértékeléshez |
András Pataricza |
|
|
|
2012. tavasz |
Tóth Ervin |
Ontológia alapú adat- és szolgáltatásbiztonság tervezés |
András Pataricza |
|
Beszámoló |
|
2011. tavasz |
Ágoston István |
Biztonságkritikus rendszerek tanúsítását támogató rendszer tervezése |
Balázs Polgár |
|
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 |
Balázs Polgár |
|
Beszámoló |
