ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Modelling spatio-temporal systems exhibiting multi-scale behaviour is a powerful tool in many branches of science, yet it still presents significant challenges. Here we consider a general two-layer (agent-environment) modelling framework, where spatially distributed agents behave according to external inputs and internal computation; this behaviour may include influencing their immediate environment, creating a medium over which agent-agent interaction signals can be transmitted. We propose a novel simulation strategy based on a statistical abstraction of the agent layer, which is typically the most detailed component of the model and can incur significant computational cost in simulation. The abstraction makes use of Gaussian Processes, a powerful class of non-parametric regression techniques from Bayesian Machine Learning, to estimate the agent’s behaviour given the environmental input. We show on two biological case studies how this technique can be used to speed up simulations and provide further insights into model behaviour.

Sat 6 Apr

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

10:30 - 16:00
Workshop Poster Exhibition (Saturday)Posters at Coffee area (Posters)
Chair(s): Jan Kofroň Charles University
10:30
22m
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy, Andrea Vandin DTU, Denmark, Luca Cardelli Microsoft Research and University of Oxford
10:52
22m
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis Michaelides University of Edinburgh, Jane Hillston University of Edinburgh, Guido Sanguinetti University of Edinburgh
11:14
22m
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc Vo Uppsala University
11:36
22m
Poster
VIAP 1.1
Posters
11:58
22m
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
12:20
22m
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore
12:42
22m
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria Christakis MPI-SWS, Matthias Heizmann University of Freiburg, Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS), Christian Schilling IST Austria, Valentin Wüstholz ConsenSys Diligence
13:04
22m
Poster
Ultimate Automizer
Posters
Matthias Heizmann University of Freiburg, Yu-Fang Chen Academia Sinica, Daniel Dietsch University of Freiburg, Marius Greitschus , Jochen Hoenicke Universität Freiburg, Yong Li Institute of Software, Chinese Academy of Sciences, Alexander Nutz University of Freiburg, Germany, Pavel Andrianov , Christian Schilling IST Austria, Tanja Schindler University of Freiburg, Andreas Podelski University of Freiburg, Germany
13:26
22m
Poster
CPAchecker with Strategy Selection
Posters
13:48
22m
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:10
22m
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne André LIPN, CNRS UMR 7030, Université Paris 13, Vincent Bloemen University of Twente, Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University
14:32
22m
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov , Heike Wehrheim Paderborn University
14:54
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
15:16
22m
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas Cordeiro University of Oxford, Daniel Kroening University of Oxford, Peter Schrammel University of Oxford, UK
15:38
22m
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters

Sun 7 Apr

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

10:30 - 16:00
Workshop Poster Exhibition (Sunday)Posters at Coffee area (Posters)
10:30
22m
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
10:52
22m
Poster
CPAchecker with Strategy Selection
Posters
11:14
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
11:36
22m
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
11:58
22m
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas Cordeiro University of Oxford, Daniel Kroening University of Oxford, Peter Schrammel University of Oxford, UK
12:20
22m
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy, Andrea Vandin DTU, Denmark, Luca Cardelli Microsoft Research and University of Oxford
12:42
22m
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne André LIPN, CNRS UMR 7030, Université Paris 13, Vincent Bloemen University of Twente, Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University
13:04
22m
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov , Heike Wehrheim Paderborn University
13:26
22m
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria Christakis MPI-SWS, Matthias Heizmann University of Freiburg, Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS), Christian Schilling IST Austria, Valentin Wüstholz ConsenSys Diligence
13:48
22m
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis Michaelides University of Edinburgh, Jane Hillston University of Edinburgh, Guido Sanguinetti University of Edinburgh
14:10
22m
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:32
22m
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc Vo Uppsala University
14:54
22m
Poster
Ultimate Automizer
Posters
Matthias Heizmann University of Freiburg, Yu-Fang Chen Academia Sinica, Daniel Dietsch University of Freiburg, Marius Greitschus , Jochen Hoenicke Universität Freiburg, Yong Li Institute of Software, Chinese Academy of Sciences, Alexander Nutz University of Freiburg, Germany, Pavel Andrianov , Christian Schilling IST Austria, Tanja Schindler University of Freiburg, Andreas Podelski University of Freiburg, Germany
15:16
22m
Poster
VIAP 1.1
Posters
15:38
22m
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore