Ákos HORVÁTH

Ph.D. student Fault Tolerant Systems Research Group Department of Measurement and Information Systems Budapest University of Technology and Economics Address: H-1117 Budapest, Magyar Tudósok körútja 2., Building I, Room B.414. Phone: + 36 1 463-3579, Fax: + 36 1 463-2667    E-mail: ahorvath [AT] mit.bme.hu

Research areas

• Constraint satisfaction problems based on graph transformation
• Optimization of 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

Publications

Curriculum Vitae

Education

• Open Systems Laboratory:
  
  
• Project laboratory:
  Undergraduate/graudate students do individual research to prepeare for their Master or Bachelor project. Currently I'm working with the following students:
  
  • Gergő Tóth: Comparison of Social Networking APIs (Facebook and IWIW)
  • Dóra Horváth: Industrial Size Model Transformation over Databases
  • Miklós Vajna: Model Merge and Comparison
  • Attila Jámbor, Tamás Szabó: Parallel programming
• Former Students:
  
  • Dénes Monostori: Application of Model Driven Development in Mission Critical Software Development (MsC in 2009)
  • Zoltán Ujhelyi: Static Analysis of Model Transformations (MsC in 2009), currently pursuing his PhD in our group
  • Béla Szántay: EMF based VTCL Code Generator for the VIATRA2 Framework (MsC in 2007)
  • András Turi: Application of Graph Mining in Model Driven Development (BsC in 2009)
  • Dóra Horváth: Industrial Size Model Transformation over Relational Databases (BsC in 2010)

Project involvements

• Current:
  • DIANA: Distributed, Equipment Independent Environment for Advanced Avionic Applications (FP 6 - European STREP)
  • VIATRA2: VIsual Automated model TRAnsformations (Official Eclipse Modeling subproject)
• Former:
  • SENSORIA: Software Engineering for Service Oriented Overlay Computing (FP6 - European IP)

Additional

• Member of ETAPS'08 Organizing Committee
• Reviewer (external) for Conferences related to MDD and Graph Transformation: MODELS('08, '09), ICMT('08, '09), FASE ('10), GT-VMT('09, '10)
• Member of the Hungarian Scientific Association for Infocommunications (HTE)