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

TDK KONFERENCIA

2007. november 16.

 

Hálózattervezés és -menedzsment szekció

III. díj:

• Kiss Attila
  Hibaterjedés általánosított modellezése és analízise
  Generalized modeling and analyzing of error propagation
  Konzulens: Kocsis Imre, Méréstechnika és Információs Rendszerek Tanszék

---

Információs rendszerek szekció

Jutalom:

• Váncsa Ildikó
  Nagy rendelkezésreállású szerverkonfiguráció kialakítása virtualizált környezetben
  Construction of a virtualization-based high-availability server
  Konzulens: Kocsis Imre, Méréstechnika és Információs Rendszerek Tanszék
  Kocsis Zsolt, IBM

• Szombath István
  Informatikai infrastruktúra modell-alapú vizsgálata
  Model based evaluation of IT infrastructures
  Konzulens: Kocsis Imre, Méréstechnika és Információs Rendszerek Tanszék
  Kocsis Zsolt, IBM

---

Protokollok szekció

Neumann János Számítógép-tudományi Társaság III. díja:

• Pintér Norbert
  Konszenzus protokollok szimbolikus szimulációval történő helyességbizonyítása
  Abstraction-Aided Scalable Model Checking of FT protocols Based on Majority Voting
  Konzulens: Bokor Péter, Méréstechnika és Információs Rendszerek Tanszék

---

Szoftver alkalmazások szekció

Ericsson Magyarország Kft. Oktatóközpont I. díja:

• Répás Gergő
  Biztonságkritikus beágyazott rendszerek szisztematikus tesztelése
  Systematic testing of safety critical embedded systems
  Konzulens: Dr. Majzik István, Pintér Gergely, Méréstechnika és Információs Rendszerek Tanszék
  Piroska László, Robert Bosch kft.

MultiSoft Kft. III. díja:

• Szatmári Zoltán, Urbanics Gábor
  Webszolgáltatások rendelkezésreállásának növelése és ennek konstruktív eszközei
  Constructive methods of the availability of webservices
  Konzulens: Kövi András, Méréstechnika és Információs Rendszerek Tanszék

---

Szoftvertechnológia és modell alapú fejlesztés szekció

Siemens PSE Kft. I. díja:

• Balogh Zoltán
  Modelltranszformációs szabályok automatikus generálása példák alapján
  Model Transformation by Example
  Konzulens: Dr. Varró Dániel, Méréstechnika és Információs Rendszerek Tanszék

• Bergmann Gábor, Ökrös András
  Eseményvezérelt modelltranszformációk inkrementális mintaillesztés segítségével
  Event-based model transformations with incremental pattern matching
  Konzulens: Dr. Varró Dániel, Ráth István, Méréstechnika és Információs Rendszerek Tanszék
  Varró Gergely, Számítástudományi és Információelméleti Tanszék

Siemens PSE Kft. III. díja:

• Kárer Győző
  Robusztusság tesztek modell alapú generálása
  Model-based generation of robustness tests
  Konzulens: Dr. Majzik István, Méréstechnika és Információs Rendszerek Tanszék

Grepton Informatikai Zrt. III. díja:

• Déri Zsolt
  Szolgáltatás-orientált rendszerek modell alapú fejlesztése és analízise
  Model-driven development and analysis of service-oriented architectures
  Konzulens: Gönczy László, Méréstechnika és Információs Rendszerek Tanszék

Jutalom:

• Kadlecsik Ferenc Péter
  Beágyazott rendszerek modell alapú fejlesztése
  Model Driven Development of Embedded Systems
  Konzulens: Balogh András, Méréstechnika és Információs Rendszerek Tanszék

---