|
2020. tavasz |
Pelesz Gábor |
Kvalitatív modellezés |
Pataricza András |
|
|
|
2019. tavasz |
Bakai István Bálint |
Monitor generálás scenario alapú követelményekből |
Majzik István |
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 |
Bergmann Gábor |
|
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 |
Vörös András |
|
Beszámoló |
|
2019. tavasz |
Gyöngyössy Éva |
Tesztkészlet definiálása a Gamma rendszerhez |
Graics Bence |
|
Beszámoló |
|
2019. tavasz |
Koltai Kadosa Márton |
Finom szemcsézettségű hozzáférésvédelem Git tárolókhoz |
Bergmann Gábor |
|
Beszámoló |
|
2019. tavasz |
Peterle István Soma, Peterle István Soma |
Beágyazott kódgenerátorok tesztelése |
Micskei Zoltán |
|
Beszámoló |
|
2019. tavasz |
Sárváry Krisztián |
Monitor generálás temporális logikai követelményekből |
Majzik István |
Monitor generálás temporális logikai követelményekből |
Beszámoló |
|
2018. ősz |
Horváth Márk |
Solidity okosszerződések ellenőrzése |
|
|
Beszámoló |
|
2018. tavasz |
Bajkai Viktória Dorina |
Szoftver verifikáció absztrakciós módszerek kombinálásával |
Hajdu Ákos |
|
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 |
|
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 |
|
Beszámoló |
|
2018. tavasz |
Tarapcsák Bendegúz |
Önálló laboratórium - Szimulált okosotthon demonstrátor fejlesztés |
Ráth István Zoltá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 Zoltá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 Zoltá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 |
|
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 |
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 Zoltá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 Zoltá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 Zoltán |
|
Beszámoló |
|
2016. tavasz |
Lauer János |
Algoritmusok implementálása elektromos RC modellre - Kamera alapú táblafelismerés |
Ráth István Zoltá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 Zoltá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 Zoltán |
|
Beszámoló |
|
2016. tavasz |
Verbőczy Kristóf |
Modell-alapú tesztelés megismerése |
Micskei Zoltán |
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 Zoltá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 |
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 |
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 Zoltá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 |
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 |
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 Zoltá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 Zoltá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 |
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 |
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 |
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 |
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 |
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 Zoltá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 |
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 Zoltá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 Zoltá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 |
|
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ó |
