A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table (SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software)

Write a Blog >>

Mon 15 - Fri 19 July 2019 Beijing, China

co-located with ISSTA 2019

Who

Omar Bataineh, David Rosenblum, Mark Reynolds

Track

SPIN 2019 26th International SPIN Symposium on Model Checking of Software

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, UrumqiSelect other time zone

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 programSpecify a time band

Save

When

Mon 15 Jul 2019 15:00 - 15:30 at Meeting Room 4 - Session 3 - Model Checking

Omar Bataineh

NTU

David Rosenblum

National University of Singapore

Singapore

Mark Reynolds

The Univeristy of Western Australia