Travelled to:1 × Cyprus
1 × Hungary
1 × USA
Collaborated with:D.Peled S.Schewe
Talks about:code (2) distribut (1) synthesi (1) knowledg (1) program (1) correct (1) control (1) automat (1) accumul (1) mutual (1)
Person: Gal Katz
DBLP: Katz:Gal
Contributed to:
2011
20102008Wrote 3 papers:
- CAV-2011-KatzPS #distributed #synthesis
- Synthesis of Distributed Control through Knowledge Accumulation (GK, DP, SS), pp. 510–525.
- TACAS-2010-KatzP #automation #verification
- Code Mutation in Verification and Automatic Code Correction (GK, DP), pp. 435–450.
- TACAS-2008-KatzP #model checking #programming #search-based
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (GK, DP), pp. 141–156.