Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. - Gal Katz; Doron A. Peled (ATVA, 2008)

Model Checking Driven Heuristic Search for Correct Programs. - Gal Katz; Doron A. Peled (MoChArt, 2008)

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. - Gal Katz; Doron A. Peled (TACAS, 2008)

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. - Gal Katz; Doron A. Peled (Haifa Verification Conference, 2009)

MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. - Gal Katz; Doron A. Peled (ATVA, 2010)

Code Mutation in Verification and Automatic Code Correction. - Gal Katz; Doron A. Peled (TACAS, 2010)

The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. - Gal Katz; Doron A. Peled; Sven Schewe (ATVA, 2011)

Synthesis of Distributed Control through Knowledge Accumulation. - Gal Katz; Doron A. Peled; Sven Schewe (CAV, 2011)

Synthesis of Parametric Programs using Genetic Programming and Model Checking. - Gal Katz; Doron A. Peled (INFINITY, 2013)

Synthesizing, correcting and improving code, using model checking-based genetic programming. - Gal Katz; Doron Peled (Int. J. Softw. Tools Technol. Transf., 2017)