Accepted Posters

  • Mats Carlsson , Olga Grinchtein, Justin Pearson and Catherine Dubois
    Protocol log analysis with constraint programming
  • Fedor Shmarov and Paolo Zuliani
    Guaranteed Parameter Set Synthesis for Hybrid Systems
  • Achiya Elyasaf, Assaf Marron and Gera Weiss
    Hierarchical Live Sequence Charts
  • Dor Cohen and Ofer Strichman
    Entropy’s impact on selected SAT heuristics
  • Shlomi Dolev, Roman Manevich and Amit Rokach
    Programming Reflexes

Keynote Speakers


See us on Linked In See us on Facebook IBM Research Cadence Mellanox Mentor Graphics Qualcomm SunDisk