Laurent Zimmer

According to our database, Laurent Zimmer authored at least 4 papers between 1989 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

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., August, 2025

2024

DEPS: a model- and property-based language for system synthesis problems.

Pierre-Alain Yvars, Laurent Zimmer

Softw. Syst. Model., August, 2024

2021

Integration of Constraint Programming and Model-Based Approach for System Synthesis.

Pierre-Alain Yvars, Laurent Zimmer

Proceedings of the IEEE International Systems Conference, 2021

1989

Simulation of Hybrid Circuits in Constraint Logic Programming.

Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989