Gal Katz

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Genetic Programming

Automated Verification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Haifa Verification Conference

Publications

Gal Katz, Doron Peled
Synthesizing, correcting and improving code, using model checking-based genetic programming. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Gal Katz, Doron A. Peled
Synthesis of Parametric Programs using Genetic Programming and Model Checking. INFINITY (2013)
Gal Katz, Doron A. Peled
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. Haifa Verification Conference (2013)
Gal Katz, Doron A. Peled, Sven Schewe
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA (2011)
Gal Katz, Doron A. Peled, Sven Schewe
Synthesis of Distributed Control through Knowledge Accumulation. CAV (2011)
Gal Katz, Doron A. Peled
Code Mutation in Verification and Automatic Code Correction. TACAS (2010)
Gal Katz, Doron A. Peled
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. ATVA (2010)
Gal Katz, Doron A. Peled
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Haifa Verification Conference (2009)
Gal Katz, Doron A. Peled
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS (2008)
Gal Katz, Doron A. Peled
Model Checking Driven Heuristic Search for Correct Programs. MoChArt (2008)
Gal Katz, Doron A. Peled
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA (2008)