| Andó Mihály |
Felhasználói felület prototípus szintézise |
dr. Pintér Gergely |
| Bálint Attila |
Modelltranszformáció példák alapján (MTBE) |
dr. Varró Dániel |
| Bende Tibor |
Kooperáló BPEL munkafolyamatok formális verifikációja |
dr. Varró Dániel |
| Demény Balázs |
SCA-BPEL alapú workflow támogatása többletszolgáltatásokkal |
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 |
GRID hálózatok modellezése áramkörkapcsolt optikai hálózatok felett |
Tóth Dániel |
| Gazda Ádám |
Modellellenőrzés ellenpéldáinak grafikus analízise: SALCePser Tool |
Bokor Péter |
| Gruber Richárd |
Idősor elemzés a rendszerfelügyeletben |
Égel Zoltán |
| Halász László |
e-Business folyamat megvalósítása IBM Websphere Enterprise Service Bus segítségével |
Géczy Viktor (IBM), Huszerl Gábor |
| Hegedüs Ábel |
BPELv2 alapú munkafolyamatok modellezése |
Kovács Máté |
| Horváth Ádám Gábor |
Fejlesztőeszközök integrációja a modell-vezérelt szoftverfejlesztésben |
Ráth István |
| Horváth Bálint |
Megbízható kommunikáció heterogén nagyvállalati rendszerekben |
Szombath István |
| Kadlecsik Ferenc Péter |
Beágyazott rendszerek modell alapú szintézise és analízise |
Balogh András |
| Laposa László |
Virtualizált rendszerek teljesítmény alapú menedzsmentje |
Pásztor Péter László |
| Malatinszki Imre |
Dinamikus megbízhatósági modellezés rendszerfelügyelet támogatására |
Kocsis Imre |
| Monostori Dénes |
Beágyazott rendszerek (avionics) modell alapú fejlesztése |
Horváth Ákos |
| Oláh János |
Modell alapú hibainjektáló környezet fejlesztése |
dr. Majzik István |
| Paljak Gergely János |
IT infrastruktúra visszacsatolás alapú szabályozása |
Kocsis Imre |
| Pócsai Viktória |
Logisztikai folyamatok modellalapú fejlesztése szolgáltatásorientált környezetben |
Kövi András |
| Priegl Roland |
Megbízható kommunikáció IBM eszközökkel |
Gönczy László |
| 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 |
| Szalai Nikolett |
Eclipse alapú Web2 technológiák |
Ráth István |
| Szalay Máté |
Magas rendelkezésre állású grid ütemező rendszer evolúciós játékelméleti szimulációk futtatására |
Kövi András, Prof. Csermely Péter (SOTE) |
| Székely Gergő |
Real-time Derived Data Support Tool |
dr. Majzik István, Notaisz Krisztián (Morgan Stanley) |
| Szrapkó Krisztián |
Energia-tudatos feladatallokáció IT rendszerekben |
Kocsis Imre |
| Tóth Gergő |
Modellmanipulációk in-memory adatbáziskezelő redszerekben |
Bergmann Gábor, Horváth Ákos |
| Tóth Heinemann Zsófia |
Ipari rendszerek logikai helyességbizonyításának automatizálási lehetőségei |
dr. Bartha Tamás |
| Tresó Krisztián |
Vezeték nélküli kommunikáció irányítási hálózatokban |
dr. Bartha Tamás |
| Ujhelyi Zoltán |
Modelltranszformációk statikus ellenőrzése |
Horváth Ákos, dr. Varró Dániel |
| Ujlaki Levente |
Alkalmazások fejlesztése és tesztelése mobil ad-hoc környezetben |
Micskei Zoltán |