SynCoP 2024

9th International Workshop on Synthesis of Complex Parameters

April 6-7, 2024 Luxembourg

About SynCoP 2024

This event is an ETAPS workshop organised as a series of invited talks and submitted contributions. Everyone is welcome to attend and participate in the discussions. There are no formal proceedings.

Scientific objective of SynCoP 2024

SynCoP 2024 aims at bringing together researchers working on verification and parameter synthesis for systems with discrete or continuous parameters, in which the parameters influence the behaviour of the system in ways that are complex and difficult to predict. Such problems may arise for real-time, hybrid or probabilistic systems in a large variety of application domains. The parameters can be continuous (e.g. timing, probabilities, costs) or discrete (e.g. number of processes). The goal can be to identify suitable parameters to achieve desired behaviour, or to verify the behaviour for a given range of parameter values. Systems composed of a finite but possibly arbitrary number of identical components occur everywhere from hardware design (e.g. cache coherence protocols) to distributed applications (e.g. client-server applications). Parameterised verification is the task of verifying the correctness of this kind of systems regardless the number of their components.

Topics of SynCoP 2024

The scientific subject of the workshop covers (but is not limited to) the following areas:
  • parameter synthesis,
  • parametric model checking,
  • regular model checking,
  • robustness analysis,
  • parameterised logics, decidability and complexity issues,
  • formalisms such as parametric timed and hybrid automata, parametric time(d) Petri nets, parametric probabilistic (timed) automata, parametric Markov Decision Processes, networks of identical processes,
  • specifications in automata and logic, term and graph rewriting, Petri nets, process algebra, …
  • validation methods via assertional and regular model checking, reachability and coverability decision procedures, abstractions, theorem proving, constraint solving, …
  • interactions between discrete and continuous parameters,
  • tools and applications to hardware design, cache coherence protocols, security and communication protocols, multithreaded and concurrent programs, programs with relaxed memory models, mobile and distributed systems, database languages and systems, biological systems, …

Important dates

  • Abstracts:
  • Author Notification:
  • Final version of abstracts:
  • Workshop: -


SynCoP 2024 seeks short abstracts only. Recently published works, ongoing works, or works under submission are welcome.

The page limit is 3 pages (excluding bibliography) single column. All accepted abstracts will be made available to the participants of SynCoP 2024 but they will not result in referenced publications.

Authors of accepted abstracts will be required to give an informal presentation during the workshop.

Submission will be made in English in PDF format with a simple email at

Event Starts In:


Gilles Ardourel
Assistant Professor
Université de Nantes, France
Read more →
Laurent Fribourg
Senior Researcher
CNRS, France
Read more →
Carlos Olarte
Associated Professor
Université Sorbonne Paris Nord, France
Read more →
Matthias Volk
Assistant Professor
Eindhoven University of Technology, The Netherlands
Read more →


13:30 - 13:50

Welcome + Coffee

13:50 - 14:00

Room: Fischbach


Jaime Arias, Guillaume Cantin

14:00 - 14:55

Room: Fischbach

Invited Speaker Using Statistical Model Checking in a Process for Evaluating and Calibrating a Model of Tropical Forest Dynamics

Gilles Ardourel

15:00 - 15:25

Room: Fischbach

Programmatic Strategy Synthesis

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

15:30 - 16:00

Coffee break

16:00 - 16:55

Room: Fischbach

Invited Speaker Rewriting Modulo SMT Techniques for Parametric Analysis

Carlos Olarte

17:00 - 17:25

Room: Fischbach

Parameterized Verification of Systems with Precise (0, 1)-Counter Abstraction

Paul Eichler, Teymur Ismikhanov, Swen Jacobs, Chana Weil-Kennedy

10:00 - 10:30

Welcome + Coffee

10:30 - 11:25

Room: Fischbach

Invited Speaker SSSmoothRazor: SynthesiS of Smooth parameters using Ockham's Razor

Laurent Fribourg

11:30 - 11:55

Room: Fischbach

Parameterized Verification of Timed Networks with Lossy Broadcast and Clock Invariants

Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra, Ocan Sankur

12:00 - 13:30


13:30 - 14:25

Room: Fischbach

Invited Speaker Verification of Parametric Markov Chains

Matthias Volk

14:30 - 15:00

Room: Fischbach

Parameter Synthesis for Spatial Dynamical Systems with Uncertainty

Benoît Delahaye


General Chairs

Steering Committee