BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM
VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR
TDK KONFERENCIA
2001. november 14.
Információs rendszerek szekció
GE Medical Systems Rt. I. díja:
- Pintér Gergely V. Inf.
Magasszintű hibamodellek validációja hibainjektálással
Konzulens: Dr. Pataricza András,
Méréstechnika és Információs Rendszerek Tanszék
Grepton Informatikai Rt. I. díja:
- Übelhart István V. Inf.
Részleges döntési technikák alkalmazása
Konzulens: Dr. Pataricza András, Méréstechnika és Információs Rendszerek Tanszék
Modellezés és szimuláció szekció
Sun Microsystems Magyarország II. díja:
- Salamon Gábor V. Inf.
Matematikai modellek szabályalapú transzformációja
Konzulens: Dr. Pataricza András, Méréstechnika és Információs Rendszerek Tanszék
Varró Dániel, Méréstechnika és Információs Rendszerek Tanszék
Microsoft Magyarország II. díja:
- Domokos Péter IV. Inf.
Metamodellek automatikus és szabálybázisú példányosítása
Konzulens: Varró Dániel,
Méréstechnika és Információs Rendszerek Tanszék
Jutalom:
- Terék Zsolt IV. Inf.
Hatékony gráfmintaillesztés modelltranszformációs
rendszerekhez
Konzulens: Varró Dániel, Méréstechnika és Információs Rendszerek Tanszék
Szoftver szekció
GE Medical Systems Rt. I. díja:
- Darvas Ádám V. Inf.
Elosztott objektum-orientált rendszerek verifikációja
Konzulens: Dr. Majzik István,
Méréstechnika és Információs Rendszerek Tanszék
Sysdata Kft. I. díja:
- Zalán András IV. Matematikus
Szoftver hibatűrés vizsgálata formális ekvivalencia
ellenőrzéssel
Konzulens: Dr. Majzik István, Méréstechnika és Információs Rendszerek Tanszék