ETAPS 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
Toggle navigation
About
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Accommodation
Registration
Travel
Food
Social Events
Conferences
Scholarships
Proceedings
Awards
Conduct
ETAPS'19 Photos
Program
Complete Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Conferences
ETAPS 2019
Keynotes
Mentoring Workshop
Mooly Fest
Posters
Social
Student Volunteers
TOOLympics
Tutorials
Workshops
Co-hosted Conferences
ESOP
FASE
FOSSACS
POST
TACAS
Workshops
BEHAPI
CREST
DICE-FOPARA
GaLoP
HCVS
HSB
InterAVT
LiVe
MeTRiD
PERR
PLACES
QAPL
SPIoT
SYNT Camp
SynCoP
VerifyThis
Organization
ETAPS 2019 Committees
Organizing Committee
Steering Committee
Executive Board
Track Committees
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Posters
TOOLympics
Workshops
Contributors
People Index
Co-hosted Conferences
ESOP
Program Committee
FASE
Program Committee
FOSSACS
Invited Speaker
Program Committee
POST
Program Committee
TACAS
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
BEHAPI
Organizing Committee
Program Committee
CREST
Invited Speakers
Program Committee
DICE-FOPARA
Program Committee
Steering Committe (FOPARA)
Steering Committee (DICE)
GaLoP
Program Committee
Steering Committee
HCVS
Invited Speakers
Organizing Committee
Program Committee
HSB
Organizing Committee
Program Committee
InterAVT
Organizing Committee
Program Committee
LiVe
Program Committee
MeTRiD
Organizing Committee
Program Committee
PERR
Organizing Committee
Program Committee
PLACES
Organizing Committee
Program Committee
QAPL
Organizing Committee
Steering Committee
SPIoT
Organizing Committee
Program Committee
SYNT Camp
Organizing Committee
Program Committee
SynCoP
Organizing Committee
Steering Committee (and PC)
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
Charles University
/
Room information: Coffee area (Posters)
Venue
Charles University
Room name
Coffee area (Posters)
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-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05: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-03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) 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+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Sat 6 Apr
Displayed 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
22m
Poster
Markovian equivalences for biochemical reaction networks
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
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
Posters
Huu-Phuc Vo
Uppsala University
11:36
22m
Poster
VIAP 1.1
Posters
pritom rajkhowa
,
Fangzhen Lin
11:58
22m
Poster
FreeST: context-free session types in a functional language
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
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
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
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
Posters
Karlheinz Friedberger
,
Marie-Christine Jakobs
TU Darmstadt, Germany
,
Thomas Lemberger
,
Martin Spiessl
,
Philipp Wendler
13:48
22m
Poster
Towards A Logical Account of Epistemic Causality
Posters
Shakil Khan
,
Mikhail Soutchanski
14:10
22m
Poster
Minimal-Time Synthesis for Parametric Timed Automata
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
Posters
Pavel Andrianov
,
Heike Wehrheim
Paderborn University
14:54
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk Beyer
LMU Munich
,
Marie-Christine Jakobs
TU Darmstadt, Germany
15:16
22m
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
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
Posters
Pavel Andrianov
,
Pavel Andrianov
,
Pavel Andrianov
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 16:00
Workshop Poster Exhibition (Sunday)
Posters
at
Coffee area (Posters)
10:30
22m
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
Pavel Andrianov
,
Pavel Andrianov
,
Pavel Andrianov
10:52
22m
Poster
CPAchecker with Strategy Selection
Posters
Karlheinz Friedberger
,
Marie-Christine Jakobs
TU Darmstadt, Germany
,
Thomas Lemberger
,
Martin Spiessl
,
Philipp Wendler
11:14
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk Beyer
LMU Munich
,
Marie-Christine Jakobs
TU Darmstadt, Germany
11:36
22m
Poster
FreeST: context-free session types in a functional language
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)
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
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
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
Posters
Pavel Andrianov
,
Heike Wehrheim
Paderborn University
13:26
22m
Poster
Semantic Fault Localization and Suspiciousness Ranking
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
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
Posters
Shakil Khan
,
Mikhail Soutchanski
14:32
22m
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc Vo
Uppsala University
14:54
22m
Poster
Ultimate Automizer
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
Posters
pritom rajkhowa
,
Fangzhen Lin
15:38
22m
Poster
WAPS: Weighted and Projected Sampling
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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Coffee area (Posters)
Posters
Workshop Poster Exhibition (Saturday)
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Coffee area (Posters)
Posters
Workshop Poster Exhibition (Sunday)
Sat 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Coffee area (Posters)
ETAPS Posters
Markovian equivalences for biochemical reaction networks
10:30 - 10:52
ETAPS Posters
Statistical abstraction for multi-scale spatio-temporal systems
10:52 - 11:14
ETAPS Posters
Towards Efficient Algorithms for Constraint Satisfaction Problems
11:14 - 11:36
ETAPS Posters
VIAP 1.1
11:36 - 11:58
ETAPS Posters
FreeST: context-free session types in a functional language
11:58 - 12:20
ETAPS Posters
WAPS: Weighted and Projected Sampling
12:20 - 12:42
ETAPS Posters
Semantic Fault Localization and Suspiciousness Ranking
12:42 - 13:04
ETAPS Posters
Ultimate Automizer
13:04 - 13:26
ETAPS Posters
CPAchecker with Strategy Selection
13:26 - 13:48
ETAPS Posters
Towards A Logical Account of Epistemic Causality
13:48 - 14:10
ETAPS Posters
Minimal-Time Synthesis for Parametric Timed Automata
14:10 - 14:32
ETAPS Posters
PeSCo: Predicting Sequential Combinations of Verifiers
14:32 - 14:54
ETAPS Posters
CoVeriTest: Cooperative Verifier-Based Testing
14:54 - 15:16
ETAPS Posters
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
15:16 - 15:38
ETAPS Posters
CPALockator: Thread-Modular Approach with Transition Abstraction for An ...
15:38 - 16:00
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Coffee area (Posters)
ETAPS Posters
CPALockator: Thread-Modular Approach with Transition Abstraction for An ...
10:30 - 10:52
ETAPS Posters
CPAchecker with Strategy Selection
10:52 - 11:14
ETAPS Posters
CoVeriTest: Cooperative Verifier-Based Testing
11:14 - 11:36
ETAPS Posters
FreeST: context-free session types in a functional language
11:36 - 11:58
ETAPS Posters
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
11:58 - 12:20
ETAPS Posters
Markovian equivalences for biochemical reaction networks
12:20 - 12:42
ETAPS Posters
Minimal-Time Synthesis for Parametric Timed Automata
12:42 - 13:04
ETAPS Posters
PeSCo: Predicting Sequential Combinations of Verifiers
13:04 - 13:26
ETAPS Posters
Semantic Fault Localization and Suspiciousness Ranking
13:26 - 13:48
ETAPS Posters
Statistical abstraction for multi-scale spatio-temporal systems
13:48 - 14:10
ETAPS Posters
Towards A Logical Account of Epistemic Causality
14:10 - 14:32
ETAPS Posters
Towards Efficient Algorithms for Constraint Satisfaction Problems
14:32 - 14:54
ETAPS Posters
Ultimate Automizer
14:54 - 15:16
ETAPS Posters
VIAP 1.1
15:16 - 15:38
ETAPS Posters
WAPS: Weighted and Projected Sampling
15:38 - 16:00
x
Mon 18 Nov 07:23