Varró Dániel

Security Engineering for Lifelong Evolvable Systems (SecureChange)

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

Software Engineering in Service-Oriented Overlay Computers (SENSORIA)

e-Freight - European e-Freight Capabilities for Co-modal Transport

Design and Analysis Techniques for Certifiable Model Transformations (CertiMoT)

Scalable Modelling and Model Management on the Cloud (MONDO)

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

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