Publications:
A list of my publications is avaiable at DBLP and Google Scholar.

Service:
2019
  • PC Chair: SSBSE 2019
  • PC: ICSE, ESEC/FSE
    • 2018
  • PB: MoDELS
  • PC: ICSE, ICSE-Workshops, ICSE-New Ideas, SSBSE-Hot off the Press Track, MoDELS-Tools Workshop
    • 2017
  • PC: ICST, FASE, ASE, MoDELS, MoDELS doctroal Symposium, REFSQ Poster/TOOL, ITEQS 2017
    • 2016
  • PC: FSE, ASE, ICST, ICSE POSTER Track, RE@Next!
  • PC Chair: MODELS doctoral symposium
    • 2015
  • PC: MODELS, MODELS doctoral symposium, MiSE, A-MOST, NasBASE
    • 2014
  • PC: ASE, MODELS, GECCO, VSTTE, ICE, MUSPAT
    • 2013
  • PC: QSIC, MUSEPAT
    • 2012
  • PC: FSE NIER, Coordination
    • 2011
  • PC: ESEM Poster

    • Tools:
  • SimFL
  • SimCoTest
  • CoCoTest
  • SafeSlice
  • TReMer+