Professional Activities

Panel Member

       NSF panel for reviewing CPS breakthrough proposals, 2014

Program Committee Member

       HSCC 2018
       ATVA 2017, HSCC 2017
       EMSOFT 2014

Session Chair

       HSCC 2017 - Session 3: Invariance and Entropy
       EMSOFT 2015 - Session 9A: Formal Verification

Reviewer

   Journal
      ACM Transactions on Embedded Computing Systems (TECS)
      IEEE Transactions on Computers (TC)
      Springer Journal on Discrete Event Dynamic Systems (DISC)
      IEEE Transactions on Robotics (T-RO)
      Software and Systems Modeling
      IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
      IEEE Transactions on Automatic Control (TAC)
      IEEE Communications Magazine
      Wireless Communications and Mobile Computing

   Conference
      ICRA 2017, ACC 2017, HSCC 2017, CDC 2017, CASE 2017, ATVA 2017
      CDC 2016, IROS 2016, MemoCODE 2016
      ACC 2015, ICRA 2015, HSCC 2015, ICCPS 2015, IROS 2015, CDC 2015
      CDC 2014, IROS 2014, CAV 2014, ICRA 2014, ACC 2014, EMSOFT 2014, FMCAD 2014, RTSS 2014
      FoSSaCS 2013, HSCC 2013, IROS 2013, FMCAD 2013
      EMSOFT 2012, RTSS 2012, HSCC 2012
      DATE 2011, TACAS 2011, HSCC 2011, SPIN 2011, ATVA 2011, EMSOFT 2011
      ISCAS 2010, LPAR 2010
      TACAS 2009, RTSS 2009, FSTTCS 2009