ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameCoffee area (Posters)
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in 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 - 10:52
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy, Andrea VandinDTU, Denmark, Luca CardelliMicrosoft Research and University of Oxford
10:52 - 11:14
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
11:14 - 11:36
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc VoUppsala University
11:36 - 11:58
Poster
VIAP 1.1
Posters
11:58 - 12:20
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
12:20 - 12:42
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
12:42 - 13:04
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
13:04 - 13:26
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
13:26 - 13:48
Poster
CPAchecker with Strategy Selection
Posters
13:48 - 14:10
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:10 - 14:32
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
14:32 - 14:54
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
14:54 - 15:16
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
15:16 - 15:38
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
15:38 - 16:00
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters

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

10:30 - 16:00: Workshop Poster Exhibition (Sunday)Posters at Coffee area (Posters)
10:30 - 10:52
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
10:52 - 11:14
Poster
CPAchecker with Strategy Selection
Posters
11:14 - 11:36
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
11:36 - 11: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
11:58 - 12:20
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
12:20 - 12:42
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy, Andrea VandinDTU, Denmark, Luca CardelliMicrosoft Research and University of Oxford
12:42 - 13:04
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
13:04 - 13:26
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
13:26 - 13:48
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
13:48 - 14:10
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
14:10 - 14:32
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:32 - 14:54
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc VoUppsala University
14:54 - 15:16
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
15:16 - 15:38
Poster
VIAP 1.1
Posters
15:38 - 16:00
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore

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

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

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

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