Write a Blog >>
TACAS 2019
Mon 8 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameCoffee area (Posters)
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 6 Apr

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

10:30 - 16:00
Workshop Poster Exhibition (Saturday)ETAPS Posters at Coffee area (Posters)
Chair(s): Jan Kofroň Charles University
10:30
22m
Poster
Markovian equivalences for biochemical reaction networks
ETAPS 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
ETAPS 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
ETAPS Posters
Huu-Phuc Vo Uppsala University
11:36
22m
Poster
VIAP 1.1
ETAPS Posters
11:58
22m
Poster
FreeST: context-free session types in a functional language
ETAPS 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
ETAPS 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
ETAPS 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
ETAPS 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
ETAPS Posters
13:48
22m
Poster
Towards A Logical Account of Epistemic Causality
ETAPS Posters
14:10
22m
Poster
Minimal-Time Synthesis for Parametric Timed Automata
ETAPS 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
ETAPS Posters
Pavel Andrianov , Heike Wehrheim Paderborn University
14:54
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
ETAPS Posters
Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
15:16
22m
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
ETAPS 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
ETAPS Posters

Sun 7 Apr

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

10:30 - 16:00
Workshop Poster Exhibition (Sunday)ETAPS Posters at Coffee area (Posters)
10:30
22m
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
ETAPS Posters
10:52
22m
Poster
CPAchecker with Strategy Selection
ETAPS Posters
11:14
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
ETAPS Posters
Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
11:36
22m
Poster
FreeST: context-free session types in a functional language
ETAPS 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)
ETAPS 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
ETAPS 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
ETAPS 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
ETAPS Posters
Pavel Andrianov , Heike Wehrheim Paderborn University
13:26
22m
Poster
Semantic Fault Localization and Suspiciousness Ranking
ETAPS 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
ETAPS 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
ETAPS Posters
14:32
22m
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
ETAPS Posters
Huu-Phuc Vo Uppsala University
14:54
22m
Poster
Ultimate Automizer
ETAPS 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
ETAPS Posters
15:38
22m
Poster
WAPS: Weighted and Projected Sampling
ETAPS Posters
Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore

Sat 6 Apr

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

Sun 7 Apr

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

Room10:003011:003012:003013:003014:003015:0030
Coffee area (Posters)