|
2020. tavasz |
Pelesz Gábor |
Kvalitatív modellezés |
András Pataricza |
|
|
|
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 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. ő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 |
Ákos Hajdu |
|
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 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 Micskei |
|
Beszámoló |
|
2018. tavasz |
Tarapcsák Bendegúz |
Önálló laboratórium - Szimulált okosotthon demonstrátor fejlesztés |
István Zoltá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 Zoltá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 Zoltá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 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 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 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 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 Zoltán Ráth |
|
Beszámoló |
|
2016. tavasz |
Furó János Olivér |
GPU használata Big Data felderítő adatanalízise során |
Imre 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 Zoltá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 Kocsis |
|
Beszámoló |
|
2016. tavasz |
Kálmán Róbert Gábor |
Autentikáció és UX |
István Zoltán Ráth |
|
Beszámoló |
|
2016. tavasz |
Lauer János |
Algoritmusok implementálása elektromos RC modellre - Kamera alapú táblafelismerés |
István Zoltá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 Zoltá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 Zoltán Ráth |
|
Beszámoló |
|
2016. tavasz |
Verbőczy Kristóf |
Modell-alapú tesztelés megismerése |
Zoltán 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 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 Zoltá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 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 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 Zoltá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 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 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 Zoltá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 Zoltá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 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 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 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 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 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 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 Micskei |
Grafikus szerkesztők forgatókönyv-leíró nyelvekhez |
Beszámoló |
|
2012. tavasz |
Tóth Áron |
Xen Teljesítményanalízise |
Imre 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 Zoltá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 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 Zoltá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 Zoltá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 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 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ó |
