VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / VerifyThis 2019 (series) / Charles University /

Room information: S7

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

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

09:00 - 10:30
Session IQAPL at S7
09:00
60m
Talk
Principles of QAPL: What I learned in nearly 20 years and what I still don’t understand
QAPL
Herbert Wiklicky Imperial College London
10:00
30m
Talk
Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses
QAPL
Maja Kirkeby Roskilde University
Pre-print
11:00 - 12:30
Session IIQAPL at S7
11:00
30m
Talk
A Faster-Than Relation for Semi-Markov Decision Processes
QAPL
Mathias Ruggaard Pedersen Aalborg University, Giorgio Bacci Aalborg University, Kim Larsen Aalborg University
Pre-print
11:30
30m
Talk
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
QAPL
Anne Schreuder Technischen Universität Kaiserslautern, C.-H. Luke Ong University of Oxford
Pre-print
12:00
30m
Talk
Towards Digital Twins for the Description of Automotive Software Systems
QAPL
Jan Olaf Blech Aalto University
Pre-print
14:00 - 15:30
Session IIIQAPL at S7
14:00
60m
Talk
Invited talk: Exact and Approximate Reductions of Quantitative Models
QAPL
I: Max Tschaikowski TU Wien
15:00
30m
Talk
Coherent Resolutions of Nondeterminism
QAPL
Marco Bernardo University of Urbino
16:00 - 18:00
Session IVQAPL at S7
16:00
30m
Talk
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
QAPL
Kevin Batz RWTH Aachen University, Benjamin Lucien Kaminski RWTH Aachen University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja RWTH Aachen University, Thomas Noll RWTH Aachen University
DOI
16:30
30m
Talk
An Adequate Semantics for Hybrid While
QAPL
Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8, Renato Neves University of Minho & INESC TEC
17:00
30m
Talk
Recent Applications and Quantitative Aspects of Spatial Model Checking
QAPL
Gina Belmonte , Vincenzo Ciancia , Diego Latella , Mieke Massink CNR-ISTI Pisa, Italy
17:30
30m
Talk
Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS
QAPL
Marco Bernardo University of Urbino

Sun 7 Apr

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

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

QAPL

Session I

QAPL

Session II

QAPL

Session III

QAPL

Session IV

Sun 7 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
S7
QAPL
Principles of QAPL: What I learned in nearly 20 years and what I still ...
09:00 - 10:00
QAPL
Probabilistic output analyses for deterministic programs -reusing exist ...
10:00 - 10:30
QAPL
A Faster-Than Relation for Semi-Markov Decision Processes
11:00 - 11:30
QAPL
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometri ...
11:30 - 12:00
QAPL
Towards Digital Twins for the Description of Automotive Software Systems
12:00 - 12:30
QAPL
Invited talk: Exact and Approximate Reductions of Quantitative Models
14:00 - 15:00
QAPL
Coherent Resolutions of Nondeterminism
15:00 - 15:30
QAPL
Quantitative Separation Logic - A Logic for Reasoning about Probabilist ...
16:00 - 16:30
QAPL
An Adequate Semantics for Hybrid While
16:30 - 17:00
QAPL
Recent Applications and Quantitative Aspects of Spatial Model Checking
17:00 - 17:30
QAPL
Equational Characterization Metaresults for Bisimulation and Trace Sema ...
17:30 - 18:00