Gal Katz

According to our database, Gal Katz authored at least 10 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Gal Katz, Doron Peled

Int. J. Softw. Tools Technol. Transf., 2017

2013

Synthesis of Parametric Programs using Genetic Programming and Model Checking.

Gal Katz, Doron A. Peled

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

2011

Synthesis of Distributed Control through Knowledge Accumulation.

Gal Katz, Doron A. Peled, Sven Schewe

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

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

Gal Katz, Doron A. Peled, Sven Schewe

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Code Mutation in Verification and Automatic Code Correction.

Gal Katz, Doron A. Peled

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

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

Gal Katz, Doron A. Peled

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

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

Gal Katz, Doron A. Peled

Proceedings of the Hardware and Software: Verification and Testing, 2009

2008

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

Gal Katz, Doron A. Peled

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Model Checking Driven Heuristic Search for Correct Programs.

Gal Katz, Doron A. Peled

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.

Gal Katz, Doron A. Peled

Proceedings of the Automated Technology for Verification and Analysis, 2008