ETAPS 2019 (series) / SynCoP 2019 (series) /
SynCoP 2019 Program
This is the SynCoP 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:00 | |||
11:00 45mTalk | On Parameterised Jobshop Scheduling Problems SynCoP Peter Habermehl IRIF | ||
13:30 - 15:30 | |||
13:45 45mTalk | Parametric statistical model checking of UAV flightplan SynCoP | ||
14:30 45mTalk | Fault-tolerant matrix factorisation: a formal model and proof SynCoP Camille Coti LIPN, Université Paris 13, Laure Petrucci Université Paris 13, Daniel Alberto Torres Gonzalez LIPN, Université Paris 13 | ||
16:00 - 18:00 | |||
16:00 45mTalk | Convex Optimization meets Parameter Synthesis for MDPs SynCoP | ||
16:45 45mTalk | Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints SynCoP Jan Kretinsky Technical University of Munich | ||
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 45mTalk | Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties SynCoP | ||
09:45 45mTalk | Pruning NDFS for Parametric Timed Automata SynCoP | ||
11:00 - 12:00 | |||
11:00 45mTalk | SMT-based bounded model checking for parametric reaction systems SynCoP | ||
13:30 - 15:30 | |||
13:30 45mTalk | Parametric Markov chains: algorithms, complexity and applications SynCoP Christel Baier TU Dresden, Germany | ||
14:15 45mTalk | Parametric Verification and Synthesis based on Gaussian Processes SynCoP | ||