Demo Data from EDBT 2026 / reviewers in the wild / expert
Laurent Zimmer
dblp:13/2020
· DBLP profile ↗
3ranked-venue papers
0as first author
2since 2021 · last 2025
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1Human-computer interaction and ubiquitous computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
circuit simulation |
0.0 | 1 | 1989 | Simulation of Hybrid Circuits in Constraint Logic Programming · IJCAI 1989 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 1989 | Simulation of Hybrid Circuits in Constraint Logic Programming · IJCAI 1989 |
Logic in computer science › logic programming
constraint logic programming |
0.0 | 1 | 1989 | Simulation of Hybrid Circuits in Constraint Logic Programming · IJCAI 1989 |
Methods — techniques the papers use, named apart from their topics
constraint logic programming · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A Model-Based Systems Synthesis Approach to Set and Solve a Deployment Problem of Software Functions on a Heterogeneous Embedded Hardware ArchitectureabstractThe problem of deployment on hardware platforms, also called mapping problem, is one of the design challenges faced by system architects and engineers during conceptualization. Most of the time, this type of problem is modeled in a flat form by a set of equations and inequalities based on a set of variables. This flat model is then translated into a programming language and solved using a library of solvers. This approach suffers from a number of limitations, particularly when hardware resources become heterogeneous: lack of readability, reuse, and extensibility of the models. By delegating the resolution to an external solver, the link between the problem model and its projection in the solver is lost. The goal of this article is to show how with the recent DEPS problem modeling language (v1) and its integrated modeling and solving environment DEPS Studio it is possible to overcome these limitations. The approach is illustrated by an industrial case study consisting in a deployment of a data-flow application on real-time sensor subsystems, composed of heterogeneous hardware resources. Stephen Creff, Pierre-Alain Yvars, Laurent Zimmer, Jérôme Le Noir, Sébastien Madelénat |
IEEE Trans. Syst. Man Cybern. Syst. | 3 |
| 2024 | DEPS: a model- and property-based language for system synthesis problems
Pierre-Alain Yvars, Laurent Zimmer |
Softw. Syst. Model. | 2 |
| 1989 | Simulation of Hybrid Circuits in Constraint Logic Programming
Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer |
IJCAI | 4 |