SynCoP 2016

3rd International Workshop on Synthesis of Complex Parameters

Sunday 3rd of April 2016, Eindhoven, The Netherlands



The workshop took place on Sunday 3rd April 2016 in room CZ15 in the Auditorium, Eindhoven, The Netherlands.
Additional information can be found on the ETAPS workshops page.

The preproceedings are available here.

8h50 - 9h00
Welcome word (Benoît Delahaye)
9h00 - 10h
Invited talk: Grégory Batt (chair: Étienne André)
What population reveals about individual cell identity: Single-cell parameter estimation of models of gene expression in yeast
10h00 - 10h30
Session 1b (chair: Étienne André)
Milan Češka, Nicola Paoletti, Luboš Brim and Marta Kwiatkowska. Recent Advances in Precise Parameter Synthesis for Continuous-Time Markov Chains
10h30 - 11h
coffee break
11h - 12h30
Session 2 (chair: Benoît Delahaye)
Benoît Delahaye, Didier Lime and Laure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains Paper accepted at VMCAI 2016
Bharath Siva Kumar Tati and Markus Siegle. Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements Regular paper accepted at SynCoP 2016
Camille Coti. Parametric, Probabilistic, Timed Resource Discovery System Regular paper accepted at SynCoP 2016 [slides] [slides (local)]
12h30 - 14h
Lunch break
14h - 15h
Invited talk: Giorgio Delzanno (chair: Jiří Srba) Joint session with the Cassting workshop
Parameterized Verification of Distributed Broadcast Protocols
15h00 - 15h30
Session 3b (chair: Jiří Srba)
Nils Jansen and Ufuk Topcu. Synthesis of Shared Control Protocols
15h30 - 16h
coffee break
16h - 18h
session 4 (chair: Laure Petrucci)
Nikola Beneš, Peter Bezděk, Kim G. Larsen and Jiří Srba. Language Emptiness of Continuous-Time Parametric Timed Automata Paper accepted at ICALP 2015
Anders Mariegaard, Kim Guldstrand Larsen and Louise Foshammer. Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures Regular paper accepted at SynCoP 2016
Herbert Wiklicky. Quantitative Program Synthesis Based on Linear Operator Semantics
18h - 18h10
Closing remarks (Jiří Srba)
19h30 -
SynCoP dinner
At The Trafalgar Pub
Note that we organize a distinct dinner from the "official ETAPS workshop dinner"
The SynCoP workshop dinner is open to anyone (every participant is expected to pay for its dinner, approx. 15-20€); however, please let us know ASAP if you plan to attend, so that we book an appropriate number of seats.