Paper accepted @IEEE Access

Congratulations! Nayreet Islam and Akramul Azim have published a full paper titled as “Assuring the runtime behavior of self-adaptive cyber-physical systems using feature modeling ” in IBM CASCON Conference in October 30, 2018.

Congratulations! Ignacio Mauro is a visiting scholar from Chile

Congratulations! A paper titled as “A Multi-Mode Real-time System Verification Model Using Efficient Event-driven Dataset ” has been accepted in the Journal of Ambient Intelligence and Humanized Computing (2018): 1-9. The main authors of this pare are Nayreet Islam, Akramul Azim.