selected publications conference paper Algorithm-Architecture Adequacy, an application to the phase diversity algorithm. HAL (Le Centre pour la Communication Scientifique Directe). 2013