| Saturday, 2nd April |
| 10h30 - 11h00 |
|
| 11h15 - 11h30 |
|
| 11h30 - 12h30 |
- Invited talk
C.-c. Shan:
Modular probabilistic inference by program transformations
|
| 12h30 - 14h00 |
|
| 14h00 - 15h00 |
- Luca Bortolussi and Cheng Feng:
Location Aggregation of Spatial Population CTMC Models
- Ludovica Luisa Vissat, Jane Hillston, Glenn Marion and Matthew J. Smith:
MELA: Modelling in Ecology with Location Attributes
|
| 15h00 - 15h30 |
|
| 15h30 - 17h00 |
- Leander Tentrup, Alexander Weinert and Martin Zimmermann:
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
- Valentina Castiglioni, Daniel Gebler and Simone Tini:
Logical Characterization of Bisimulation Metrics
- Vladimir Klebanov, Alexander Weigl and Jorg Weisbarth:
ound Probabilistic #SAT with Projection
|
| Sunday, 3rd April |
| 09h30 - 10h30 |
- Invited talk
B. Haverkort:
Using Domain Specific Languages for Performance Evaluation
(joint work with F. van den Berg and B. Postema)
| 10h30 - 11h00 |
|
| 11h00 - 12h30 |
- Kim Guldstrand Larsen, Simon Laursen and Martin Zimmermann:
Limit Your Consumption! Finding Bounds in Average-energy Games
- Enno Ruijters, Dennis Guck, Peter Drolenga and Marielle Stoelinga:
Reliability-centered maintenance via fault tree analysis
- Sebastian Junges, Christian Dehnert, Nils Jansen,
Joost-Pieter Katoen, Matthias Volk and Tim Quatmann:
Advances in parametric probabilistic verification
|
| 12h30 - 14h00 |
|
| 14h00 - 15h00 |
- Invited talk
A. Filieri:
Keep your software under control: control theory for adaptive software
|
| 15h00 - 15h30 |
|
| 15h30 - 17h00 |
- Ernst Moritz Hahn, Arnd Hartmanns and Lijun Zhang:
Quantitative Model and Tool Interaction
- Jan Kretinsky
Let's Use Machine Learning in Verification
- Dominic Duggan and Jianhua Yao
Parameterized Dataflow
- Closing
|
|