Current and recent projects

  • SYNTECH: Synthesis technologies for reactive systems software engineers
    (FSE'15) (SYNT'15) (FSE'16) (SYNT'16) (FSE'17) (SYNT'17)
  • C&C Views: Structural crosscutting views for component and connector models (FSE'13) (ICSE'14) (2 X MoDELS'17)
  • XLog: Advanced behavioral log analysis (ASE'14) (ASE'15) (FSE'15 NIER) (ICSE'16)
  • Comprehension and evolution of combinatorial test designs (ATVA'15) (ASE'16) (ICSE'17)

Ongoing and older projects

  • Semantic differencing operators for model comparisons (ME'10) (ECOOP'11) (FSE'11) (MoDELS'15)
  • CD2Alloy, class diagram analysis using Alloy revisited (MODELS'11) -- new results coming soon!
  • A product line approach to language variability (MODELS'11) (FASE'14)
  • Assume-guarantee scenarios: semantics, synthesis, handling unrealizability (MODELS'12) (ICSE'13)
  • Mining scenario-based specifications (ASE'07) (ASE'08) (PASTE'08) (ASE'09) (ASE'10) (ASE Journal) (ASE'13)
  • AspectLTL, an aspect language for LTL specifications (AOSD'11) (AOSD'12) (TAOSD)
  • Modal object diagrams, extending classical object diagrams with modalities (ECOOP'11)
  • The Tracer, a trace visualization and exploration tool for reactive systems (VL/HCC'07) (SoSyM)
  • Scenarios in Action, home of the S2A compiler (FSE'06) (FASE'07) (TOSEM) --- Now part of PlayGo