ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS7
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

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Session IIQAPL at S7
11:00 - 11:30
Talk
A Faster-Than Relation for Semi-Markov Decision Processes
QAPL
Mathias Ruggaard PedersenAalborg University, Giorgio BacciAalborg University, Kim LarsenAalborg University
Pre-print
11:30 - 12:00
Talk
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
QAPL
Anne SchreuderTechnischen Universität Kaiserslautern, C.-H. Luke OngUniversity of Oxford
Pre-print
12:00 - 12:30
Talk
Towards Digital Twins for the Description of Automotive Software Systems
QAPL
Jan Olaf BlechAalto University
Pre-print
14:00 - 15:30: Session IIIQAPL at S7
14:00 - 15:00
Talk
Invited talk: Exact and Approximate Reductions of Quantitative Models
QAPL
15:00 - 15:30
Talk
Coherent Resolutions of Nondeterminism
QAPL
Marco BernardoUniversity of Urbino
16:00 - 18:00: Session IVQAPL at S7
16:00 - 16:30
Talk
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
QAPL
Kevin BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph MathejaRWTH Aachen University, Thomas NollRWTH Aachen University
DOI
16:30 - 17:00
Talk
An Adequate Semantics for Hybrid While
QAPL
Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Renato NevesUniversity of Minho & INESC TEC
17:00 - 17:30
Talk
Recent Applications and Quantitative Aspects of Spatial Model Checking
QAPL
17:30 - 18:00
Talk
Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS
QAPL
Marco BernardoUniversity of Urbino

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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