Horváth Ákos

doktorandusz
A doktorandusz fényképe

Elérhetőségek

Tanszéki szoba: 
IB414
Iroda: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
Tel.: 
+36 1 463-3579
Email: 
ahorvath (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~ahorvath/
Konzulens: 
Varró Dániel
Kezdés éve: 
2006
Végzés éve: 
2010

Kutatás

  • Gráf transzformácó feletti kényszer kielégítési problémák
  • Gráf mintaillesztés optimalizálása
    • Platoform specifikus transzformációk automatikus generálása
    • hibrid mintaillesztési algoritmusok (lokális keresés alapú és inkrementális)
  • A modellvezérelt fejlesztési paradigma hasznosítási a beágyazott rendszerek fejlesztéséhez
  • Modelltranszformációk verifikációja:
    • Statikus analízis alapú ellenőrzések
    • "Design-by-Contract" paradiga használata Hoare logikán alapuló tételbizonyítókkal: JML a KeY  rendszerrel és Spec#
  • A gráfbányászat hasznosítása a modellvezérelt fejlesztés során