国际暑期学校

“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