Gal Katz

Search this site

Publications

  • Gal Katz, Doron Peled, and Sven Schewe: Synthesis of Distributed Control through Knowledge Accumulation (CAV 11)

  • Gal Katz, Doron Peled: MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming (ATVA 10) [pdf]

  • Gal Katz, Doron Peled: Code Mutation in Verification and Automatic Code Correction (TACAS 10) [pdf]

  • Gal Katz, Doron Peled: Synthesizing Solutions to the Leader Election Problem using Model Checking and Genetic Programming (HVC 09) [pdf]
  • Gal Katz, Doron Peled: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms (ATVA 08) [pdf] 

  • Gal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs (MoChart 08) 

  • Gal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (TACAS 08) [pdf]