CREST 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS10
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:00
Timed systemsSynCoP at S10
11:00
45m
Talk
On Parameterised Jobshop Scheduling Problems
SynCoP
13:30 - 15:30
ApplicationsSynCoP at S10
13:45
45m
Talk
Parametric statistical model checking of UAV flightplan
SynCoP
14:30
45m
Talk
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

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Parameter synthesis for LTLSynCoP at S10
09:00
45m
Talk
Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties
SynCoP
09:45
45m
Talk
Pruning NDFS for Parametric Timed Automata
SynCoP
Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S10

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S10