István Zoltán Ráth

Security Engineering for lifelong Evolvable Systems (SecureChange)

Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES)

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)

Scalable Modelling and Model Management on the Cloud (MONDO)

Model-based Demonstrator for Smart and Safe Systems