PATARICZA ANDRÁS:
| Balogh András | Modellvezérelt architektúrák vizsgálata és szintézise |
| László Katalin | Munkafolyamatok formális modellezése és analízise |
MAJZIK ISTVÁN:
| Götz Tibor | Idővezérelt klaszter illesztése TCP/IP hálózatokhoz |
| Hevér Márton Viktor | A Prolan rádiós protokoll modellezése és Petri háló alapú teljesítményanalízise |
| Kovács Péter Tamás | Idővezérelt rendszerek UML alapú tervezése |
| Krasznai Péter | Objektum-orientált rendszerek megbízhatósági analízise |
| Szigetvári Áron | Valósidejű kommunikáció Ethernet fölött |
BARTHA TAMÁS:
| Kun Richárd | Processzek hibatűrő kialakítása Linux környezetben |
PETRI ANDRÁS:
| Gáborik István | Hálózati szerverek teljesítményvizsgálata |
| Gáspár Attila | Hibatűrő virtuális szerver megoldások |
| Kiss Lajos Csaba | Integrált rendszerfelügyeleti architektúrák vizsgálata |
HUSZERL GÁBOR:
| Beszédes Balázs | Felhasználói viselkedés vizsgálata webszerver eseménynaplók alapján |
VARRÓ DÁNIEL:
VARRÓ-GYAPAY SZILVIA:
| Flamis Zoltán | Adatfolyamhálók modellellenőrzése |
Budapest, 2004. március 3.