Gal Katz

发表

Synthesis of Parametric Programs using Genetic Programming and Model Checking

Doron A. Peled, Gal Katz, D. Peled, 2014, INFINITY.

MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming

Doron A. Peled, Gal Katz, 2010, ATVA.

Code Mutation in Verification and Automatic Code Correction

Doron A. Peled, Gal Katz, D. Peled, 2010, TACAS.

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

Doron A. Peled, Gal Katz, D. Peled, 2008, ATVA.

Model Checking Driven Heuristic Search for Correct Programs

Doron A. Peled, Gal Katz, D. Peled, 2009, MoChArt.

Synthesis of Distributed Control through Knowledge Accumulation

Sven Schewe, Doron A. Peled, Gal Katz, 2011, CAV.

The Buck Stops Here: Order, Chance, and Coordination in Distributed Control

Sven Schewe, Doron A. Peled, Gal Katz, 2011, ATVA.

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming

Doron A. Peled, Gal Katz, D. Peled, 2009, Haifa Verification Conference.

Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming

Doron A. Peled, Gal Katz, 2013, Haifa Verification Conference.

Synthesizing, correcting and improving code, using model checking-based genetic programming

Doron A. Peled, Gal Katz, 2016, International Journal on Software Tools for Technology Transfer.

PROVIDING REFERENCE CLIENT PERSPECTIVE FOR ENHANCED RADIO FREQUENCY AND ASSURANCE FUNCTION

Gal Katz, Indermeet Gandhi, Min Se Kim, 2018 .

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

Doron A. Peled, Gal Katz, D. Peled, 2008, TACAS.