国际暑期学校

“Embedded Systems Validation', 2008

'Reliable Software Engineering', 2009

'Cyber-Physical Systems', 2009

'Real-time System Analysis and Design', 2011

 'Verified Software',2012(Joint with Research Asia)

 'Formal Methods in Software Engineering',2013

'Model and Verification Driven Engineering',2014

 "Formal Method and Model Driven Enineering",2015