Hibatűrő rendszerek kutatócsoport

Hallgató	Téma	Konzulens
Andó Mihály	Forgatókönyv modul készítése a Hidenets projekthez
Bálint Attila	Modelltranszformáció példák alapján (MTBE)	dr. Varró Dániel
Balogh Zsolt	Hibatűrő szolgáltatás-orientált rendszerek fejlesztése	Balogh András
Bende Tibor	BPEL v1.1 alapú kooperáció modellezése	Kovács Máté
Demény Balázs	OSGi-SCA alapú workflow támogatás	Gönczy László
Dul Gábor	E-Business folyamatok megvalósítása IBM WebSphere eszközök segítségével	Géczy Viktor (IBM), Huszerl Gábor
Fancsali Dániel Péter	Eszközvezérlő készítése PC-104 alapú számítógép Linux rendszeréhez	Lipusz Csaba (KFKI RMKI), dr. Majzik István
Gál József	Munkafolyamatok modellezése	Tóth Dániel
Gruber Richárd	Eclipse Equinox-alapú elosztott szolgáltatások integrációja	Ráth István
Gulyás Gergely	E-Business folyamatok megvalósítása IBM WebSphere eszközök segítségével	Géczy Viktor (IBM), Huszerl Gábor
Halász László	E-Business folyamatok megvalósítása IBM Websphere eszközök segítségével	Géczy Viktor (IBM), Huszerl Gábor
Hamvas Áron Gergely	Modell alapú alkalmazásfejlesztés és tesztelés mobil környezetben	Micskei Zoltán
Hegedüs Ábel	BPELv2 alapú munkafolyamatok modellezése	Kovács Máté
Horváth Ádám	Eclipse Equinox-alapú elosztott szolgáltatások integrációja	Ráth István
Kadlecsik Ferenc Péter	Beágyazott rendszerek modell alapú fejlesztése	Balogh András
Laposa László	Virtualizációs rendszerek teljesítménymérése	Pásztor Péter László
Malatinszki Imre	IBM Tivoli Netcool portfolió	Kocsis Imre
Monostori Dénes	Real-Time Java implementációk összehasonlítása	Horváth Ákos
Oláh János	Szolgáltatásbiztonság felmérése benchmark programokkal	dr. Majzik István
Pávási Tibor	Új generációs Web Services technológiák	Huszerl Gábor
Priegl Roland	Webszolgáltatások modell alapú fejlesztése SCA technológiával	Gönczy László
Rébeli-Szabó Tamás	SAF platformok konfigurálása	Kövi András
Répási Attila	E-Business folyamatok megvalósítása IBM Websphere eszközök segítségével (Websphere Message Broker)	Géczy Viktor (IBM), Huszerl Gábor
Szrapkó Krisztián	Intel vPro technológia megismerése	Kocsis Imre
Takács Ádám	Platform független virtuális gép leíró nyelvek vizsgálata	Huszerl Gábor
Tresó Krisztián	Grafikus felhasználói felület modellellenőrző eszközökhöz	Sisak Áron
Ujhelyi Zoltán	Modelltranszformációk verifikációja (Design by contract)	Horváth Ákos, dr. Varró Dániel
Ujlaki Levente	Alkalmazások fejlesztése és tesztelése mobil ad-hoc környezetben	Micskei Zoltán
Zalakovács Márk	Eseménykezelés Modellbázisú Tervezése	Kocsis Imre

Andó Mihály

Forgatókönyv modul készítése a Hidenets projekthez

Bálint Attila

Modelltranszformáció példák alapján (MTBE)

dr. Varró Dániel

Balogh Zsolt

Hibatűrő szolgáltatás-orientált rendszerek fejlesztése

Balogh András

Bende Tibor

BPEL v1.1 alapú kooperáció modellezése

Kovács Máté

Demény Balázs