 | 2011 |
|---|
| 8 |       | Gal Katz,
Doron Peled,
Sven Schewe:
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control.
ATVA 2011: 422-431 |
| 7 | | Gal Katz,
Doron Peled,
Sven Schewe:
Synthesis of Distributed Control through Knowledge Accumulation.
CAV 2011: 510-525 |
| 2010 |
|---|
| 6 | | Gal Katz,
Doron Peled:
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming.
ATVA 2010: 359-364 |
| 5 | | Gal Katz,
Doron Peled:
Code Mutation in Verification and Automatic Code Correction.
TACAS 2010: 435-450 |
| 2009 |
|---|
| 4 | | Gal Katz,
Doron Peled:
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming.
Haifa Verification Conference 2009: 117-132 |
| 2008 |
|---|
| 3 | | Gal Katz,
Doron Peled:
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.
ATVA 2008: 33-47 |
| 2 | | Gal Katz,
Doron Peled:
Model Checking Driven Heuristic Search for Correct Programs.
MoChArt 2008: 122-131 |
| 1 | | Gal Katz,
Doron Peled:
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.
TACAS 2008: 141-156 |
Data released under the ODC-BY 1.0 license — See also our legal information page