ETAPS 2019 (series) / TACAS 2019 (series) /
TACAS 2019 Program
This is the TACAS 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | |||
10:30 30mTalk | Decomposing Farkas Interpolants TACAS Martin Blicha USI Lugano, Switzerland, Antti Hyvärinen , Jan Kofroň Charles University, Natasha Sharygina USI Lugano, Switzerland Link to publication | ||
11:00 30mTalk | Parallel SAT Simplification on GPU Architectures TACAS Link to publication | ||
11:30 30mTalk | Encoding Redundancy for Satisfaction-Driven Clause LearningBest paper nomination TACAS Marijn Heule The University of Texas at Austin, Benjamin Kiesl CISPA Helmholtz Center for Information Security, Armin Biere Johannes Kepler University Linz Link to publication | ||
12:00 30mTalk | WAPS: Weighted and Projected Sampling TACAS Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore Link to publication | ||
14:00 - 16:00 | |||
14:00 30mTalk | LCV: A Verification Tool for Linear Controller Software TACAS Junkil Park University of Pennsylvania, Miroslav Pajic Duke University, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee Link to publication | ||
14:30 30mTalk | Semantic Fault Localization and Suspiciousness Ranking TACAS 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 Link to publication | ||
15:00 30mTalk | Computing Coupled Similarity TACAS Link to publication | ||
15:30 30mTalk | Reachability Analysis for Termination and Confluence of Rewriting TACAS Link to publication | ||
16:30 - 18:00 | |||
16:30 30mTalk | Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks TACAS Link to publication | ||
17:00 30mTalk | Incremental Analysis of Evolving Alloy Models TACAS Wenxi Wang The University of Texas at Austin, Texas, USA, Kaiyuan Wang Google, Inc., Milos Gligoric University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin Link to publication | ||
17:30 30mTalk | Extending a Brainiac Prover to Lambda-Free Higher-Order Logic TACAS Link to publication | ||
Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:00 | |||
14:00 30mTalk | Omega-Regular Objectives in Model-Free Reinforcement Learning TACAS Ernst Moritz Hahn Queen's University Belfast, Mateo Perez , Sven Schewe University of Liverpool, Fabio Somenzi , Ashutosh Trivedi , Dominik Wojtczak Link to publication | ||
14:30 30mTalk | Verifiably Safe Off-Model Reinforcement Learning TACAS Link to publication | ||
16:30 - 18:00 | |||
16:30 90mDemonstration | Interactive session with tools and demos (I) TACAS | ||
16:30 - 18:00 | |||
16:30 30mTalk | VoxLogicA: a Spatial Model Checker for Declarative Image Analysis TACAS Link to publication | ||
17:00 30mTalk | On Reachability in Parameterized Phaser Programs TACAS Link to publication | ||
17:30 30mTalk | Abstract Dependency Graphs and Their Application to Model CheckingBest paper nomination TACAS Link to publication | ||
Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 10 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | |||
10:30 30mTalk | Multi-Core On-The-Fly Saturation TACAS Link to publication | ||
11:00 30mTalk | Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude TACAS Link to publication | ||
11:30 30mTalk | The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability TACAS Olav Bunte , Jan Friso Groote , Jeroen J.A. Keiren , Maurice Laveaux , Thomas Neele , Erik P. de Vink , Wieger Wesselink , Anton Wijs Eindhoven University of Technology, Tim A.C. Willemse Link to publication | ||
12:00 30mTalk | Checking Deadlock-Freedom of Parametric Component-Based Systems TACAS Marius Bozga Verimag/CNRS, Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes, Joseph Sifakis Verimag/CNRS Link to publication | ||
13:00 - 14:00 | |||
13:00 60mDemonstration | Interactive session with tools and demos (II) TACAS | ||
14:00 - 16:00 | |||
14:00 30mTalk | Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments TACAS Link to publication | ||
14:30 30mTalk | Computing the Expected Execution Time of Probabilistic Workflow Nets TACAS Link to publication | ||
15:00 30mTalk | Shepherding Hordes of Markov Chains TACAS Milan Ceska Brno University of Technology , Nils Jansen RWTH Aachen University, Sebastian Junges RWTH Aachen University, Germany, Joost-Pieter Katoen RWTH Aachen University Link to publication | ||
15:30 30mTalk | Optimal Time-Bounded Reachability Analysis for Concurrent Systems TACAS Link to publication | ||
16:30 - 18:00 | |||
16:30 30mTalk | iRank: a variable order metric for DEDS subject to linear invariants TACAS Link to publication | ||
17:00 30mTalk | Edge-Specified Reduction Binary Decision Diagrams TACAS Link to publication | ||
17:30 30mTalk | Effective Entailment Checking for Separation Logic with Inductive Definitions TACAS Jens Katelaan , Christoph Matheja RWTH Aachen University, Florian Zuleger Vienna University of Technology Link to publication | ||
Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | |||
10:30 30mTalk | Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach TACAS Link to publication | ||
11:00 30mTalk | StocHy: automated verification and synthesis of stochastic processes TACAS Link to publication | ||
11:30 30mTalk | Minimal-Time Synthesis for Parametric Timed Automata TACAS É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 Link to publication | ||
12:00 30mTalk | Environmentally-friendly GR(1) Synthesis TACAS Link to publication | ||
14:00 - 16:00 | |||
14:00 30mTalk | Digital Bifurcation Analysis of TCP Dynamics TACAS Link to publication | ||
14:30 30mTalk | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS Ilina Stoilkovska Vienna University of Technology , Igor Konnov Inria Nancy, Josef Widder TU Wien, Florian Zuleger Vienna University of Technology Link to publication | ||
15:00 30mTalk | Measuring Masking Fault-Tolerance TACAS Pablo Castro Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pedro D'Argenio , Ramiro Demasi , Luciano Putruele Link to publication | ||
15:30 30mTalk | PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ TACAS Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication | ||
16:30 - 18:00 | Monitoring and Runtime VerificationTACAS at SUN I Chair(s): Ondřej Lengál Brno University of Technology | ||
16:30 30mTalk | Specification and Efficient Monitoring Beyond STL TACAS Link to publication | ||
17:00 30mTalk | VyPR2: A Framework for Runtime Verification of Python Web Services TACAS Joshua Dawes University of Manchester and CERN, Giles Reger University of Manchester, Giovanni Franzoni , Andreas Pfeiffer , Giacomo Govi Link to publication | ||
17:30 30mTalk | Constraint-based Monitoring of Hyperproperties TACAS Link to publication | ||