Önálló labor (BSc)

Semester Név Cím Konzulensek Kiírás Beszámoló
2019. tavasz Bakai István Bálint Monitor generálás scenario alapú követelményekből István Majzik Monitor generálás scenario alapú követelményekből Beszámoló
2019. tavasz Chertes-Raffai Előd Vasúthálózat szöveges modellezése és ellenőrzése Gábor Bergmann Beszámoló
2019. tavasz 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 Beszámoló
2019. tavasz Gyöngyössy Éva Tesztkészlet definiálása a Gamma rendszerhez Bence Graics Beszámoló
2019. tavasz Koltai Kadosa Márton Finom szemcsézettségű hozzáférésvédelem Git tárolókhoz Gábor Bergmann Beszámoló
2019. tavasz Peterle István Soma, István Soma Peterle Beágyazott kódgenerátorok tesztelése Zoltán Imre Micskei Beszámoló
2019. tavasz Sárváry Krisztián Monitor generálás temporális logikai követelményekből István Majzik Monitor generálás temporális logikai követelményekből Beszámoló
2018. tavasz Gáti László Dávid MagicDraw állapottérképek verifikációjának támogatása Gamma segítségével Beszámoló
2018. tavasz Kövér Márton Szimbolikus végrehajtási gráfok vizualizációja és metrikái Dávid Honfi Beszámoló
2018. tavasz Kubriczky Ádám Improving the Klee automatic test generator Zoltán Imre Micskei Beszámoló
2018. tavasz Maizl Noémi Kritikus protokollok modellezése István Majzik Kritikus protokollok modellezése Beszámoló
2018. tavasz Szabó Áron Mutációs tesztelés Zoltán Imre Micskei Beszámoló
2018. tavasz Tarapcsák Bendegúz Önálló laboratórium - Szimulált okosotthon demonstrátor fejlesztés István Ráth
2018. tavasz Tegzes Tamás Property Directed Reachability Tamás Tóth
2017. ősz Réthy Bálint IncQuery Labs Smart home CEP demonstrator István Ráth Beszámoló
2017. tavasz Ádány-Kiss Dániel Automatikus izoláció támogatása objektumok állapotfelderítésével Dávid Honfi A Pex működésének és kiterjeszthetőségének vizsgálata Beszámoló
2017. tavasz Balogh Tímea Effektív hozzáférési szabályok a kollaboratív modellezésben Csaba Debreceni Kollaboratív modellezés Beszámoló
2017. tavasz Béres Zoltán Ipar 4.0 rendszerek nagysebességű monitorozása Ákos Horváth Beszámoló
2017. tavasz Burján Dezső Döntés támogatás és vizualizációs módszerek az R nyelv segítségével László Gönczy Beszámoló
2017. tavasz Jankó András Eseményfeldolgozás okos otthon környezetben István Ráth Beszámoló
2017. tavasz Juhász Stefánia Időzített viselkedések reprezentálása döntési diagramokkal Beszámoló
2017. tavasz Kocsi Petra Elosztott gráfalgoritmusok megvalósítása Apache Flink környezetben Elosztott gráfalgoritmusok megvalósítása Apache Flink környezetben Beszámoló
2017. tavasz Németh Zsolt Vezérlésfolyam-gráfok vizualizációja automatikus tesztgeneráláshoz Dávid Honfi A Pex működésének és kiterjeszthetőségének vizsgálata Beszámoló
2017. tavasz Novák Natália Mérés alapú modellalkotás és vizualizáció László Gönczy Beszámoló
2017. tavasz Reischl Barnabás Automatikus izolációs eszköz tesztelése Dávid Honfi A Pex működésének és kiterjeszthetőségének vizsgálata Beszámoló
2017. tavasz Rózsavölgyi Botond István CEP eszközök vizsgálata-önálló labor - javított Gábor Bergmann Komplexesemény-feldolgozó (CEP) eszközök vizsgálata Beszámoló
2017. tavasz Szántó Tamás Distributed tracing in tests Zoltán Imre Micskei Beszámoló
2017. tavasz Tóth Gergő Dávid Statikus analízis eszközök vizsgálata és integrációja Ákos Hajdu Beszámoló
2017. tavasz Tóth Máté Komponens alapú rendszerek megbízhatósági analízise István Majzik Komponens alapú rendszerek megbízhatósági analízise Beszámoló
2017. tavasz Varga Bence Biztonsági követelmények minta alapú összeállítása István Majzik Biztonsági követelmények minta alapú összeállítása Beszámoló
2016. ősz Deutsch Olivér Blockchain technologia alkalmazása Imre Dr. Kocsis
2016. ősz Horváth Dániel Gráfadatbázisok alkalmazása utazástervezésre Gábor Szárnyas Gráfadatbázisok alkalmazása utazástervezésre Beszámoló
2016. ősz Nyikovics Máté Kódlefedettség mérése Java környezetben Zoltán Imre Micskei Kódfedettség mérő eszközök Beszámoló
2016. ősz Szénássy Bence Statikus és dinamikus analízis JavaScript környezetben Dávid Honfi Statikus és dinamikus analízis JavaScript környezetben Beszámoló
2016. ősz Szlovák Máté Ákos EMF Szolgáltatások megvalósítása Android platformon Gábor Bergmann Beszámoló
2016. tavasz Bagladi Gábor Clearwater szerver telepítése, skálázása Amazon környezetben Imre Dr. Kocsis Valósidejű felhő alkalmazások skálázásának benchmarkolása Beszámoló
2016. tavasz Bereczki Ádám Nagyméretű adathalmazok vizuális elemzése Ágnes Salánki Nagyméretű adathalmazok vizuális elemzése Beszámoló
2016. tavasz Boér Lehel Tibor Gráfmetrikák számítása shape analysis használatával Gráfmetrikák számítása shape analysis használatával Beszámoló
2016. tavasz Csonka Lóránt Az IntelliTest tesztgeneráló eszköz megismerése Dávid Honfi A Pex működésének és kiterjeszthetőségének vizsgálata Beszámoló
2016. tavasz Czipó Bence Hierarchikus állapotgépek formális verifikációja Hierarchikus állapotgépek formális verifikációja Beszámoló
2016. tavasz Dombi Soma Kristóf Ethereum platform megismerése István Ráth Beszámoló
2016. tavasz Furó János Olivér GPU használata Big Data felderítő adatanalízise során Imre Dr. Kocsis Beszámoló
2016. tavasz Füzesi Máté Tárgyak felismerése és követése gépi látás segítségével István Ráth Beszámoló
2016. tavasz Garda Zsolt Barnabás Automatikus build végrehajtás István Majzik Automatikus build végrehajtás Beszámoló
2016. tavasz Hegedüs Levente Az LTSmin modellellenőrző vizsgálata és kiterjesztése Vince Molnár Az LTSmin modellellenőrző vizsgálata és kiterjesztése Beszámoló
2016. tavasz Herjavecz Zoltán Docker teljesítmény-interferenciák benchmark alapú vizsgálata Imre Dr. Kocsis Beszámoló
2016. tavasz Kálmán Róbert Gábor Autentikáció és UX István Ráth Beszámoló
2016. tavasz Lauer János Algoritmusok implementálása elektromos RC modellre - Kamera alapú táblafelismerés István Ráth Beszámoló
2016. tavasz Lucz Tamás Soma Statikus és dinamikus analízis JavaScript-környezetben Dávid Honfi Statikus és dinamikus analízis JavaScript környezetben Beszámoló
2016. tavasz Mitterer Márton Autonóm robotok működésének futásidőbeli ellenőrzése István Majzik Autonóm rendszerek működésének futásidőbeli ellenőrzése Beszámoló
2016. tavasz Nagy Gergő Mihály Ellenőrző kódrészletek illesztése C/C++ programokhoz István Majzik Ellenőrző kódrészletek illesztése C programokhoz Beszámoló
2016. tavasz Nagy Martin János Az EvoSuite tesztgeneráló eszköz megismerése Az EvoSuite tesztgeneráló eszköz megismerése Beszámoló
2016. tavasz Nagy Vilmos, Dávid István Elek Önjavító modellek Constraint Programming használatával András Pataricza Beszámoló
2016. tavasz Sallai Gyula C programok transzformációja formális modellre Beszámoló
2016. tavasz Seregi Gábor Motion Detect István Ráth Beszámoló
2016. tavasz Seregley Kristóf Processing integrációja PowerBI-ba András Pataricza Beszámoló
2016. tavasz Szabó Dániel Automatikus változásdetektálás gráfmodellekben István Majzik Automatikus változásdetektálás gráfmodellekben Beszámoló
2016. tavasz Tóth Tamás Uppaal modellek feldolgozása Java nyelven Tamás Tóth Beszámoló
2016. tavasz Váradi Balázs Károly Webes interfész kialakítása, és illesztése a beágyazott rendszerhez István Ráth Beszámoló
2016. tavasz Verbőczy Kristóf Modell-alapú tesztelés megismerése Zoltán Imre Micskei Modell-alapú tesztelés megismerése Beszámoló
Fall 2015 Kiss László Szakterület-specifikus állapotkódolók félautomatikus generálása András Szabolcs Nagy Szakterület-specifikus állapotkódolók félautomatikus generálása Beszámoló
Spring 2015 Cseh Dávid Felhőalkalmazások késleltetés érzékenységének vizsgálata Imre Dr. Kocsis Beszámoló
Spring 2015 Deim Péter Pál Modell vezérelt tervezés, részleges modellek vizsgálata Oszkár Semeráth
Spring 2015 Ecsedi Gergő Telecare alkalmazások modellezése és megbízhatósági analízise István Majzik Telecare alkalmazások modellezése és megbízhatósági analízise Beszámoló
Spring 2015 Élő Dániel Részleges rendezéses redukció alkalmazása modellellenőrzésben Részleges rendezéses redukció alkalmazása modellellenőrzésben Beszámoló
Spring 2015 Fejes Márk Modell-lekérdezések Sirius diagram alapján Gábor Bergmann Modell-lekérdezések specifikálása Sirius alapú konkrét szintaxisban Beszámoló
Spring 2015 Fikner Patricia Automatikus skálázási megoldások felhő-alapú alkalmazásokhoz Automatikus skálázási megoldások felhő-alapú alkalmazásokhoz Beszámoló
Spring 2015 Gazder Bence Autonóm robotok működésének futásidőbeli ellenőrzése István Majzik Autonóm rendszerek működésének futásidőbeli ellenőrzése Beszámoló
Spring 2015 Gyurján Máté Szabály alapú tervezésitér-bejárás tesztelése András Szabolcs Nagy Tesztkeretrendszer szabályalapú tervezésitér-bejáró algoritmusokhoz Beszámoló
Spring 2015 Horváth István Gergő Linear road teljesítménytesztelő testreszabása a VIATRA-CEP rendszer vizsgálatára István Ráth Komplex eseményfelismerő keretrendszer teljesítménytesztelése Beszámoló
Spring 2015 Jakab Anett Android alapú adatgyűjtő rendszer megvalósítása Android alapú adatgyűjtő rendszer megvalósítása Beszámoló
Spring 2015 Jónás Gergely Tervezési tér bejárásán alapuló összefésülés felhasználói felülete Csaba Debreceni Felhasználói felület készítése modellek automatikus mergeléséhez Beszámoló
Spring 2015 Király Vencel BME MIT Oktatási felhő adatelemzése Ágnes Salánki Oktatási felhők teljesítményelemzése
Spring 2015 Lakó Attila Inkrementális lekérdezés-kiértékelés az i3QL technológiával Gábor Bergmann Inkrementális lekérdezés-kiértékelés az i3QL technológiával Beszámoló
Spring 2015 Lesti Péter János Intelligens szenzor infrastruktúra CPS alkalmazásokhoz Gábor Guta Intelligens szenzor infrastruktúra CPS alkalmazásokhoz Beszámoló
Spring 2015 Nguyen Phan Anh Outlier Detection in Graphs Ágnes Salánki Outlier detektálás gráfokban
Spring 2015 Selmeczi Zoltán Train Benchmark kiegészítése az OrientDB adatbázis-kezelővel Gábor Szárnyas Beszámoló
Spring 2015 Soltész Adrián Bejárási stratégiák és adatszerkezetek vizsgálata szimbolikus modellellenőrzésben Bejárási stratégiák és adatszerkezetek vizsgálata szimbolikus modellellenőrzésben Beszámoló
Spring 2015 Szabó Patrik Állapotgépek eseményvezérelt szimulációja Oszkár Semeráth Állapotgépek eseményvezérelt szimulációja Beszámoló
Spring 2015 Szigethy Ádám Model-szintű hozzáférés szabályozás megvalósítása EMF modellek felett Csaba Debreceni Model-szintű hozzáférés szabályozás megvalósítása EMF modellek felett Beszámoló
Spring 2015 Szigeti Soma Automatikus tesztelés PLC-kódok vizsgálata automatikus teszteléssel Beszámoló
Spring 2015 Takács Róbert Követelményleíró nyelvek összehasonlítása István Majzik Követelményleíró nyelvek összehasonlítása Beszámoló
Spring 2015 Török Attila C programok automatikus vizsgálata tesztgenerálással Zoltán Imre Micskei C programok automatikus vizsgálata tesztgenerálással Beszámoló
Spring 2015 Tóth Bálint Tóth Bálint - BSc önálló laboratórium beszámoló Gábor Bergmann Állapotgép-konstrukciós feladatok automatizált előállítása Beszámoló
Spring 2015 Varga Attila Mátyás EV3-as LEGO robot integrálása kiberfizkai rendszerbe Gábor Guta LEGO Mindstorm vezérlő integrálása CPS alkalmazásokhoz
2014. ősz Haraszin Péter Yakindu-modellek automatizált ellenőrzése Gábor Bergmann Viselkedésmodellezési feladatok gépi értékelése Beszámoló
2014. ősz Kővári Zsolt Moduláris benchmark keretrendszer fejlesztése Gábor Szárnyas Beszámoló
2014. ősz Raszler Gergő Imre Ritka események detektálása adatfolyamokon Ágnes Salánki Ritka események detektálása adatfolyamokon Beszámoló
2014. tavasz Bankó Bálint Quick fix generálás szakterület specifikus modellekhez Ábel Hegedüs Quick fix generálás szakterület specifikus modellekhez Beszámoló
2014. tavasz Bátor András Joakim Viselkedésmodellezési feladatok gépi értékelése Gábor Bergmann Viselkedésmodellezési feladatok gépi értékelése Beszámoló
2014. tavasz Berkes Sándor EMF modellek szerkesztése online kollaborációval Benedek Izsó EMF modellek szerkesztése online kollaborációval Beszámoló
2014. tavasz Glaser Ádám Modell-vezérelt kommunikáció konfigurálás CPS rendszerekhez Ábel Hegedüs Modell-vezérelt kommunikáció konfigurálás CPS rendszerekhez Beszámoló
2014. tavasz Hajdu Csaba Tesztfuttató keretrendszer készítése ROS-hez Zoltán Imre Micskei Tesztfuttató keretrendszer készítése ROS-hez Beszámoló
2014. tavasz Hegedüs Dániel Gráfvizualizációs könyvtárak integrációja Zoltán Ujhelyi Gráfvizualizációs könyvtárak integrációja Beszámoló
2014. tavasz Jadlószki Ákos Kollaboratív modellezés Gábor Szárnyas EMFStore Beszámoló
2014. tavasz Kupa Zoltán Modell-lekérdezések teljesítményvizsgálata Gábor Bergmann Modell-lekérdezések teljesítményvizsgálata Beszámoló
2014. tavasz László Leonard István Kiber-fizikai rendszerek modellvezérelt fejlesztése Ákos Horváth Kiber-fizikai rendszerek modellvezérelt fejlesztése Beszámoló
2014. tavasz Molnár Ákos Futásidejű modellek fejlesztése kiberfizikai rendszerekhez István Ráth Futásidejű modellek fejlesztése kiberfizikai rendszerekhez Beszámoló
2014. tavasz Orovecz Ferenc Állapotgépek eseményvezérelt szimulációja Oszkár Semeráth Állapotgépek eseményvezérelt szimulációja Beszámoló
2014. tavasz Ruzsics Dávid Gráfvizualizációs könyvtárak integrációja Zoltán Ujhelyi Gráfvizualizációs könyvtárak integrációja Beszámoló
2014. tavasz Savanyu Dávid C programok automatikus vizsgálata tesztgenerálással Zoltán Imre Micskei C programok automatikus vizsgálata tesztgenerálással Beszámoló
2014. tavasz Stein Dániel Nagy méretű forráskódmodellek gráfkeresés alapú helyességellenőrzése Nagy méretű forráskódmodellek gráfkeresés alapú helyességellenőrzése Beszámoló
2014. tavasz Sűrű Balázs Mobilalkalmazások kommunikációjának monitorozása Zoltán Imre Micskei Mobilalkalmazások kommunikációjának monitorozása Beszámoló
2014. tavasz Szilágyi Bence Android alapú monitoring platform Zoltán Szatmári Beszámoló
2014. tavasz Tunner Márton EMF modellek konfliktusfeloldása Benedek Izsó EMF modellek konfliktusfeloldása Beszámoló
2014. tavasz Vikár András Futásidejű modellek fejlesztése kiberfizikai rendszerekhez István Ráth Futásidejű modellek fejlesztése kiberfizikai rendszerekhez Beszámoló
2013. ősz Kamrás Márton Egyedszámlálás objektum-felismeréssel István Ráth Beszámoló
2013. ősz Pallagi Péter Monitorszintézis temporális követelmények alapján István Majzik Beszámoló
2013. ősz Vilt Bálint Strukturális kényszerek ellenőrzése a modell-vezérelt fejlesztésben Modellvezérelt fejlesztés a repülőgépiparban Beszámoló
2013. tavasz Barta Ágnes Követelmény leíró kifejezések kényszer kielégítési problémává való leképzése Zoltán Szatmári
2013. tavasz Barta Ágnes Követelmény leíró kifejezések kényszer kielégítési problémává való leképzése Zoltán Szatmári Követelményleíró kifejezések kényszerkielégítési feladattá való leképezése
2013. tavasz Biró Loránd A Hystrix hibatűrő keretrendszer vizsgálata és portolása .NET környezetbe András Kövi
2013. tavasz Borlay Dániel Számítási felhő hibatűrésének tesztelése Chaos Monkey-val Imre Dr. Kocsis Beszámoló
2013. tavasz Búr Márton Modellvezérelt fejlesztés a repülőgépiparban Modellvezérelt fejlesztés a repülőgépiparban Beszámoló
2013. tavasz Cseppentő Lajos Szoftverellenőrzés automatizálási technikái .NET platformon Zoltán Imre Micskei Szoftverellenőrzés automatizálási technikái .NET platformon Beszámoló
2013. tavasz Dóczi Róbert László Nyomonkövethetőség támogatása a modell-vezérelt fejlesztésben Modellvezérelt fejlesztés a repülőgépiparban Beszámoló
2013. tavasz Gyárfás Viktor Adatmodell generálása HTML alapú mobil alkalmazásokhoz Beszámoló
2013. tavasz Hellner Gábor Zsolt Mobil alkalmazások adatrétegének generálása Android platformra Beszámoló
2013. tavasz Kaszás Dávid Kliens szerver protokoll modellezése és analízise István Majzik Beszámoló
2013. tavasz Lovas Gergely Photoshop alapú felhasználói felület tervezőeszköz Android platformhoz Beszámoló
2013. tavasz Lunk Péter Modellanalízis, Manipuláció és Validáció MagicDraw API Segítségével Balázs Polgár Vasúti biztosítóberendezések modellezése és analízise Beszámoló
2013. tavasz Molnár Gábor Teljesítménytesztelés .NET platformon Zoltán Imre Micskei Szoftverellenőrzés automatizálási technikái .NET platformon Beszámoló
2013. tavasz Nyiri András Android alapú monitoring rendszer fejlesztése Zoltán Szatmári Monitorozó alkalmazások fejlesztése okostelefonokra
2013. tavasz Papp Krisztián Mobil alkalmazások generálása - Storyboard tervezőfelület Android platformon Beszámoló
2013. tavasz Papp Pál András P-invariáns alapú optimalizáció a Petri-háló CEGAR algoritmushoz András Vörös
2013. tavasz Pusztai Péter RDF modellek feletti inkrementális gráfminta kiértékelés vizsgálata Benedek Izsó Beszámoló
2013. tavasz Sas Csaba PaaS rendszerek teljesítmény monitorozása Imre Dr. Kocsis
2013. tavasz Szabó Csaba Modellalapú teszt generálás iOS platformra Beszámoló
2013. tavasz Száz Gergely Dokumentáció generálása metamodellből Beszámoló
2013. tavasz Székely István Monitorozó alkalmazás fejlesztése Android platformra Zoltán Imre Micskei Monitorozó alkalmazások fejlesztése okostelefonokra Beszámoló
2013. tavasz Tóth Márton Balázs Enterprise java keretrendszer vizsgálata András Kövi Beszámoló
2013. tavasz Urbán Balázs Modell alapú esemény detektálás üzleti folyamatokban László Gönczy
2013. tavasz Varga Dávid Algoritmusfejlesztés vasúti irányítástechnikai alkalmazáshoz István Majzik Beszámoló
2013. tavasz Verasztó László Verasztó László önálló laboratórium 1 Multiplatform mobil alkalmazások generálása Beszámoló
2012. ősz Nagy Péter Vizuális analízis eszközök web alapú integrálása vállalati rendszerekbe László Gönczy Beszámoló
2012. ősz Poroszlai Gábor Fájlterítés elosztott környezetben webes felület segítségével István Szombath Beszámoló
2012. tavasz Bali János Dániel Modellvezérelt tervezés hatékony támogatása GPU alkalmazásával Modellvezérelt tervezés hatékony támogatása GPU alkalmazásával Beszámoló
2012. tavasz Bartosová Andrea Modellalapú fordítás András Pataricza Beszámoló
2012. tavasz Dudás Ádám Modell-lekérdezések statikus analízise Beszámoló
2012. tavasz Györök Attila Lekérdezések grafikus megjelenítése Lekérdezések definiálása vizuális szerkesztővel Beszámoló
2012. tavasz Jeszenszky Balázs Dávid Automatikus kódgenerátor helyességének ellenőrzése István Majzik Automatikus kódgenerátor helyességének ellenőrzése Beszámoló
2012. tavasz Kávássy Dániel Kristóf Autóipari szoftverfejlesztő-rendszerek - Inkrementális autóipari kódgenerátor Autóipari szoftverfejlesztőrendszerek Beszámoló
2012. tavasz Kóródi Balázs 3D-s robotszimulátorok vizsgálata és kiterjesztése Zoltán Imre Micskei 3D-s robotszimulátorok vizsgálata és kiterjesztése Beszámoló
2012. tavasz Kovács Ádám Android alapú infrastruktúra menedzsment alkalmazása Zoltán Szatmári Beszámoló
2012. tavasz Magyar Dániel László, Dániel László Magyar Üzleti folyamatok formális ellenőrzése Üzleti folyamatok formális ellenőrzése
2012. tavasz Segesdi Dániel Tesztkörnyezet generálás robotszimulátorokhoz Zoltán Szatmári 3D-s robotszimulátorok vizsgálata és kiterjesztése Beszámoló
2012. tavasz Stefán Attila Grafikus szerkesztők forgatókönyv-leíró nyelvekhez Zoltán Imre Micskei Grafikus szerkesztők forgatókönyv-leíró nyelvekhez Beszámoló
2012. tavasz Tóth Áron Xen Teljesítményanalízise Imre Dr. Kocsis Beszámoló
2012. tavasz Zilahi Dávid Felhő alapú tároló rendszerek Zoltán Szatmári Beszámoló
2012. tavasz Zoltánka Mátyás Virtuális gépek összetett hibatűrésének vizsgálata András Pataricza Beszámoló
2011. tavasz Ágotai László Vasúti biztosítóberendezések modellezése és analízise Balázs Polgár
2011. tavasz Balázs Gábor JBoss ESB teljesítményvizsgálata István Ráth High-performance messaging cluster teljesítményvizsgálata ESB környezetben Beszámoló
2011. tavasz Bartha Dániel A Postlock megosztott állapottér használata hagyományos webalkalmazásokban István Majzik Beszámoló
2011. tavasz Darvas Dániel A PetriDotNet keretrendszer kiegészítése jól formált színezett Petri-hálók kezelésével, szerkesztésével és szimulációjával PetriDotNet Beszámoló
2011. tavasz Felber Péter Virtualizáció és teljesítménytesztelés IBM Power architektúrán Zoltán Szatmári Beszámoló
2011. tavasz Gardynik Robert Nyomonkövethetőség integrált támogatása modelltranszformációkban Ábel Hegedüs Beszámoló
2011. tavasz Gerencsér György Modell alapú hibainjektáló eszköz fejlesztése János Oláh Beszámoló
2011. tavasz Horányi Gergő Futásidőbeli verifikáció kritikus beágyazott rendszerekben István Majzik Futásidőbeli verifikáció kritikus beágyazott rendszerekben Beszámoló
2011. tavasz Hugyi Károly Automatikus szoftvertesztelési eszközök .NET-hez Zoltán Imre Micskei Automatikus szoftvertesztelési eszközök .NET-hez Beszámoló
2011. tavasz Kiss Dániel Károly Szolgáltatások menedzsmentje és rendelkezésreállásának biztosítása elosztott környezetben András Kövi Rendelkezésreállás biztosítása cloud környezetben Beszámoló
2011. tavasz Kóródi Norbert Imre Humán interakció támogatása automatizált üzleti folyamatokban István Ráth Humán interakció támogatása automatizált üzleti folyamatokban Beszámoló
2011. tavasz Koska Sándor Grafikus felületek unit tesztelése Zoltán Ujhelyi Grafikus felületek unit tesztelése Beszámoló
2011. tavasz Molnár Ákos GPS koordináta szimuláció és adatsor analízis Zoltán Szatmári Android mobiltelefon GPS, WiFi és Cellaazonosító alapú pozíciójának szimulálása Beszámoló
2011. tavasz Mostoha Roland LBS-GPS szimuláció Zoltán Szatmári Beszámoló
2011. tavasz Mostoha Roland LBS-GPS szimuláció Zárójegyzőkönyv Zoltán Szatmári
2011. tavasz Pál Balázs Sándor Gráfmintaillesztés előretekintő kereséssel Gábor Bergmann Beszámoló
2011. tavasz Tóth Tamás Térközi biztosítóberendezések modellezése és analízise Vasúti biztosítóberendezések modellezése és analízise Beszámoló
2010. tavasz Nagyvállalati alkalmazás integráció - Az IBM WebSphere MQ megismerése Gábor Huszerl Beszámoló
2010. tavasz Bálint János Humán interakció alkalmazásásának lehetőségei és kihívásai munkafolyamatokban Ábel Hegedüs Humán interakció alkalmazásásának lehetőségei és kihívásai munkafolyamatokban Beszámoló
2010. tavasz Dózsa József Károly, Péter Molnár Dokumentáció generálás Zoltán Ujhelyi Dokumentáció generálás Beszámoló
2010. tavasz Jámbor Attila Párhuzamos programozás Beszámoló
2010. tavasz Kovács Árpád Javaban írt webalkalmazások tesztelési módszerei Tamás Bartha Beszámoló
2010. tavasz Molnár András Szoftver metrikák háromdimenziós vizualizációja Háromdimenziós adatvizualizáció Beszámoló
2010. tavasz Nagy-Győr Ádám Java EE biztonsági megoldás nagyvállalati környezetben Tamás Bartha Beszámoló
2010. tavasz Ormándlaky Balázs Elosztott, redundáns és hibatűrő adattárolás Zoltán Szatmári Beszámoló
2010. tavasz Rádi Attila Formális és fél-formális szemantikájú modellek szimulációja Ábel Hegedüs Formális és fél-formális szemantikájú modellek szimulációja Beszámoló
2010. tavasz Salánki Ágnes QoS-vezérelt eroforrásallokáció virtualizált környezetekben Beszámoló
2010. tavasz Strott András Biztonsági metrikák automatikus kiértékelése László Gönczy Beszámoló
2010. tavasz Szamos Andor Ákos Feladatok végrehajtásának terhelés szabályozása szolgáltatás-orientált környezetben Ábel Hegedüs Feladatok végrehajtásának terhelés szabályozása szolgáltatás-orientált környezetben Beszámoló
2009. tavasz Ágoston István Vasúti térközbiztosító rendszerek modellezése és szimulációja Balázs Polgár Beszámoló
2009. tavasz Csikós Donát Programok statikus analízise István Majzik Beszámoló
2009. tavasz Czotter Márk AJAX alapú DSM szerkesztő fejlesztése István Ráth Beszámoló
2009. tavasz Dávid István Szolgáltatásorientált rendszerek modell alapú fejlesztése László Gönczy Beszámoló
2009. tavasz Farkas Péter RCP alkalmazások átültetése webes környezetre Dániel Varró Beszámoló
2009. tavasz Farkas Tamás Eseményalapú IT infrastruktúra felderítés István Szombath Beszámoló
2009. tavasz Fejes Endre Programok statikus ellenőrzése István Majzik Beszámoló
2009. tavasz Győrffy Csaba Gyula e-Business rendszerek megvalósítása IBM WebSphere eszközökkel Gábor Huszerl Beszámoló
2009. tavasz Halász Gergely Beágyazott real-time operációs rendszerek összehasonlítása Tamás Bartha Beszámoló
2009. tavasz Hargas Gábor Szolgáltatásbiztonsági benchmarkok Imre Dr. Kocsis Beszámoló
2009. tavasz Horváth Dóra Nagy sebességű in-memory adatbázisok teljesítménytesztelése Beszámoló
2009. tavasz Izsó Benedek Logikai modellek készítése Zoltán Szatmári Beszámoló
2009. tavasz Juhász Gergely Vasúti térközbiztosító rendszerek validációja Balázs Polgár Beszámoló
2009. tavasz Kántor Tibor Állapotgép szimulátor megvalósítása modern webes technológiákkal Gábor Huszerl Beszámoló
2009. tavasz Kmecz Ádám Szoftverterítés Microsoft Deployment Toolkit segítségével Zoltán Imre Micskei Beszámoló
2009. tavasz Komjáthy Szabolcs Zsolt e-Business rendszerek megvalósítása IBM Websphere eszközökkel Gábor Huszerl Beszámoló
2009. tavasz Palotai Zsolt Template alapú adattranszformáció Gábor Bergmann Beszámoló
2009. tavasz Ribli János Balázs Katasztrófa elhárítási terv a FTSRG informatikai rendszerére László Gönczy Beszámoló
2009. tavasz Szabó Ferenc Vasúti térközbiztosító rendszerek szimulációja Balázs Polgár Beszámoló
2008. tavasz Nyers Attila Szoftverfejlesztés Java EE platformon Gábor Huszerl Beszámoló
2007. ősz Kántor Tibor Állapotgép szimulátor megvalósítása modern webes technológiákkal Gábor Huszerl Beszámoló