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