Gal Katz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2008–2011
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ATVA | The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. | Gal Katz, Doron A. Peled, Sven Schewe |
| 2011 | CAV | Synthesis of Distributed Control through Knowledge Accumulation. | Gal Katz, Doron A. Peled, Sven Schewe |
| 2010 | ATVA | MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. | Gal Katz, Doron A. Peled |
| 2010 | TACAS | Code Mutation in Verification and Automatic Code Correction. | Gal Katz, Doron A. Peled |
| 2008 | ATVA | Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. | Gal Katz, Doron A. Peled |
| 2008 | TACAS | Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. | Gal Katz, Doron A. Peled |