Receipent of CAV 2013 Award for the development of UPPAAL ("the foremost tool suite for automated analysis and verification of real-time systems", cited by the CAV Award Committee) with Kim Larsen and Paul Pettersson, and Best Paper Awards of RTSS 2015, ECRTS 2015, DATE 2013 and RTSS 2009 and Outstanding Paper Award of ECRTS 2012. Keynote/invited talks for ETAPS 2015, SIES 2016, ICFEM 2017, APSEC 2017, and other 30+ conferences and summer schools in the past.
Board member of ACM SigBed and Selection committee chair of ACM Paul Caspi Dissertation Award. SC (Steering Sommittee) co-Chair of EMSOFT, SC member of ESWEEK, ACM LCTES, and FORMATS. Program Committee Member for over 50 conferences. PC chair of TACAS 2001, FORMATS 2005, EMSOFT 2006, HSCC 2011, LCTES 2012 and track/topic Chair for RTSS 2008 and DATE 2012-2014. Panel member for evaluation committees, including the Academy of Finland 2014, the Chinese Academy of Sciences 2013, and INRIA, France 2012. Editor for journals: ACM Transactions on Embedded Computing and Systems, IEEE Embedded Systems Letters, IEEE Design and Test, Journal of Computer Science and Technology (Chinese Academy of Sciences) and IEEE Transactions on Computers (2002-2007).