Önálló labor (MSc)

Félév Név Cím Konzulensek Kiírás Beszámoló
2017. tavasz Ecsedi Gergő Modell-alapú tesztgenerálás Micskei Zoltán Imre Beszámoló
2017. tavasz Graics Bence Model-Driven Design and Analysis of Component-Based Reactive Systems Beszámoló
2017. tavasz Hajdu Csaba Autonóm robotok szimulátor alapú tesztelése Autonóm robotok szimulátor alapú tesztelése Beszámoló
2017. tavasz Kálmán Tibor Hierarchikus állapottérképek formalizálása és ellenőrzése Hajdu Ákos Beszámoló
2017. tavasz Sallai Gyula Programszeletelő algoritmusok összehasonlítása Beszámoló
2017. tavasz Verbőczy Kristóf Modell-alapú tesztelési algoritmusok implementálása Micskei Zoltán Imre Beszámoló
2016. ősz Élő Dániel LPN checker elemzése generált úthossz optimalizására Molnár Vince
2016. tavasz Élő Dániel LPNChecker integrálása a tanszéki projektekbe Molnár Vince Beszámoló
2016. tavasz Kővári Zsolt Valós modellek elemzése Szárnyas Gábor Modellmetrikák valós modellekre Beszámoló
2016. tavasz Soltész Adrián Hierarchikus döntési diagramok szaturációja Molnár Vince Bejárási stratégiák és adatszerkezetek vizsgálata szimbolikus modellellenőrzésben Beszámoló
2015. ősz Bártfay György Biztonsági követelmények minta alapú formalizálása Majzik István Biztonsági követelmények minta alapú formalizálása Beszámoló
2015. ősz Horváth Benedek Elosztott rendszerek modellezése és formális verifikációja Beszámoló
2015. ősz Stein Dániel Tudományos művek készítése Markdown nyelven Beszámoló
2015. ősz Szakállas Dávid Rete-based incremental graph query engine in C++ Szárnyas Gábor
2015. ősz Tóth Márton Balázs C programok felműszerezése Majzik István C programok felműszerezése Beszámoló
2015. tavasz Bártfay György Biztonsági követelmények minta alapú formalizálása Majzik István Biztonsági követelmények minta alapú formalizálása Beszámoló
2015. tavasz Borlay Dániel Integrációs tesztelési keretrendszer fejlesztése Jenkins alapokon Szatmári Zoltán Beszámoló
2015. tavasz Farkas Rebeka Krisztina Tranzíciós rendszerek analízise absztrakciós módszerekkel Beszámoló
2015. tavasz Horváth Benedek Szabványos viselkedésleíró-nyelv (ALF) szemantikai vizsgálata Beszámoló
2015. tavasz Konnerth Raimund-Andreas Action Language for Foundational UML Vörös András
2015. tavasz Nyiri András Szakterület-specifikus nyelvek használata alkalmazásmenedzsment feladatokra Szatmári Zoltán Szakterület-specifikus nyelvek használata alkalmazásmenedzsment feladatokra Beszámoló
2015. tavasz Sólyom Alexandra Anna Többcélú keresésítér-bejáró algoritmusok Nagy András Szabolcs Beszámoló
2015. tavasz Stein Dániel Forráskód-­analízis és transzformáció modellalapú megközelítéssel Beszámoló
2015. tavasz Tóth Márton Balázs C programok felműszerezése Majzik István C programok felműszerezése Beszámoló
2014. ősz Barta Ágnes, Barta Ágnes Absztrakt tesztadat generálása autonóm és elosztott rendszerekhez Modell-alapú kényszerkielégítési problémák megoldása SMT környezetben Beszámoló
2014. ősz Cseppentő Lajos Tesztgeneráló eszközöket összehasonlító keretrendszer fejlesztése Micskei Zoltán Imre Tesztgeneráló eszközöket összehasonlító keretrendszer fejlesztése Beszámoló
2014. ősz Dóczi Róbert László Modell-vezérelt keretrendszer nyomonkövethetőségi modellek automatikus kezeléséhez Modell-vezérelt keretrendszer nyomonkövethetőségi modellek automatikus kezeléséhez Beszámoló
2014. ősz Molnár Gábor Tesztoptimalizáló eszköz fejlesztése Micskei Zoltán Imre Regressziós tesztelés és tesztoptimalizálás Beszámoló
2014. ősz Nádudvari Tamás, Nádudvari Tamás Stream processing alkalmazások monitorozása, mérése és kiértékelése Gönczy László Beszámoló
2014. ősz Nyiri András Összetett események felismerése Android platformon Szatmári Zoltán Összetett események felismerése Android platformon Beszámoló
2014. ősz Szokodi Ákos Modell alapú felhasználói felület tervezés Pataricza András Beszámoló
2014. ősz Unicsovics Milán György Tesztgenerálás állapotgép alapú modellekből Micskei Zoltán Imre Tesztgenerálás állapotgép alapú modellekből Beszámoló
2014. tavasz Barta Ágnes Nyelvtervezés ontológiák segítségével Szatmári Zoltán Beszámoló
2014. tavasz Borbás Tamás Modell alapú dokumentumgenerálás Polgár Balázs Modell alapú dokumentumgenerálás Beszámoló
2014. tavasz Búr Márton Local search alapú mintaillesztő készítése az EMF-IncQuery keretrendszerhez Horváth Ákos Lokális keresésen alapú modell lekérdezések megvalósítása Beszámoló
2014. tavasz Cseppentő Lajos Tesztgeneráló eszközöket összehasonlító keretrendszer fejlesztése Micskei Zoltán Imre Tesztgenerálás állapotgép alapú modellekből Beszámoló
2014. tavasz Dóczi Róbert László Modell-vezérelt keretrendszer nyomonkövethetőségi modellek automatikus kezeléséhez Modell-vezérelt keretrendszer nyomonkövethetőségi modellek automatikus kezeléséhez Beszámoló
2014. tavasz Gerencsér György Modellek feletti lekérdezések példa alapján Bergmann Gábor Modellek feletti lekérdezések példa alapján
2014. tavasz Honfi Dávid A Pex működésének és kiterjeszthetőségének vizsgálata A Pex működésének és kiterjeszthetőségének vizsgálata Beszámoló
2014. tavasz Kárász István Beágyazott vezérlő modellvezérelt fejlesztése Polgár Balázs Beágyazott vezérlő modellvezérelt fejlesztése Beszámoló
2014. tavasz Lengyel Ádám TeleCare rendszerek fejlesztése modell alapon Horváth Ákos TeleCare rendszerek fejlesztése modell alapon Beszámoló
2014. tavasz Lunk Péter Modell-transzformációért felelős Eclipse plug-in fejlesztése agilis módszertan segítségével Polgár Balázs Beszámoló
2014. tavasz Magyar Dániel László Többaspektusú optimalizálás támogatása Gönczy László
2014. tavasz Makai József Elosztott inkrementális gráflekérdezések optimalizációja Ráth István Elosztott inkrementálils gráflekérdezések optimalizációja Beszámoló
2014. tavasz Molnár Gábor Kódlefedettség mérése .NET környezetben Micskei Zoltán Imre Kódlefedettség mérése .NET környezetben Beszámoló
2014. tavasz Unicsovics Milán György Tesztgenerálás állapotgép alapú modellekből Micskei Zoltán Imre Tesztgenerálás állapotgép alapú modellekből Beszámoló
2014. tavasz Vas Ádám Autonóm robotok működésének futásidőbeli ellenőrzése Majzik István Autonóm robotok működésének futásidőbeli ellenőrzése Beszámoló
2014. tavasz Zilahi Dávid Szoftver definiált hálózat bevezetése a VCL oktatási felhőben Beszámoló
2013. ősz Földényi Miklós Egy általános tervezési tér bejáró keretrendszer részproblémái Beszámoló
2013. ősz Honfi Dávid Automatizált egységtesztelés ipari környezetben Beszámoló
2013. ősz Nagy András Szabolcs Hatékony tervezési tér bejáró stratégiák támogatása Beszámoló
2013. tavasz Földényi Miklós Tervezési tér bejárás változó modellen Hegedüs Ábel Beszámoló
2013. tavasz Gerencsér György Modellek feletti lekérdezések példa alapján Bergmann Gábor Beszámoló
2013. tavasz Kiss Dániel Károly Önálló laboratórium beszámoló 2013 tavasz - Kiss Dániel Smart Metering - Smart Grid Beszámoló
2013. tavasz Nagy András Szabolcs Tervezési tér bejárás Beszámoló
2013. tavasz Szloboda István Térközbiztosító berendezés modell alapú követelményspecifikációja Polgár Balázs Beszámoló
2012. ősz Ableda Péter Automatikus tesztgenerálás szemantikus specifikációk alapján mikroszolgáltatás alapú rendszerekben Majzik István Beszámoló
2012. ősz Csicsely Attila Jólformáltsági ellenőrzés modellvezérelt autóipair szoftverfejlesztő rendszerekben Ráth István Beszámoló
2012. ősz Csurgó Tamás Modellnézetek definiálása deklaratív lekérdezésekkel Modellvezérelt fejlesztés a repülőgépiparban Beszámoló
2012. ősz Debreceni Csaba Modellvezérelt fejlesztés a repülőgépiparban Modellvezérelt fejlesztés a repülőgépiparban Beszámoló
2012. ősz Horányi Gergő Autonóm rendszerek tesztfuttatásának kiértékelése Majzik István Beszámoló
2012. ősz Lóránd Bálint Tamás iOS alkalmazások modell alapú fejlesztése Ráth István Multiplatform mobil alkalmazások generálása Beszámoló
2012. ősz Menyhért Ákos Modellvezérelt fejlesztés a repülőgépiparban Modellvezérelt fejlesztés a repülőgépiparban Beszámoló
2012. ősz Nádudvari György Virtualizált környezetek teljesítmény elemzése vizuális adatelemzés módszerekkel Gönczy László
2012. ősz Pál Balázs Sándor TREAT inkrementális lekérdezések előretekintő kereséssel Bergmann Gábor Beszámoló
2012. ősz Szárnyas Gábor Szuperskálázható modellezés Szuperskálázható modellezés Beszámoló
2012. ősz Szécsényi János Dialízis berendezés szoftvertesztelése Majzik István Beszámoló
2012. ősz Tóth János Szoftverfejlesztés a Formula Student versenyautóhoz Majzik István Beszámoló
2012. ősz Tóth Tamás Valósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja Beszámoló
2012. tavasz Ableda Péter Automatikus tesztgenerálás szemantikus specifikációk alapján mikroszolgáltatás alapú rendszerekben Majzik István Beszámoló
2012. tavasz Bogsch Balázs Virtualizált és cloud környezetek újrakonfigurációs folyamatainak automatikus tervezése Virtualizált és cloud környezetek újrakonfigurációs folyamatainak automatikus tervezése Beszámoló
2012. tavasz Csicsely Attila Autóipari szoftverfejlesztő rendszerek Beszámoló
2012. tavasz Csicsely Attila Jólformáltsági ellenőrzés modellvezérelt autóipari szoftverfejlesztő rendszerekben Autóipari szoftverfejlesztőrendszerek Beszámoló
2012. tavasz Csurgó Tamás Modellező eszközök felületének automatikus generálása Autóipari szoftverfejlesztőrendszerek Beszámoló
2012. tavasz Horányi Gergő Autonóm rendszerek tesztkiértékelési feladata Majzik István Beszámoló
2012. tavasz Kamarás Károly Tesztvezérelt termékfejlesztés, agilis módszertanok Ráth István Beszámoló
2012. tavasz Kamarás Károly Tesztvezérelt termékfejlesztés, agilis módszertanok Ráth István Beszámoló
2012. tavasz Kishonti István Modell alapú fejlesztés támogatása Eclipse alapon Beszámoló
2012. tavasz Lakatos Dávid Java PathFinder - Modellellenőrzés a gyakorlatban Kocsis Imre Beszámoló
2012. tavasz Lóránd Bálint Tamás Multiplatform mobil alkalmazások generálása Ráth István Multiplatform mobil alkalmazások generálása Beszámoló
2012. tavasz Pál Balázs Sándor Előretekintő keresés EMF modellek felett Bergmann Gábor Beszámoló
2012. tavasz Papp István Dokumentumfeldolgozás hatékonyságmérése folyamatvezérelt SOA környezetben Ráth István Beszámoló
2012. tavasz Pogonyi Ádám Formális protokoll elemzés ProSigma biztonságkritikus rendszerhez Majzik István Beszámoló
2012. tavasz Rádi Attila Mobil informatikai eszközök az otthoni betegápolásban Majzik István Beszámoló
2012. tavasz Szárnyas Gábor Szuperskálázható modellezés Szuperskálázható modellezés Beszámoló
2012. tavasz Szárnyas Gábor Szuperskálázható modellezés Szuperskálázható modellezés Beszámoló
2012. tavasz Szécsényi János Dialízis berendezés szoftverének unit tesztelése Majzik István Beszámoló
2012. tavasz Tóth János, Tóth János Szoftverfejlesztés a Formula Student versenyautóhoz Majzik István Beszámoló
2011. ősz Dávid István Modellalapú fejlesztési módszer komplex események feldolgozásához Gönczy László Modellalapú módszer komplex események feldolgozásához Beszámoló
2011. ősz Farkas Máté Vezeték nélküli szenzor fejlesztése vízcsap használatának érzékelésére Majzik István
2011. ősz Gaál Norbert E-ajánlat kezelő folyamat IBM BPM platformon (konzulens: Imre Gábor) Gönczy László
2011. ősz Kiss Marcell Attila Portfólió optimalizáló rendszer Gönczy László
2011. ősz Rádi Attila Mobil informatikai eszközök az otthoni betegápolásban Majzik István Beszámoló
2011. ősz Salánki Ágnes Virtualizált környezetek teljesítménymenedzsmentje intelligens adatfeldolgozási módszerek alkalmazásával Kocsis Imre Beszámoló
2011. ősz Szabó Tamás Inkrementális tranzitív lezárt számítás gráfokban Bergmann Gábor Beszámoló
2011. ősz Szennai Miklós Beltéri ultrahang alapú pozícionálás Bartha Tamás Beszámoló
2011. ősz Tasi Katalin Informatikai modellépítés interaktív támogatása Pataricza András Beszámoló
2011. ősz Virág Dániel Gyártástervezés támogatása üzleti szabály alapú szimulációval Gönczy László Beszámoló
2011. tavasz Czotter Márk Mobil alkalmazás fejlesztés támogatása modellezési nyelvekkel Ráth István Mobil alkalmazások fejlesztésének hatékony támogatása szakterület-specifikus modellezési nyelvekkel Beszámoló
2011. tavasz Dávid István Üzleti szabályok modellalapú fejlesztése Gönczy László Beszámoló
2011. tavasz Farkas Tamás SZTAKIPédia háttértámogatása - UIMA keretrendszerbeli elemzők integrálása annotáló rendszerbe Bartha Tamás Beszámoló
2011. tavasz Illésy Pál BCS integráció SharePoint 2010 platformon Kövi András Beszámoló
2011. tavasz Knoll Tímea Modell-alapú nyomkövetés beágyazott rendszerekben Beszámoló
2011. tavasz Szabó Tamás Inkrementális tranzitív lezárt számítás gráfokban Bergmann Gábor Beszámoló
2011. tavasz Szennai Miklós Vezeték nélküli kommunikáció megvalósítása beágyazott környezetben Bartha Tamás Beszámoló
2011. tavasz Tasi Katalin Informális tudás formalizálása MDA-hoz Pataricza András Beszámoló
2010. ősz Fejes Endre ANSI C programmodulok közötti hívások felderítése teszt fedettségi analízishez Majzik István Beszámoló
2010. ősz Fejes Endre ANSI C programmodulok közötti hívások felderítése teszt fedettségi analízishez Majzik István Beszámoló
2010. ősz Gyöngyi Lajos András BPMN szimulációja Beszámoló
2010. ősz Orova Péter IT infrastukturális elemek függőségeinek felderítése Kocsis Imre Beszámoló
2010. tavasz Csikós Donát Korszerű adatkezelési eljárások Beszámoló
2010. tavasz Erdélyi Lajos Róbert Optimalizált karbantartás ütemezés Gönczy László Beszámoló
2010. tavasz Fejes Endre ANSI C programok integritásának hivatkozási gráf alapú vizsgálata Majzik István Beszámoló
2010. tavasz Győrffy Csaba Gyula Szolgáltatás-orientált integrációs keretrendszer fejlesztése Huszerl Gábor Beszámoló
2010. tavasz Horváth Dóra Nagyméretű modelltranszformációk megvalósítása relációs adatbázisok fölött Beszámoló
2010. tavasz Ribli János Balázs Informatikai infrastruktúra konfigurációjának szabályalapú ellenőrzése Gönczy László Beszámoló
2010. tavasz Vajna Miklós Modellek összehasonlítása és egyesítése Horváth Ákos Beszámoló
2010. tavasz Varga Tibor Missziókritikus beágyazott rendszerek hibatűrő felépítése Bartha Tamás Biztonságkritikus robotrepülőgép fedélzeti rendszer fejlesztése FlexRay alapokon Beszámoló
2009. ősz Orbán Szilvia Webes Petri-háló szerkesztő Huszerl Gábor Beszámoló
2009. ősz Pávási Tibor Új generációs Web Services technológiák Huszerl Gábor Beszámoló
2009. tavasz Takács Ádám IT infrastruktúra visszacsatolás alapú szabályozása Huszerl Gábor Beszámoló
2008. ősz Dul Gábor E-Business folyamatok megvalósítása IBM WebSphere eszközök segítségével Huszerl Gábor Beszámoló
2008. ősz Halász László e-Business folyamatok megvalósítása IBM Websphere eszközök segítségével Huszerl Gábor Beszámoló
2008. tavasz Gulyás Gergely E-Business folyamatok megvalósítása IBM Websphere eszközök segítségével Huszerl Gábor Beszámoló
2008. tavasz Orbán Szilvia Utazási kérelem menedzselő rendszer Huszerl Gábor Beszámoló
2008. tavasz Répási Attila e-Business folyamatok megvalósítása IBM Websphere eszközök segítségével (Websphere Message Broker) Huszerl Gábor Beszámoló
2007. ősz Üzleti folyamatok modellezésének megismerése Huszerl Gábor Beszámoló
2007. ősz Üzleti folyamatok modellezése, megvalósítása az IBM Websphere termékcsalád megoldásaival Huszerl Gábor Beszámoló
2007. ősz Dul Gábor E-Business folyamatok megvalósítása IBM WebSphere eszközök segítségével Huszerl Gábor Beszámoló
2007. ősz Gulyás Gergely E-Business folyamatok megvalósítása IBM WebSphere eszközök segítségével Huszerl Gábor Beszámoló
2007. ősz Halász László e-Business folyamatok megvalósítása IBM Websphere eszközök segítségével Huszerl Gábor Beszámoló
2007. ősz Orbán Szilvia A ViATra keretrendszer felhasználói értékelése Huszerl Gábor Beszámoló
2007. ősz Orbán Szilvia Jogosultság-karbantartó rendszer a ThyssenKruppnál Huszerl Gábor Beszámoló
2007. ősz Pávási Tibor Új generációs Web Services technológiák Huszerl Gábor Beszámoló
2007. ősz Répási Attila e-Business folyamatok megvalósítása IBM Websphere eszközök segítségével Websphere Message Broker Huszerl Gábor Beszámoló
2007. ősz Takács Ádám Platform független virtuális gép leíró nyelvek vizsgálata Huszerl Gábor Beszámoló