Horváth Ákos

Distributed, equipment Independent environment for Advanced avioNic Applications (DIANA)

Software Engineering in Service-Oriented Overlay Computers (SENSORIA)

Design and Analysis Techniques for Certifiable Model Transformations (CertiMoT)

Study and Development of Model Transformation Methods Applied to the Design of Integrated Modular Avionics Systems (TRANS-IMA)

Modellezés, predikció és szimuláció a termelésoptimalizálásban (Progile)

Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core systems (CONCERTO)