Gal Katz

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Synthesizing, correcting and improving code, using model checking-based genetic programming.
Int. J. Softw. Tools Technol. Transf., 2017

2013
Synthesis of Parametric Programs using Genetic Programming and Model Checking.
Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

2011
Synthesis of Distributed Control through Knowledge Accumulation.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

The Buck Stops Here: Order, Chance, and Coordination in Distributed Control.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Code Mutation in Verification and Automatic Code Correction.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming.
Proceedings of the Hardware and Software: Verification and Testing, 2009

2008
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Model Checking Driven Heuristic Search for Correct Programs.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.
Proceedings of the Automated Technology for Verification and Analysis, 2008


  Loading...