Simulation of Hybrid Circuits in Constraint Logic Programming. - Thomas Graf; Pascal Van Hentenryck; Claudine Pradelles; Laurent Zimmer (IJCAI, 1989)

Integration of Constraint Programming and Model-Based Approach for System Synthesis. - Pierre-Alain Yvars; Laurent Zimmer (SysCon, 2021)

DEPS: a model- and property-based language for system synthesis problems. - Pierre-Alain Yvars; Laurent Zimmer (Softw. Syst. Model., 2024)

A Model-Based Systems Synthesis Approach to Set and Solve a Deployment Problem of Software Functions on a Heterogeneous Embedded Hardware Architecture. - Stephen Creff; Pierre-Alain Yvars; Laurent Zimmer; Jérôme Le Noir; Sébastien Madelénat (IEEE Trans. Syst. Man Cybern. Syst., 2025)