Ráth István

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)

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)