Program for Friday, September 15th: Talk View

PROGRAM FOR FRIDAY, SEPTEMBER 15TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

21:30

22:00

09:00-10:00

Learning Input Languages for Runtime Verification

Andreas Zeller

10:30-11:00

TeLEx: Passive STL Learning Using Only Positive Examples

Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Natarajan Shankar, Tuhin Sahai

11:00-11:30

Signal Clustering using Temporal Logics

Giuseppe Bombara, Calin Belta

11:30-12:00

Probabilistic Black-Box Reachability Checking

Bernhard K. Aichernig, Martin Tappler

13:30-14:00

Monitoring Hyperproperties

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

14:00-14:30

Monitoring Time Intervals

Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky

14:30-15:00

Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

David Basin, Srđan Krstić, Dmitriy Traytel

15:30-17:00 RV-CuBES

18:00-22:00 Banquet (@Museum of Flight)

10:00-10:30 Coffee Break

12:00-13:30 Lunch Break

15:00-15:30 Coffee Break