Önálló labor (BSc)

Félév Név Cím Konzulensek Kiírás 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 Honfi Dávid Beszámoló
2018. tavasz Kubriczky Ádám Improving the Klee automatic test generator Micskei Zoltán Imre Beszámoló
2018. tavasz Maizl Noémi Kritikus protokollok modellezése Majzik István Kritikus protokollok modellezése Beszámoló
2018. tavasz Szabó Áron Mutációs tesztelés Micskei Zoltán Imre Beszámoló
2018. tavasz Tarapcsák Bendegúz Önálló laboratórium - Szimulált okosotthon demonstrátor fejlesztés Ráth István
2018. tavasz Tegzes Tamás Property Directed Reachability Tóth Tamás
2017. ősz Réthy Bálint IncQuery Labs Smart home CEP demonstrator Ráth István Beszámoló
2017. tavasz Ádány-Kiss Dániel Automatikus izoláció támogatása objektumok állapotfelderítésével Honfi Dávid 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 Debreceni Csaba Kollaboratív modellezés Beszámoló
2017. tavasz Béres Zoltán Ipar 4.0 rendszerek nagysebességű monitorozása Horváth Ákos 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 Gönczy László Beszámoló
2017. tavasz Jankó András Eseményfeldolgozás okos otthon környezetben Ráth István 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 Honfi Dávid 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ó Gönczy László Beszámoló
2017. tavasz Reischl Barnabás Automatikus izolációs eszköz tesztelése Honfi Dávid 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 Bergmann Gábor Komplexesemény-feldolgozó (CEP) eszközök vizsgálata Beszámoló
2017. tavasz Szántó Tamás Distributed tracing in tests Micskei Zoltán Imre Beszámoló
2017. tavasz Tóth Gergő Dávid Statikus analízis eszközök vizsgálata és integrációja Hajdu Ákos Beszámoló
2017. tavasz Tóth Máté Komponens alapú rendszerek megbízhatósági analízise Majzik István 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 Majzik István Biztonsági követelmények minta alapú összeállítása Beszámoló
2016. ősz Deutsch Olivér Blockchain technologia alkalmazása Kocsis Imre
2016. ősz Horváth Dániel Gráfadatbázisok alkalmazása utazástervezésre Szárnyas Gábor Gráfadatbázisok alkalmazása utazástervezésre Beszámoló
2016. ősz Nyikovics Máté Kódlefedettség mérése Java környezetben Micskei Zoltán Imre Kódfedettség mérő eszközök Beszámoló
2016. ősz Szénássy Bence Statikus és dinamikus analízis JavaScript környezetben Honfi Dávid 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 Bergmann Gábor Beszámoló
2016. tavasz Bagladi Gábor Clearwater szerver telepítése, skálázása Amazon környezetben Kocsis Imre 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 Salánki Ágnes 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 Honfi Dávid 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 Ráth István Beszámoló
2016. tavasz Furó János Olivér GPU használata Big Data felderítő adatanalízise során Kocsis Imre 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 Ráth István Beszámoló
2016. tavasz Garda Zsolt Barnabás Automatikus build végrehajtás Majzik István Automatikus build végrehajtás Beszámoló
2016. tavasz Hegedüs Levente Az LTSmin modellellenőrző vizsgálata és kiterjesztése Molnár Vince 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 Kocsis Imre Beszámoló
2016. tavasz Kálmán Róbert Gábor Autentikáció és UX Ráth István Beszámoló
2016. tavasz Lauer János Algoritmusok implementálása elektromos RC modellre - Kamera alapú táblafelismerés Ráth István Beszámoló
2016. tavasz Lucz Tamás Soma Statikus és dinamikus analízis JavaScript-környezetben Honfi Dávid 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 Majzik István 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 Majzik István 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, Elek Dávid István Önjavító modellek Constraint Programming használatával Pataricza András Beszámoló
2016. tavasz Sallai Gyula C programok transzformációja formális modellre Beszámoló
2016. tavasz Seregi Gábor Motion Detect Ráth István Beszámoló
2016. tavasz Seregley Kristóf Processing integrációja PowerBI-ba Pataricza András Beszámoló
2016. tavasz Szabó Dániel Automatikus változásdetektálás gráfmodellekben Majzik István Automatikus változásdetektálás gráfmodellekben Beszámoló
2016. tavasz Tóth Tamás Uppaal modellek feldolgozása Java nyelven Tóth Tamás Beszámoló
2016. tavasz Váradi Balázs Károly Webes interfész kialakítása, és illesztése a beágyazott rendszerhez Ráth István Beszámoló
2016. tavasz Verbőczy Kristóf Modell-alapú tesztelés megismerése Micskei Zoltán Imre Modell-alapú tesztelés megismerése Beszámoló
2015. ősz Kiss László Szakterület-specifikus állapotkódolók félautomatikus generálása Nagy András Szabolcs Szakterület-specifikus állapotkódolók félautomatikus generálása Beszámoló
2015. tavasz Cseh Dávid Felhőalkalmazások késleltetés érzékenységének vizsgálata Kocsis Imre Beszámoló
2015. tavasz Deim Péter Pál Modell vezérelt tervezés, részleges modellek vizsgálata Semeráth Oszkár
2015. tavasz Ecsedi Gergő Telecare alkalmazások modellezése és megbízhatósági analízise Majzik István Telecare alkalmazások modellezése és megbízhatósági analízise Beszámoló
2015. tavasz É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ó
2015. tavasz Fejes Márk Modell-lekérdezések Sirius diagram alapján Bergmann Gábor Modell-lekérdezések specifikálása Sirius alapú konkrét szintaxisban Beszámoló
2015. tavasz 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ó
2015. tavasz Gazder Bence Autonóm robotok működésének futásidőbeli ellenőrzése Majzik István Autonóm rendszerek működésének futásidőbeli ellenőrzése Beszámoló
2015. tavasz Gyurján Máté Szabály alapú tervezésitér-bejárás tesztelése Nagy András Szabolcs Tesztkeretrendszer szabályalapú tervezésitér-bejáró algoritmusokhoz Beszámoló
2015. tavasz Horváth István Gergő Linear road teljesítménytesztelő testreszabása a VIATRA-CEP rendszer vizsgálatára Ráth István Komplex eseményfelismerő keretrendszer teljesítménytesztelése Beszámoló
2015. tavasz Jakab Anett Android alapú adatgyűjtő rendszer megvalósítása Android alapú adatgyűjtő rendszer megvalósítása Beszámoló
2015. tavasz Jónás Gergely Tervezési tér bejárásán alapuló összefésülés felhasználói felülete Debreceni Csaba Felhasználói felület készítése modellek automatikus mergeléséhez Beszámoló
2015. tavasz Király Vencel BME MIT Oktatási felhő adatelemzése Salánki Ágnes Oktatási felhők teljesítményelemzése
2015. tavasz Lakó Attila Inkrementális lekérdezés-kiértékelés az i3QL technológiával Bergmann Gábor Inkrementális lekérdezés-kiértékelés az i3QL technológiával Beszámoló
2015. tavasz Lesti Péter János Intelligens szenzor infrastruktúra CPS alkalmazásokhoz Guta Gábor Intelligens szenzor infrastruktúra CPS alkalmazásokhoz Beszámoló
2015. tavasz Nguyen Phan Anh Outlier Detection in Graphs Salánki Ágnes Outlier detektálás gráfokban
2015. tavasz Selmeczi Zoltán Train Benchmark kiegészítése az OrientDB adatbázis-kezelővel Szárnyas Gábor Beszámoló
2015. tavasz 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ó
2015. tavasz Szabó Patrik Állapotgépek eseményvezérelt szimulációja Semeráth Oszkár Állapotgépek eseményvezérelt szimulációja Beszámoló
2015. tavasz Szigethy Ádám Model-szintű hozzáférés szabályozás megvalósítása EMF modellek felett Debreceni Csaba Model-szintű hozzáférés szabályozás megvalósítása EMF modellek felett Beszámoló
2015. tavasz Szigeti Soma Automatikus tesztelés PLC-kódok vizsgálata automatikus teszteléssel Beszámoló
2015. tavasz Takács Róbert Követelményleíró nyelvek összehasonlítása Majzik István Követelményleíró nyelvek összehasonlítása Beszámoló
2015. tavasz Török Attila C programok automatikus vizsgálata tesztgenerálással Micskei Zoltán Imre C programok automatikus vizsgálata tesztgenerálással Beszámoló
2015. tavasz Tóth Bálint Tóth Bálint - BSc önálló laboratórium beszámoló Bergmann Gábor Állapotgép-konstrukciós feladatok automatizált előállítása Beszámoló
2015. tavasz Varga Attila Mátyás EV3-as LEGO robot integrálása kiberfizkai rendszerbe Guta Gábor LEGO Mindstorm vezérlő integrálása CPS alkalmazásokhoz
2014. ősz Haraszin Péter Yakindu-modellek automatizált ellenőrzése Bergmann Gábor Viselkedésmodellezési feladatok gépi értékelése Beszámoló
2014. ősz Kővári Zsolt Moduláris benchmark keretrendszer fejlesztése Szárnyas Gábor Beszámoló
2014. ősz Raszler Gergő Imre Ritka események detektálása adatfolyamokon Salánki Ágnes Ritka események detektálása adatfolyamokon Beszámoló
2014. tavasz Bankó Bálint Quick fix generálás szakterület specifikus modellekhez Hegedüs Ábel 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 Bergmann Gábor Viselkedésmodellezési feladatok gépi értékelése Beszámoló
2014. tavasz Berkes Sándor EMF modellek szerkesztése online kollaborációval Izsó Benedek 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 Hegedüs Ábel Modell-vezérelt kommunikáció konfigurálás CPS rendszerekhez Beszámoló
2014. tavasz Hajdu Csaba Tesztfuttató keretrendszer készítése ROS-hez Micskei Zoltán Imre 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 Ujhelyi Zoltán Gráfvizualizációs könyvtárak integrációja Beszámoló
2014. tavasz Jadlószki Ákos Kollaboratív modellezés Szárnyas Gábor EMFStore Beszámoló
2014. tavasz Kupa Zoltán Modell-lekérdezések teljesítményvizsgálata Bergmann Gábor Modell-lekérdezések teljesítményvizsgálata Beszámoló
2014. tavasz László Leonard István Kiber-fizikai rendszerek modellvezérelt fejlesztése Horváth Ákos Kiber-fizikai rendszerek modellvezérelt fejlesztése Beszámoló
2014. tavasz Molnár Ákos Futásidejű modellek fejlesztése kiberfizikai rendszerekhez Ráth István Futásidejű modellek fejlesztése kiberfizikai rendszerekhez Beszámoló
2014. tavasz Orovecz Ferenc Állapotgépek eseményvezérelt szimulációja Semeráth Oszkár Á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 Ujhelyi Zoltán 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 Micskei Zoltán Imre 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 Micskei Zoltán Imre Mobilalkalmazások kommunikációjának monitorozása Beszámoló
2014. tavasz Szilágyi Bence Android alapú monitoring platform Szatmári Zoltán Beszámoló
2014. tavasz Tunner Márton EMF modellek konfliktusfeloldása Izsó Benedek EMF modellek konfliktusfeloldása Beszámoló
2014. tavasz Vikár András Futásidejű modellek fejlesztése kiberfizikai rendszerekhez Ráth István Futásidejű modellek fejlesztése kiberfizikai rendszerekhez Beszámoló
2013. ősz Kamrás Márton Egyedszámlálás objektum-felismeréssel Ráth István Beszámoló
2013. ősz Pallagi Péter Monitorszintézis temporális követelmények alapján Majzik István 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 Szatmári Zoltán
2013. tavasz Barta Ágnes Követelmény leíró kifejezések kényszer kielégítési problémává való leképzése Szatmári Zoltán 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 Kövi András
2013. tavasz Borlay Dániel Számítási felhő hibatűrésének tesztelése Chaos Monkey-val Kocsis Imre 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 Micskei Zoltán Imre 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 Majzik István 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 Polgár Balázs 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 Micskei Zoltán Imre Szoftverellenőrzés automatizálási technikái .NET platformon Beszámoló
2013. tavasz Nyiri András Android alapú monitoring rendszer fejlesztése Szatmári Zoltán 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 Vörös András
2013. tavasz Pusztai Péter RDF modellek feletti inkrementális gráfminta kiértékelés vizsgálata Izsó Benedek Beszámoló
2013. tavasz Sas Csaba PaaS rendszerek teljesítmény monitorozása Kocsis Imre
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 Micskei Zoltán Imre Monitorozó alkalmazások fejlesztése okostelefonokra Beszámoló
2013. tavasz Tóth Márton Balázs Enterprise java keretrendszer vizsgálata Kövi András Beszámoló
2013. tavasz Urbán Balázs Modell alapú esemény detektálás üzleti folyamatokban Gönczy László
2013. tavasz Varga Dávid Algoritmusfejlesztés vasúti irányítástechnikai alkalmazáshoz Majzik István 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 Gönczy László Beszámoló
2012. ősz Poroszlai Gábor Fájlterítés elosztott környezetben webes felület segítségével Szombath István 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 Pataricza András 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 Majzik István 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 Micskei Zoltán Imre 3D-s robotszimulátorok vizsgálata és kiterjesztése Beszámoló
2012. tavasz Kovács Ádám Android alapú infrastruktúra menedzsment alkalmazása Szatmári Zoltán Beszámoló
2012. tavasz Magyar Dániel László, Magyar Dániel László Ü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 Szatmári Zoltán 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 Micskei Zoltán Imre Grafikus szerkesztők forgatókönyv-leíró nyelvekhez Beszámoló
2012. tavasz Tóth Áron Xen Teljesítményanalízise Kocsis Imre Beszámoló
2012. tavasz Zilahi Dávid Felhő alapú tároló rendszerek Szatmári Zoltán Beszámoló
2012. tavasz Zoltánka Mátyás Virtuális gépek összetett hibatűrésének vizsgálata Pataricza András Beszámoló
2011. tavasz Ágotai László Vasúti biztosítóberendezések modellezése és analízise Polgár Balázs
2011. tavasz Balázs Gábor JBoss ESB teljesítményvizsgálata Ráth István 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 Majzik István 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 Szatmári Zoltán Beszámoló
2011. tavasz Gardynik Robert Nyomonkövethetőség integrált támogatása modelltranszformációkban Hegedüs Ábel Beszámoló
2011. tavasz Gerencsér György Modell alapú hibainjektáló eszköz fejlesztése Oláh János Beszámoló
2011. tavasz Horányi Gergő Futásidőbeli verifikáció kritikus beágyazott rendszerekben Majzik István Futásidőbeli verifikáció kritikus beágyazott rendszerekben Beszámoló
2011. tavasz Hugyi Károly Automatikus szoftvertesztelési eszközök .NET-hez Micskei Zoltán Imre 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 Kövi András 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 Ráth István Humán interakció támogatása automatizált üzleti folyamatokban Beszámoló
2011. tavasz Koska Sándor Grafikus felületek unit tesztelése Ujhelyi Zoltán Grafikus felületek unit tesztelése Beszámoló
2011. tavasz Molnár Ákos GPS koordináta szimuláció és adatsor analízis Szatmári Zoltán 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ó Szatmári Zoltán Beszámoló
2011. tavasz Mostoha Roland LBS-GPS szimuláció Zárójegyzőkönyv Szatmári Zoltán
2011. tavasz Pál Balázs Sándor Gráfmintaillesztés előretekintő kereséssel Bergmann Gábor 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 Huszerl Gábor Beszámoló
2010. tavasz Bálint János Humán interakció alkalmazásásának lehetőségei és kihívásai munkafolyamatokban Hegedüs Ábel 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, Molnár Péter Dokumentáció generálás Ujhelyi Zoltán 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 Bartha Tamás 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 Bartha Tamás Beszámoló
2010. tavasz Ormándlaky Balázs Elosztott, redundáns és hibatűrő adattárolás Szatmári Zoltán Beszámoló
2010. tavasz Rádi Attila Formális és fél-formális szemantikájú modellek szimulációja Hegedüs Ábel 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 Gönczy László Beszámoló
2010. tavasz Szamos Andor Ákos Feladatok végrehajtásának terhelés szabályozása szolgáltatás-orientált környezetben Hegedüs Ábel 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 Polgár Balázs Beszámoló
2009. tavasz Csikós Donát Programok statikus analízise Majzik István Beszámoló
2009. tavasz Czotter Márk AJAX alapú DSM szerkesztő fejlesztése Ráth István Beszámoló
2009. tavasz Dávid István Szolgáltatásorientált rendszerek modell alapú fejlesztése Gönczy László Beszámoló
2009. tavasz Farkas Péter RCP alkalmazások átültetése webes környezetre Varró Dániel Beszámoló
2009. tavasz Farkas Tamás Eseményalapú IT infrastruktúra felderítés Szombath István Beszámoló
2009. tavasz Fejes Endre Programok statikus ellenőrzése Majzik István Beszámoló
2009. tavasz Győrffy Csaba Gyula e-Business rendszerek megvalósítása IBM WebSphere eszközökkel Huszerl Gábor Beszámoló
2009. tavasz Halász Gergely Beágyazott real-time operációs rendszerek összehasonlítása Bartha Tamás Beszámoló
2009. tavasz Hargas Gábor Szolgáltatásbiztonsági benchmarkok Kocsis Imre 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 Szatmári Zoltán Beszámoló
2009. tavasz Juhász Gergely Vasúti térközbiztosító rendszerek validációja Polgár Balázs Beszámoló
2009. tavasz Kántor Tibor Állapotgép szimulátor megvalósítása modern webes technológiákkal Huszerl Gábor Beszámoló
2009. tavasz Kmecz Ádám Szoftverterítés Microsoft Deployment Toolkit segítségével Micskei Zoltán Imre Beszámoló
2009. tavasz Komjáthy Szabolcs Zsolt e-Business rendszerek megvalósítása IBM Websphere eszközökkel Huszerl Gábor Beszámoló
2009. tavasz Palotai Zsolt Template alapú adattranszformáció Bergmann Gábor Beszámoló
2009. tavasz Ribli János Balázs Katasztrófa elhárítási terv a FTSRG informatikai rendszerére Gönczy László Beszámoló
2009. tavasz Szabó Ferenc Vasúti térközbiztosító rendszerek szimulációja Polgár Balázs Beszámoló
2008. tavasz Nyers Attila Szoftverfejlesztés Java EE platformon Huszerl Gábor Beszámoló
2007. ősz Kántor Tibor Állapotgép szimulátor megvalósítása modern webes technológiákkal Huszerl Gábor Beszámoló