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
) /
Orea Hotel Pyramida
/
Room information: JUPITER
Venue
Orea Hotel Pyramida
Room name
JUPITER
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
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:00 - 09:00
Mentoring Breakfast I
Mentoring Workshop
at
JUPITER
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:30
Software Verification I
FASE
at
JUPITER
Chair(s):
Wil van der Aalst
RWTH Aachen
10:30
30m
Talk
Tool Support for Correctness-by-Construction
FASE
Tobias Runge
TU Braunschweig
,
Ina Schaefer
Technische Universität Braunschweig
,
Loek Cleophas
Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)
,
Thomas Thüm
University of Ulm
,
Derrick Kourie
Stellenbosch University
,
Bruce W Watson
Link to publication
11:00
30m
Talk
Automatic Modeling for Opaque Code in JavaScript Static Analysis
FASE
Joonyoung Park
,
Alexander Jordan
Oracle Labs, Australia
,
Sukyoung Ryu
KAIST, South Korea
Link to publication
11:30
30m
Talk
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
FASE
Min Zhang
East China Normal University
,
Fu Song
,
Frederic Mallet
Université Côte d'Azur, France
,
Xiaohong Chen
Link to publication
12:00
30m
Talk
A Hybrid Dynamic Logic for Event/Data-based Systems
Best paper nomination
FASE
Rolf Hennicker
Ludwig Maximilians University Munich, Germany
,
Alexandre Madeira
,
Alexander Knapp
Link to publication
14:00 - 15:00
Machine Learning
TACAS
at
JUPITER
Chair(s):
Bernhard Steffen
Technical University Dortmund
14:00
30m
Talk
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
30m
Talk
Verifiably Safe Off-Model Reinforcement Learning
TACAS
Nathan Fulton
MIT-IBM Watson AI Lab
,
André Platzer
Carnegie Mellon University
Link to publication
17:00 - 18:00
Reps
Mentoring Workshop
at
JUPITER
17:00
60m
Talk
A tale of two MURIs: Authorization Meets Model Checking
Mentoring Workshop
Thomas Reps
University of Wisconsin - Madison and GrammaTech, Inc.
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:30
Model-driven Development and Model Transformation
FASE
at
JUPITER
Chair(s):
Marielle Stoelinga
University of Twente and Radboud University, Nijmegen
10:30
30m
Talk
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
FASE
Philip Zweihoff
,
Stefan Naujokat
,
Bernhard Steffen
Technical University Dortmund
Link to publication
11:00
30m
Talk
Efficient Model Synchronization by Automatically Constructed Repair Processes
Best paper nomination
FASE
Lars Fritsche
,
Jens Kosiol
,
Andy Schürr
TU Darmstadt
,
Gabriele Taentzer
Universität Marburg
Link to publication
11:30
30m
Talk
Offline Delta-driven Model Transformation with Dependency Injection
FASE
Artur Boronat
University of Leicester
Link to publication
12:00
30m
Talk
A Logic-Based Incremental Approach to Graph Repair
FASE
Sven Schneider
,
Leen Lambers
,
Fernando Orejas
Universitat Politècnica de Catalunya, Spain
Link to publication
14:00 - 16:00
Software Verification II
FASE
at
JUPITER
Chair(s):
Heike Wehrheim
Paderborn University
14:00
30m
Talk
DeepFault: Fault Localization For Deep Neural Networks
FASE
Hasan Ferit Eniser
,
Simos Gerasimou
,
Alper Sen
Link to publication
14:30
30m
Talk
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
FASE
Aleksandar S. Dimovski
Mother Teresa University, Skopje
,
Axel Legay
INRIA Rennes
,
Andrzej Wąsowski
IT University of Copenhagen, Denmark
Link to publication
15:00
30m
Talk
Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System
FASE
Huang Li
,
Eun-Young Kang
University of Southern Denmark
Link to publication
15:30
30m
Talk
Checking Observational Purity Of Procedures
FASE
Himanshu Arora
,
Raghavan Komondoor
Indian Institute of Science, Bangalore
,
G. Ramalingam
Microsoft Research
Link to publication
17:00 - 18:00
Wilhelm
Mentoring Workshop
at
JUPITER
17:00
60m
Talk
Formal methods can be practical: Verifying time-critical systems
Mentoring Workshop
Reinhard Wilhelm
Saarland University
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:30
Software Evolution & Requirements Engineering
FASE
at
JUPITER
Chair(s):
Gabriele Taentzer
Universität Marburg
10:30
30m
Talk
Structural and Nominal Cross-Language Clone Detection
FASE
Lawton Nichols
,
Mehmet Emre
University of California, Santa Barbara
,
Ben Hardekopf
UC Santa Barbara
Link to publication
11:00
30m
Talk
SL2SF: Refactoring Simulink to Stateflow
FASE
Stephen Wynn-Williams
,
Zinovy Diskin
,
Vera Pantelic
,
Mark Lawford
McMaster
,
Gehan Selim
,
Curtis Milo
Link to publication
11:30
30m
Talk
Metric Temporal Graph Logic over Typed Attributed Graphs
FASE
Holger Giese
Hasso Plattner Institute, University of Potsdam
,
Maria Maximova
,
Lucas Sakizloglou
,
Sven Schneider
Link to publication
12:00
15m
Talk
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
FASE
Qian Jiaqi
,
Min Zhang
East China Normal University
,
Yi Wang
Shenzhen University
,
Kazuhiro Ogata
Link to publication
12:15
15m
Talk
Business Process Privacy Analysis in PLEAK
FASE
Aivo Toots
,
Reedik Tuuling
,
Maksym Yerokhin
,
Marlon Dumas
,
Luciano García-Bañuelos
University of Tartu
,
Peeter Laud
,
Raimundas Matulevicius
,
Alisa Pankova
,
Martin Pettai
,
Pille Pullonen
,
Jake Tom
Link to publication
14:00 - 16:00
Specification, Design, and Implementation of Particular Classes of Systems
FASE
at
JUPITER
Chair(s):
Reiner Hähnle
Technical University of Darmstadt
14:00
30m
Talk
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
FASE
Chao Peng
University of Edinburgh, UK
,
Ajitha Rajan
University of Edinburgh
Link to publication
14:30
30m
Talk
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
FASE
Nikolaos Bezirgiannis
,
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
,
Einar Broch Johnsen
University of Oslo
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
University of Oslo
Link to publication
15:00
30m
Talk
Optimal and Automated Deployment for Microservices
FASE
Mario Bravetti
Università di Bologna
,
Saverio Giallorenzo
Alma Mater Studiorum - Università di Bologna
,
Jacopo Mauro
University of Southern Denmark
,
Iacopo Talevi
,
Gianluigi Zavattaro
Link to publication
15:30
30m
Talk
A Data Flow Model with Frequency Arithmetic
FASE
Paul Dubrulle
,
Stéphane Louise
,
Christophe Gaston
,
Nikolai Kosmatov
CEA List
,
Arnault Lapitre
Link to publication
16:30 - 18:00
Software Testing
FASE
at
JUPITER
Chair(s):
Silvia Lizeth Tapia Tarifa
University of Oslo
16:30
30m
Talk
CoVeriTest: Cooperative, Verifier-Based Testing
FASE
Dirk Beyer
LMU Munich
,
Marie-Christine Jakobs
TU Darmstadt, Germany
Link to publication
17:00
30m
Talk
Pardis: Priority Aware Test Case Reduction
FASE
Golnaz Gharachorlu
,
Nick Sumner
Simon Fraser University
Link to publication
17:30
30m
Talk
Automatically Identifying Sufficient Object Builders from Module APIs
FASE
Pablo Ponzio
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Valeria Bengolea
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Mariano Politano
,
Nazareno Aguirre
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Link to publication
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
JUPITER
Mentoring Workshop
Mentoring Breakfast I
Tue 9 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
16:00
30
17:00
30
JUPITER
FASE
Software Verification I
TACAS
Machine Learning
Mentoring Workshop
Reps
Wed 10 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
16:00
30
17:00
30
JUPITER
FASE
Model-driven Development and Model Transformation
FASE
Software Verification II
Mentoring Workshop
Wilhelm
Thu 11 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
16:00
30
17:00
30
JUPITER
FASE
Software Evolution & Requirements Engineering
FASE
Specification, Design, and Implementation of Particular Classes of Systems
FASE
Software Testing
Tue 9 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
16:00
15
30
45
17:00
15
30
45
JUPITER
FASE
Tool Support for Correctness-by-Construction
10:30 - 11:00
FASE
Automatic Modeling for Opaque Code in JavaScript Static Analysis
11:00 - 11:30
FASE
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Speci ...
11:30 - 12:00
FASE
Best paper nomination
A Hybrid Dynamic Logic for Event/Data-based Systems
12:00 - 12:30
TACAS
Omega-Regular Objectives in Model-Free Reinforcement Learning
14:00 - 14:30
TACAS
Verifiably Safe Off-Model Reinforcement Learning
14:30 - 15:00
ETAPS Mentoring Workshop
A tale of two MURIs: Authorization Meets Model Checking
17:00 - 18:00
Wed 10 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
16:00
15
30
45
17:00
15
30
45
JUPITER
FASE
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
10:30 - 11:00
FASE
Best paper nomination
Efficient Model Synchronization by Automatically Constructed Repair Pro ...
11:00 - 11:30
FASE
Offline Delta-driven Model Transformation with Dependency Injection
11:30 - 12:00
FASE
A Logic-Based Incremental Approach to Graph Repair
12:00 - 12:30
FASE
DeepFault: Fault Localization For Deep Neural Networks
14:00 - 14:30
FASE
Variability Abstraction and Refinement for Game-based Lifted Model Chec ...
14:30 - 15:00
FASE
Formal Verification of Safety & Security Related Timing Constraints for ...
15:00 - 15:30
FASE
Checking Observational Purity Of Procedures
15:30 - 16:00
ETAPS Mentoring Workshop
Formal methods can be practical: Verifying time-critical systems
17:00 - 18:00
Thu 11 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
16:00
15
30
45
17:00
15
30
45
JUPITER
FASE
Structural and Nominal Cross-Language Clone Detection
10:30 - 11:00
FASE
SL2SF: Refactoring Simulink to Stateflow
11:00 - 11:30
FASE
Metric Temporal Graph Logic over Typed Attributed Graphs
11:30 - 12:00
FASE
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Pr ...
12:00 - 12:15
FASE
Business Process Privacy Analysis in PLEAK
12:15 - 12:30
FASE
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
14:00 - 14:30
FASE
Implementing SOS with Active Objects: A Case Study of a Multicore Memor ...
14:30 - 15:00
FASE
Optimal and Automated Deployment for Microservices
15:00 - 15:30
FASE
A Data Flow Model with Frequency Arithmetic
15:30 - 16:00
FASE
CoVeriTest: Cooperative, Verifier-Based Testing
16:30 - 17:00
FASE
Pardis: Priority Aware Test Case Reduction
17:00 - 17:30
FASE
Automatically Identifying Sufficient Object Builders from Module APIs
17:30 - 18:00
x
Fri 11 Oct 03:27