Algorithmic program synthesis: introduction

Achieving distributed control through model checking

(2012) Susanne Graf et al.   FORMAL METHODS IN SYSTEM DESIGN

Synthesis from scenario-based specifications

(2011) David Harel et al.   JOURNAL OF COMPUTER AND SYSTEM SCIENCES

Algebraic Signal Processing Theory: Cooley–Tukey-Type Algorithms for Polynomial Transforms Based on Induction

(2011) Aliaksei Sandryhaila et al.   SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS

Automatic program repair with evolutionary computation

(2010) Westley Weimer et al.   COMMUNICATIONS OF THE ACM

Automated composition of Web services via planning in asynchronous domains

(2009) Piergiorgio Bertoli et al.   ARTIFICIAL INTELLIGENCE

An introduction to inductive programming

(2009) Pierre Flener et al.   ARTIFICIAL INTELLIGENCE REVIEW

Bio-jETI: a framework for semantics-based service composition

(2009) Anna-Lena Lamprecht et al.   BMC BIOINFORMATICS

Automating the addition of fault tolerance with discrete controller synthesis

(2009) Alain Girault et al.   FORMAL METHODS IN SYSTEM DESIGN