ESOP 2019
Mon 8 - Thu 11 April 2019
Prague, Czech Republic
co-located with
ETAPS 2019
Toggle navigation
Attending
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Program
Complete Program
Your Program
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Track/Call
Organization
ESOP 2019 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
ESOP 2019
ESOP 2015
Sign in
Sign up
ETAPS 2019
(
series
) /
ESOP 2019 (
series
) /
Orea Hotel Pyramida
/
Room information: SUN I
Venue
Orea Hotel Pyramida
Room name
SUN I
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:40 - 09:00
Opening
ETAPS Social
at
SUN I
08:40
20m
Social Event
Opening
ETAPS Social
Joost-Pieter Katoen
RWTH Aachen University
,
Jan Vitek
Northeastern University and Czech Technical University
,
Jan Kofroň
Charles University
09:00 - 10:00
Chechik
ETAPS Keynotes
at
SUN I
Chair(s):
Joost-Pieter Katoen
RWTH Aachen University
09:00
60m
Talk
Software Assurance in an Uncertain World
ETAPS Keynotes
Marsha Chechik
University of Toronto
Link to publication
File Attached
10:30 - 12:30
SAT and SMT I
TACAS
at
SUN I
Chair(s):
Lijun Zhang
Chinese Academy of Sciences
10:30
30m
Talk
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
30m
Talk
Parallel SAT Simplification on GPU Architectures
TACAS
Muhammad Osama
Eindhoven University of Technology
,
Anton Wijs
Eindhoven University of Technology
Link to publication
11:30
30m
Talk
Encoding Redundancy for Satisfaction-Driven Clause Learning
Best 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
30m
Talk
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
Verification and Analysis
TACAS
at
SUN I
Chair(s):
Dirk Beyer
LMU Munich
14:00
30m
Talk
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
30m
Talk
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
30m
Talk
Computing Coupled Similarity
TACAS
Benjamin Bisping
Technische Universität Berlin
,
Uwe Nestmann
Link to publication
15:30
30m
Talk
Reachability Analysis for Termination and Confluence of Rewriting
TACAS
Christian Sternagel
University of Innsbruck, Austria
,
Akihisa Yamada
Link to publication
16:30 - 18:00
SAT Solving and Theorem Proving
TACAS
at
SUN I
Chair(s):
Armin Biere
Johannes Kepler University Linz
16:30
30m
Talk
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
TACAS
Pengfei Gao
,
Hongyi Xie
,
Jun Zhang
,
Fu Song
,
Taolue Chen
Birkbeck, University of London
Link to publication
17:00
30m
Talk
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
30m
Talk
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
TACAS
Petar Vukmirović
,
Jasmin Blanchette
Vrije Universiteit Amsterdam
,
Simon Cruanes
,
Stephan Schulz
Link to publication
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Colcombet
ETAPS Keynotes
at
SUN I
Chair(s):
Mikolaj Bojanczyk
University of Warsaw
09:00
60m
Talk
On infinite duration games
ETAPS Keynotes
Thomas Colcombet
IRIF, University Paris Diderot and CNRS, France
Link to publication
File Attached
10:30 - 12:30
SAT and SMT II
TACAS
at
SUN I
Chair(s):
Armin Biere
Johannes Kepler University Linz
10:30
30m
Talk
Building Better Bit-Blasting for Floating-Point Problems
Best paper nomination
TACAS
Martin Brain
,
Florian Schanda
Zenuity
,
Youcheng Sun
University of Oxford
Link to publication
11:00
30m
Talk
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations
TACAS
Nils Becker
,
Peter Müller
ETH Zurich
,
Alexander J. Summers
ETH Zurich
Link to publication
11:30
30m
Talk
On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition
TACAS
Thomas Bläsius
,
Tobias Friedrich
,
Andrew Sutton
Link to publication
12:00
30m
Talk
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
TACAS
Ludovic Le Frioux
,
Souheib Baarir
,
Julien Sopena
,
Fabrice Kordon
Sorbonne University — LIP6
Link to publication
14:00 - 16:00
Tool Demos
TACAS
at
SUN I
Chair(s):
Marius Mikucionis
Aalborg University
14:00
15m
Talk
nonreach – A Tool for Nonreachability Analysis
TACAS
Florian Messner
,
Christian Sternagel
University of Innsbruck, Austria
Link to publication
14:15
15m
Talk
The Quantitative Verification Benchmark Set
TACAS
Arnd Hartmanns
University of Twente
,
Michaela Klauck
Saarland Informatics Campus, Saarland University
,
David Parker
University of Birmingham
,
Tim Quatmann
RWTH Aachen University
,
Enno Ruijters
Link to publication
14:30
15m
Talk
ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
TACAS
Bo-Yuan Huang
Princeton University, USA
,
Hongce Zhang
,
Aarti Gupta
Princeton University
,
Sharad Malik
Princeton University
Link to publication
14:45
15m
Talk
MetAcsl: Specification and Verification of High-Level Properties
TACAS
Virgile Robles
,
Nikolai Kosmatov
CEA List
,
Virgile Prevosto
CEA Tech List
,
Pascale Le Gall
Link to publication
15:00
15m
Talk
ROLL 1.0: $\omega$-Regular Language Learning Library
TACAS
Yu-Fang Chen
Academia Sinica
,
Yong Li
Institute of Software, Chinese Academy of Sciences
,
Xuechao Sun
,
Andrea Turrini
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
,
Junnan Xu
Link to publication
15:15
15m
Talk
Symbolic Regex Matcher
TACAS
Margus Veanes
Microsoft Research
,
Olli Saarikivi
,
Eric Xu
Microsoft, USA
,
Tiki Wan
Link to publication
15:30
15m
Talk
COMPASS 3.0
TACAS
Marco Bozzano
,
Harold Bruintjes
,
Alessandro Cimatti
Fondazione Bruno Kessler
,
Joost-Pieter Katoen
RWTH Aachen University
,
Thomas Noll
RWTH Aachen University
,
Stefano Tonetta
Fondazione Bruno Kessler, Italy
Link to publication
15:45
15m
Talk
Debugging of Behavioural Models with CLEAR
TACAS
Gianluca Barbon
Universit� Grenoble Alpes, Inria, LIG
,
Vincent Leroy
University of Grenoble - CNRS
,
Gwen Salaün
University of Grenoble Alpes
Link to publication
16:30 - 18:00
Model Checking
TACAS
at
SUN I
Chair(s):
Florian Zuleger
Vienna University of Technology
16:30
30m
Talk
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
TACAS
Gina Belmonte
,
Vincenzo Ciancia
,
Diego Latella
,
Mieke Massink
CNR-ISTI Pisa, Italy
Link to publication
17:00
30m
Talk
On Reachability in Parameterized Phaser Programs
TACAS
Petru Eles
,
Zeinab Ganjei
,
Ludovic Henrio
CNRS
,
Zebo Peng
,
Ahmed Rezine
Link to publication
17:30
30m
Talk
Abstract Dependency Graphs and Their Application to Model Checking
Best paper nomination
TACAS
Søren Enevoldsen
,
Kim Larsen
Aalborg University
,
Jiri Srba
Link to publication
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Fisher
ETAPS Keynotes
at
SUN I
Chair(s):
Luís Caires
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:00
60m
Talk
From quadcopters to helicopters: Formal verification to eliminate exploitable bugs
ETAPS Keynotes
Kathleen Fisher
Tufts University
File Attached
10:30 - 12:30
Concurrent and Distributed Systems
TACAS
at
SUN I
Chair(s):
Marieke Huisman
University of Twente
10:30
30m
Talk
Multi-Core On-The-Fly Saturation
TACAS
Tom van Dijk
University of Twente
,
Jeroen Meijer
,
Jaco van de Pol
Aarhus University
Link to publication
11:00
30m
Talk
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
TACAS
Si Liu
,
Peter Ölveczky
,
Min Zhang
East China Normal University
,
Qi Wang
,
José Meseguer
Link to publication
11:30
30m
Talk
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
30m
Talk
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
14:00 - 16:00
Hybrid and Stochastic Systems
TACAS
at
SUN I
Chair(s):
Kim Larsen
Aalborg University
14:00
30m
Talk
Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
TACAS
Satoshi Kura
,
Natsuki Urabe
,
Ichiro Hasuo
National Institute of Informatics
Link to publication
14:30
30m
Talk
Computing the Expected Execution Time of Probabilistic Workflow Nets
TACAS
Philipp J. Meyer
,
Javier Esparza
,
Philip Offtermatt
Link to publication
15:00
30m
Talk
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
30m
Talk
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
TACAS
Yuliya Butkova
,
Gereon Fox
Link to publication
16:30 - 18:00
Symbolic Verification
TACAS
at
SUN I
Chair(s):
Holger Hermanns
Saarland University
16:30
30m
Talk
iRank: a variable order metric for DEDS subject to linear invariants
TACAS
Elvio Gilberto Amparore
,
Gianfranco Ciardo
,
Susanna Donatelli
,
Andrew Miner
Link to publication
17:00
30m
Talk
Edge-Specified Reduction Binary Decision Diagrams
TACAS
Junaid Babar
,
Chuan Jiang
,
Gianfranco Ciardo
,
Andrew Miner
Link to publication
17:30
30m
Talk
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 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Flanagan
ETAPS Keynotes
at
SUN I
Chair(s):
Tomáš Vojnar
Brno University of Technology
09:00
60m
Talk
Towards Efficient and Precise Concurrent Software Analysis
ETAPS Keynotes
Cormac Flanagan
University of California, Santa Cruz
File Attached
10:30 - 12:30
Synthesis
TACAS
at
SUN I
Chair(s):
Roland Meyer
Technical University of Braunschweig
10:30
30m
Talk
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
TACAS
Mahmoud Khaled
TU Munich
,
Eric Kim
,
Murat Arcak
,
Majid Zamani
Link to publication
11:00
30m
Talk
StocHy: automated verification and synthesis of stochastic processes
TACAS
Nathalie Cauchi
University of Oxford
,
Alessandro Abate
University of Oxford
Link to publication
11:30
30m
Talk
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
30m
Talk
Environmentally-friendly GR(1) Synthesis
TACAS
Rupak Majumdar
MPI-SWS, Germany
,
Nir Piterman
,
Anne-Kathrin Schmuck
Link to publication
14:00 - 16:00
Safety and Fault-tolerant Systems
TACAS
at
SUN I
Chair(s):
Rance Cleaveland
University of Maryland
14:00
30m
Talk
Digital Bifurcation Analysis of TCP Dynamics
TACAS
Nikola Benes
,
Lubos Brim
,
Samuel Pastva
,
David Safranek
Masaryk University
Link to publication
14:30
30m
Talk
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
30m
Talk
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
30m
Talk
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 Verification
TACAS
at
SUN I
Chair(s):
Ondřej Lengál
Brno University of Technology
16:30
30m
Talk
Specification and Efficient Monitoring Beyond STL
TACAS
Alexey Bakhirkin
,
Nicolas Basset
Link to publication
17:00
30m
Talk
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
30m
Talk
Constraint-based Monitoring of Hyperproperties
TACAS
Christopher Hahn
,
Marvin Stenger
,
Leander Tentrup
Saarland University
Link to publication
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SUN I
ETAPS Social
Opening
ETAPS Keynotes
Chechik
TACAS
SAT and SMT I
TACAS
Verification and Analysis
TACAS
SAT Solving and Theorem Proving
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SUN I
ETAPS Keynotes
Colcombet
TACAS
SAT and SMT II
TACAS
Tool Demos
TACAS
Model Checking
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SUN I
ETAPS Keynotes
Fisher
TACAS
Concurrent and Distributed Systems
TACAS
Hybrid and Stochastic Systems
TACAS
Symbolic Verification
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SUN I
ETAPS Keynotes
Flanagan
TACAS
Synthesis
TACAS
Safety and Fault-tolerant Systems
TACAS
Monitoring and Runtime Verification
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
SUN I
ETAPS Social
Opening
08:40 - 09:00
ETAPS Keynotes
Software Assurance in an Uncertain World
09:00 - 10:00
TACAS
Decomposing Farkas Interpolants
10:30 - 11:00
TACAS
Parallel SAT Simplification on GPU Architectures
11:00 - 11:30
TACAS
Best paper nomination
Encoding Redundancy for Satisfaction-Driven Clause Learning
11:30 - 12:00
TACAS
WAPS: Weighted and Projected Sampling
12:00 - 12:30
TACAS
LCV: A Verification Tool for Linear Controller Software
14:00 - 14:30
TACAS
Semantic Fault Localization and Suspiciousness Ranking
14:30 - 15:00
TACAS
Computing Coupled Similarity
15:00 - 15:30
TACAS
Reachability Analysis for Termination and Confluence of Rewriting
15:30 - 16:00
TACAS
Quantitative Verification of Masked Arithmetic Programs against Side-Ch ...
16:30 - 17:00
TACAS
Incremental Analysis of Evolving Alloy Models
17:00 - 17:30
TACAS
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
17:30 - 18:00
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
SUN I
ETAPS Keynotes
On infinite duration games
09:00 - 10:00
TACAS
Best paper nomination
Building Better Bit-Blasting for Floating-Point Problems
10:30 - 11:00
TACAS
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instanti ...
11:00 - 11:30
TACAS
On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Trans ...
11:30 - 12:00
TACAS
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painl ...
12:00 - 12:30
TACAS
nonreach – A Tool for Nonreachability Analysis
14:00 - 14:15
TACAS
The Quantitative Verification Benchmark Set
14:15 - 14:30
TACAS
ILAng: A Modeling Platform for SoC Verification using Instruction-Level ...
14:30 - 14:45
TACAS
MetAcsl: Specification and Verification of High-Level Properties
14:45 - 15:00
TACAS
ROLL 1.0: $\omega$-Regular Language Learning Library
15:00 - 15:15
TACAS
Symbolic Regex Matcher
15:15 - 15:30
TACAS
COMPASS 3.0
15:30 - 15:45
TACAS
Debugging of Behavioural Models with CLEAR
15:45 - 16:00
TACAS
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
16:30 - 17:00
TACAS
On Reachability in Parameterized Phaser Programs
17:00 - 17:30
TACAS
Best paper nomination
Abstract Dependency Graphs and Their Application to Model Checking
17:30 - 18:00
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
SUN I
ETAPS Keynotes
From quadcopters to helicopters: Formal verification to eliminate explo ...
09:00 - 10:00
TACAS
Multi-Core On-The-Fly Saturation
10:30 - 11:00
TACAS
Automatic Analysis of Consistency Properties of Distributed Transaction ...
11:00 - 11:30
TACAS
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Exp ...
11:30 - 12:00
TACAS
Checking Deadlock-Freedom of Parametric Component-Based Systems
12:00 - 12:30
TACAS
Tail Probabilities for Runtimes of Randomized Programs: Martingale Synt ...
14:00 - 14:30
TACAS
Computing the Expected Execution Time of Probabilistic Workflow Nets
14:30 - 15:00
TACAS
Shepherding Hordes of Markov Chains
15:00 - 15:30
TACAS
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
15:30 - 16:00
TACAS
iRank: a variable order metric for DEDS subject to linear invariants
16:30 - 17:00
TACAS
Edge-Specified Reduction Binary Decision Diagrams
17:00 - 17:30
TACAS
Effective Entailment Checking for Separation Logic with Inductive Defin ...
17:30 - 18:00
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
SUN I
ETAPS Keynotes
Towards Efficient and Precise Concurrent Software Analysis
09:00 - 10:00
TACAS
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Ap ...
10:30 - 11:00
TACAS
StocHy: automated verification and synthesis of stochastic processes
11:00 - 11:30
TACAS
Minimal-Time Synthesis for Parametric Timed Automata
11:30 - 12:00
TACAS
Environmentally-friendly GR(1) Synthesis
12:00 - 12:30
TACAS
Digital Bifurcation Analysis of TCP Dynamics
14:00 - 14:30
TACAS
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Mo ...
14:30 - 15:00
TACAS
Measuring Masking Fault-Tolerance
15:00 - 15:30
TACAS
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
15:30 - 16:00
TACAS
Specification and Efficient Monitoring Beyond STL
16:30 - 17:00
TACAS
VyPR2: A Framework for Runtime Verification of Python Web Services
17:00 - 17:30
TACAS
Constraint-based Monitoring of Hyperproperties
17:30 - 18:00
x
Sun 1 Sep 08:12