ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Mon 8 Apr 2019 19:54 - 19:58 at 1st Floor Reception Area (Posters) - Main Poster Session Chair(s): Konrad Siek

COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is an international research effort aiming to ensure system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. We present the COMPASS 3.0 toolset, which brings together the results of various development projects since the original inception of COMPASS. Improvements have been made both to the frontend, supporting an updated modeling language and user interface, as well as to the backend, by adding new functionalities and improving the existing ones. New features include Timed Failure Propagation Graphs, contract-based analysis, hierarchical fault tree generation, probabilistic analysis of non-deterministic models and statistical model checking.

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

18:30 - 20:30: Main Poster SessionPosters at 1st Floor Reception Area (Posters)
Chair(s): Konrad SiekCzech Technical University in Prague
18:30 - 18:33
Poster
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Posters
Jakob Piribauer, Christel BaierTU Dresden, Germany
18:33 - 18:37
Poster
Information Flow Control Parallel Runtime Systems Foundations
Posters
Marco VassenaChalmers University of Technology, Deian StefanUniversity of California San Diego
18:37 - 18:40
Poster
VyPR2: A Framework for Runtime Verification of Python Web Services
Posters
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
18:40 - 18:44
Poster
Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms
Posters
Assel AltayevaImperial College London, Nobuko YoshidaImperial College London
18:44 - 18:47
Poster
Tool Support for Correctness-by-Construction
Posters
Tobias RungeTU Braunschweig, Thomas ThümTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University (SU), Ina SchaeferTechnische Universität Braunschweig, Bruce W Watson, Derrick KourieStellenbosch University
18:47 - 18:51
Poster
Verifiably Safe Off-Model Reinforcement Learning
Posters
Nathan FultonMIT-IBM Watson AI Lab, André PlatzerCarnegie Mellon University
18:51 - 18:54
Poster
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Posters
18:54 - 18:58
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
18:58 - 19:01
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
19:01 - 19:05
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
19:05 - 19:08
Poster
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Posters
19:08 - 19:12
Poster
Distributive Disjoint Polymorphism for Compositional Programming
Posters
Xuan BiStandard Chartered Bank, Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
19:12 - 19:15
Poster
Ultimate Automizer
Posters
Matthias HeizmannUniversity of Freiburg, Yu-Fang ChenAcademia Sinica, Daniel DietschUniversity of Freiburg, Marius Greitschus, Jochen HoenickeUniversität Freiburg, Yong LiInstitute of Software, Chinese Academy of Sciences, Alexander NutzUniversity of Freiburg, Germany, Pavel Andrianov, Christian SchillingIST Austria, Tanja SchindlerUniversity of Freiburg, Andreas PodelskiUniversity of Freiburg, Germany
19:15 - 19:19
Poster
Automatically Identifying Sufficient Object Builders from Module APIs
Posters
Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
19:19 - 19:22
Poster
CPAchecker with Strategy Selection
Posters
19:22 - 19:26
Poster
DeepFault: Fault Localization for Deep Neural Networks
Posters
19:26 - 19:30
Poster
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Posters
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
19:30 - 19:33
Poster
Credential Scanning powered by Symbolic Regex Matching
Posters
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan, Arvind RaviMicrosoft Azure
19:33 - 19:37
Poster
ROLL 1.0: $\omega$-Regular Language Learning Library
Posters
Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao Sun, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Yu-Fang ChenAcademia Sinica, Junnan Xu
19:37 - 19:40
Poster
Parallel SAT Simplification on GPU Architectures
Posters
Muhammad OsamaEindhoven University of Technology, Anton WijsEindhoven University of Technology
19:40 - 19:44
Poster
Computing Coupled Similarity
Posters
Benjamin BispingTechnische Universität Berlin, Uwe Nestmann
19:44 - 19:47
Poster
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Posters
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Violet Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
19:47 - 19:51
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
19:51 - 19:54
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
19:54 - 19:58
Poster
The COMPASS 3.0 Toolset
Posters
Marco Bozzano, Harold Bruintjes, Alessandro CimattiFondazione Bruno Kessler, Joost-Pieter KatoenRWTH Aachen University, Thomas NollRWTH Aachen University, Stefano TonettaFondazione Bruno Kessler, Italy
19:58 - 20:01
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
20:01 - 20:05
Poster
Decomposing Farkas Interpolants
Posters
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
20:05 - 20:08
Poster
ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
Posters
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
20:08 - 20:12
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
20:12 - 20:15
Poster
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
Posters
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
20:15 - 20:19
Poster
Business Process Privacy Analysis in Pleak
Posters
20:19 - 20:22
Poster
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Posters
Ilina StoilkovskaVienna University of Technology , Igor KonnovInria Nancy, Josef WidderTU Wien, Florian ZulegerVienna University of Technology
20:22 - 20:26
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
20:26 - 20:30
Poster
Constraint-based Monitoring of Hyperproperties
Posters