BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM
VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR

TDK KONFERENCIA

2008. november 19.

Információs rendszerek szekció

Morgan Stanley III. díja:

Vörös András
Integrált rendszerszintű diagnosztika
Integrated System Level Diagnostics
Konzulens: Kocsis Imre, Méréstechnika és Információs Rendszerek Tanszék

Jutalom:

Paljak Gergely János
IT infrastruktúra visszacsatolás alapú szabályozása
Closed loop control of IT infrastructure
Konzulens: Kocsis Imre, Méréstechnika és Információs Rendszerek Tanszék

Szoftver szekció

Alerant Zrt. I. díja:

Bende Tibor, Hegedüs Ábel
BPEL2.0 alapú munkafolyamatok kooperációjának formális verifikációja
Formal Verification of Cooperating BPEL2.0 Processes
Konzulens: Dr. Varró Dániel, Gönczy László, Méréstechnika és Információs Rendszerek Tanszék
Kovács Máté, PST, LMU, München

GE Healthcare Magyarország Zrt. I. díja:

Oláh János
Modell alapú hibainjektáló környezet fejlesztése
Development of a model based fault injection framework
Konzulens: dr. Majzik István, Méréstechnika és Információs Rendszerek Tanszék

III. díj:

Horváth Ádám Gábor
Fejlesztőeszközök integrációja a modellvezérelt szoftverfejlesztésben
Tool integration in model-driven software development
Konzulens: Ráth István, Méréstechnika és Információs Rendszerek Tanszék

Ujhelyi Zoltán
Modelltranszformációk statikus ellenőrzése
Event-based model transformations with incremental pattern matching
Konzulens: Horváth Ákos, Dr. Varró Dániel, Méréstechnika és Információs Rendszerek Tanszék

Jutalom:

Kadlecsik Ferenc Péter
Beágyazott rendszerek modell alapú szintézise és analízise
Model based synthesis and analysis of embedded systems
Konzulens: Balogh András, Méréstechnika és Információs Rendszerek Tanszék

Távközlési és energetikai szimuláció szekció

III. díj:

Malatinszki Imre
Dinamikus megbízhatósági modellezés rendszerfelügyelet támogatására
Dynamic dependability modeling for supporting system supervision
Konzulens: Kocsis Imre, Méréstechnika és Információs Rendszerek Tanszék