NanoSTIMA

Paper accepted at TSE

September 30, 2016

Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).

Joined NanoSTIMA project

April 20, 2016

I joined the NanoSTIMA project on high-assurance medical cyber-physical systems as a post-doctoral researcher.