| |
| 2008 | ||
|---|---|---|
| 3 | EE | Gal Katz, Doron Peled: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA 2008: 33-47 |
| 2 | EE | Gal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131 |
| 1 | EE | Gal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156 |
| 1 | Doron Peled | [1] [2] [3] |