ETAPS 2019 (series) / QAPL 2019 (series) / 16th Workshop on Quantitative Aspects of Programming Languages and Systems /
Recent Applications and Quantitative Aspects of Spatial Model Checking
Sun 7 Apr 2019 17:00 - 17:30 at S7 - Session IV
Quantitative aspects are not prominent in the classical literature on spatial and spatio-temporal logics, although there are some recent proposals in this direction. We illustrate the need for such features by examining some recent applications (smart cities, and analysis of medical images). We briefly discuss some related work in the classical setting, and examine recent developments in the research line on Spatial Model Checking for Closure Spaces. Part of this discussion stems from two upcoming publications of which one will be presented at the TACAS 2019 conference.
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
16:00 - 18:00 | |||
16:00 30mTalk | 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 30mTalk | An Adequate Semantics for Hybrid While QAPL | ||
17:00 30mTalk | Recent Applications and Quantitative Aspects of Spatial Model Checking QAPL | ||
17:30 30mTalk | Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS QAPL Marco Bernardo University of Urbino |