Gal Katz

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