English
Magyar
Ákos Horváth
PhD student
Contact information
Room:
IB414
Office:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
Phone:
+36 1 463-3579
Email:
ahorvath (*) mit * bme * hu
Personal Web page:
http://home.mit.bme.hu/~ahorvath/indexe.html Research
- 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