Ákos Horváth
doktorandusz
Elérhetőségek
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/indexe.html
Tanulmányok kezdete:
2006
Tanulmányok vége:
2010 Kutatás
- Design Space Exploration problems
- Constraint satisfaction problems based on graph transformation
- Optimization of graph pattern matching
- Compiled transformation from high-level specification
- Hibrid pattern matching algorithms (local search and incremental)
- Application of MDSD in embedded software development
- Verification of model transformations:
- Static analysis of transformation programs
- Design-by-Contract with Hoare-style platform specific code analyzers: JML with Key and Spec#
- Application of graph mining in model driven development