ISSTA 2019
Mon 15 - Fri 19 July 2019
Beijing, China
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
ISSTA Program
Your Program
Program@Glance
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
ISSTA 2019
Technical Papers
Workshop – TAV-CPS/IoT
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Workshops
Student Volunteers
Summer School
Keynote
ISSTA Steering Committee Meeting
Co-hosted Conferences
SPIN
26th International SPIN Symposium on Model Checking of Software
Workshops
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Tentative Agenda
Co-hosted Competitions
Testing Competition
Testing Competition
Organization
ISSTA 2019 Committees
Organizing Committee
Track Committees
Technical Papers
Workshop – TAV-CPS/IoT
Organizing Committee
Program Committee
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Contributors
People Index
Co-hosted Conferences
SPIN
Organizing Committee
Organizing Committee
Program Committee
Workshops
Diversity @ ISSTA - The Ada Workshop
Organizing Committee
Co-hosted Competitions
Testing Competition
Organizing Committee
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
Crowne Plaza Beijing Zhongguancun
/
Room information: Meeting Room 4
Venue
Crowne Plaza Beijing Zhongguancun
Room name
Meeting Room 4
Floor
4
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+08:00) Beijing, Chongqing, Hong Kong, Urumqi
.
Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
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 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:30
Session 1 - Invited Talk
SPIN
at
Meeting Room 4
09:00
90m
Day opening
Constrained Counting and Sampling: From Theory to Practice and Back
SPIN
Kuldeep S. Meel
National University of Singapore
09:00 - 10:30
SPIN Keynote
Workshop – TAV-CPS/IoT
at
Meeting Room 4
09:00
90m
Talk
SPIN Keynote
Workshop – TAV-CPS/IoT
10:30 - 11:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 4
10:30
30m
Break
Mini Break
Catering
11:00 - 12:30
Session 2 - Stochastic Model Checking
SPIN
at
Meeting Room 4
11:00
30m
Talk
Statistical Model Checking of Complex Robotic Systems
SPIN
Mohammed Foughali
,
Félix Ingrand
,
Cristina Seceleanu
Mälardalen University
11:30
30m
Talk
Model Checking Branching Time Properties of Incomplete Markov Chains
SPIN
Shiraj Arora
,
Mv P Rao
14:00 - 15:30
Session 3 - Model Checking
SPIN
at
Meeting Room 4
14:00
30m
Talk
Extracting Safe Thread Schedules from Incomplete Model Checking Results
SPIN
Patrick Metzler
,
Neeraj Suri
,
Georg Weissenbacher
Technische Universität Wien
14:30
30m
Talk
From Dynamic State Machines to Promela
SPIN
Massimo Benerecetti
,
Ugo Gentile
,
Stefano Marrone
,
Roberto Nardone
,
Adriano Peron
,
Luigi Libero Lucio Starace
,
Valeria Vittorin
15:00
30m
Talk
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
SPIN
Omar Bataineh
NTU
,
David Rosenblum
National University of Singapore
,
Mark Reynolds
The Univeristy of Western Australia
15:30 - 16:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 4
15:30
30m
Break
Mini Break
Catering
16:00 - 17:30
Session 4 - Software Model Checking (Tools Sessions)
SPIN
at
Meeting Room 4
16:00
30m
Talk
String abstraction for model checking of C programs
SPIN
Agostino Cortesi
Università Ca' Foscari Venezia
,
Henrich Lauko
,
Martina Olliaro
,
Petr Ročkai
16:30
30m
Talk
Applying Model Checking Approach with Floating Point Arithmetic
SPIN
Sergey Staroletov
Polzunov Altai State Technical University
,
Nikolay Shilov
Innopolis University
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:00
Session 1 - Invited Talk
SPIN
at
Meeting Room 4
09:00
60m
Talk
Model Verification Through Dependency Graphs
SPIN
Kim Guldstrand Larsen
10:00 - 10:30
Session 1.5 - Conformance Testing
SPIN
at
Meeting Room 4
10:00
30m
Talk
Conformance Testing of Schedulers for DSL-based Model Checking
SPIN
Nhat-Hoa Tran
,
Toshiaki Aoki
JAIST
10:30 - 11:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 4
10:30
30m
Break
Mini Break
Catering
11:00 - 12:30
Session 2 - Synthesis and Learning
SPIN
at
Meeting Room 4
11:00
30m
Talk
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
SPIN
Yuan Liu
,
Xi Wang
Yale University, USA
,
Lintao Xian
,
Zhongwen Guo
11:30
30m
Talk
Learning Guided Enumerative Synthesis for Superoptimization
SPIN
Shikhar Singh
,
Mengshi Zhang
University of Texas at Austin, USA
,
Sarfraz Khurshid
University of Texas at Austin
12:00
30m
Talk
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
SPIN
Muhammad Usman
,
Wenxi Wang
The University of Texas at Austin, Texas, USA
,
Kaiyuan Wang
Google Inc.
,
Cagdas Yelen
,
Nima Dini
University of Texas at Austin
,
Sarfraz Khurshid
University of Texas at Austin
14:00 - 15:30
Session 3 - Invited Talk
SPIN
at
Meeting Room 4
14:00
60m
Talk
Efficient Evaluation of Embedded-System Design Alternatives
SPIN
Maxime Cordy
SnT, University of Luxembourg
15:30 - 16:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 4
15:30
30m
Break
Mini Break
Catering
16:00 - 17:30
Session 4 - Broader Approaches
SPIN
at
Meeting Room 4
16:00
30m
Talk
Swarm Model Checking on the GPU
SPIN
Richard Defrancisco
,
Shenghsun Cho
,
Michael Ferdman Ferdman
,
Scott Smolka
Stony Brook University
16:30
30m
Talk
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
SPIN
Farnaz Yousefi
,
Ehsan Khamespanah
,
Mohammed Gharib
,
Marjan Sirjani
,
Ali Movaghar
Mon 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
Meeting Room 4
SPIN
Session 1 - Invited Talk
Workshop – TAV-CPS/IoT
SPIN Keynote
09:00 - 10:30
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
SPIN
Session 2 - Stochastic Model Checking
SPIN
Session 3 - Model Checking
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
SPIN
Session 4 - Software Model Checking (Tools Sessions)
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
Meeting Room 4
SPIN
Session 1 - Invited Talk
SPIN
Session 1.5 - Conformance Testing
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
SPIN
Session 2 - Synthesis and Learning
SPIN
Session 3 - Invited Talk
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
SPIN
Session 4 - Broader Approaches
Mon 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
Meeting Room 4
SPIN
Constrained Counting and Sampling: From Theory to Practice and Back
09:00 - 10:30
ISSTA Workshop – TAV-CPS/IoT
SPIN Keynote
09:00 - 10:30
ISSTA Catering
Mini Break
10:30 - 11:00
SPIN
Statistical Model Checking of Complex Robotic Systems
11:00 - 11:30
SPIN
Model Checking Branching Time Properties of Incomplete Markov Chains
11:30 - 12:00
SPIN
Extracting Safe Thread Schedules from Incomplete Model Checking Results
14:00 - 14:30
SPIN
From Dynamic State Machines to Promela
14:30 - 15:00
SPIN
A Novel Decentralized LTL Monitoring Framework Using Formula Progressio ...
15:00 - 15:30
ISSTA Catering
Mini Break
15:30 - 16:00
SPIN
String abstraction for model checking of C programs
16:00 - 16:30
SPIN
Applying Model Checking Approach with Floating Point Arithmetic
16:30 - 17:00
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
Meeting Room 4
SPIN
Model Verification Through Dependency Graphs
09:00 - 10:00
SPIN
Conformance Testing of Schedulers for DSL-based Model Checking
10:00 - 10:30
ISSTA Catering
Mini Break
10:30 - 11:00
SPIN
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis v ...
11:00 - 11:30
SPIN
Learning Guided Enumerative Synthesis for Superoptimization
11:30 - 12:00
SPIN
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
12:00 - 12:30
SPIN
Efficient Evaluation of Embedded-System Design Alternatives
14:00 - 15:00
ISSTA Catering
Mini Break
15:30 - 16:00
SPIN
Swarm Model Checking on the GPU
16:00 - 16:30
SPIN
VeriVANca: An Actor-Based Framework for Formal Verification of Warning ...
16:30 - 17:00
x
Sat 21 Dec 13:30