Research projects

MACPS

Modelling and Analysis of Cyber-Physical Systems. Financed by Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-III-P4-ID-PCE-2016-0210.

MACPS Website

MuVeT

Multi-scale modelling verification and testing. Financed by Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-ID-PCE-2011-3-0688.

MuVet Website

DEPLOY

Industrial deployment of system engineering methods providing high dependability and productivity. European Commission Information and Communication Technologies FP7 project.

Deploy Website

EvoMT

An integrated Evolutionary approach to Formal Modelling and Testing. Financed by Romanian National Authority for Scientific Research, CNCSIS-UEFISCDI, grant IDEI no. 496/2009.

EvoMT Website