Program

PROGRAM

Days: Tuesday, October 3rd Wednesday, October 4th Thursday, October 5th Friday, October 6th

Tuesday, October 3rd

View this program: with abstracts session overview talk overview

Chair:

09:00	Chih-Hong Cheng, Michael Luttenberger and Rongjie Yan Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods) (abstract) PRESENTER: Chih-Hong Cheng
10:00	Yliès Falcone and Chukri Soueidi Instrumentation for RV: From Basic Monitoring to Advanced Use Cases (abstract) PRESENTER: Chukri Soueidi

11:00-11:30 Session 2: Coffee break

11:30-12:30 Session 3: Monitoring Distributed Systems

Chair:

Panagiotis Katsaros

11:30	Bas van den Heuvel, Jorge A. Pérez and Rares A. Dobre Monitoring Blackbox Implementations of Multiparty Session Protocols (abstract) PRESENTER: Bas van den Heuvel
12:00	Charles Koll, Anik Momtaz, Borzoo Bonakdarpour and Houssam Abbas Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals (abstract) PRESENTER: Charles Koll

12:30-14:00 Session 4: Lunch break

14:00-15:30 Session 5: Runtime Verification for Programming Languages

Chair:

Cesar Sanchez

14:00	Sean Anderson, Allison Naaktgebooren and Andrew Tolmach Flexible Runtime Security Enforcement with Tagged C (abstract) PRESENTER: Sean Anderson
14:30	Chukri Soueidi and Yliès Falcone Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM (abstract) PRESENTER: Yliès Falcone
14:50	Yongchao Xing, Zhenbang Chen, Shibo Xu and Yufeng Zhang CCMOP: A Runtime Verification Tool for C/C++ Programs (abstract) PRESENTER: Yufeng Zhang
15:10	Ayaka Yorihiro, Pengyue Jiang, Valeria Marques, Benjamin Carleton and Owolabi Legunsen eMOP: A Maven Plugin for Evolution-Aware Runtime Verification (abstract) PRESENTER: Pengyue Jiang

15:30-16:00 Session 6: Coffee break

Wednesday, October 4th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 7: Keynote

Chair:

Panagiotis Katsaros

09:00

Corina Pasareanu

Compositional Verification and Run-time Monitoring for Learning-Enabled Autonomous Systems (abstract)

10:00-11:00 Session 8: Tutorial

Chair:

Doron Peled

10:00

Luca Bortolussi, Francesca Cairoli and Nicola Paoletti

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees (abstract)

PRESENTER: Francesca Cairoli

11:00-11:30 Session 9: Coffee break

11:30-12:20 Session 10: Monitoring Hyperproperties and Revisiting the Past

Chair:

Hazem Torfah

11:30	Marek Chalupa and Thomas Henzinger Monitoring Hyperproperties With Prefix Transducers (abstract) PRESENTER: Marek Chalupa
12:00	Felipe Gorostiaga, Cesar Sanchez and Paloma Pedregal A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations (abstract) PRESENTER: Paloma Pedregal

12:30-14:00 Session 11: Lunch break

14:00-15:30 Session 12: Runtime Verification

Chair:

Houssam Abbas

14:00	Hannes Kallwies, Martin Leucker and César Sánchez General Anticipatory Monitoring for Temporal Logics on Finite Traces (abstract) PRESENTER: Hannes Kallwies
14:30	Jeniffer Lima Graf, Srdjan Krstic and Joshua Schneider Metric First-order Temporal Logic with Complex Data Types (abstract) PRESENTER: Srdjan Krstic
15:00	Moran Omer and Doron Peled Runtime Verification Prediction for Traces with Data (abstract) PRESENTER: Doron Peled

15:30-16:00 Session 13: Coffee break

16:00-17:30 Session 14: Stochastic and Simulation-based Verification

Chair:

Bardh Hoxha

16:00	Luca Bortolussi, Francesca Cairoli, Ginevra Carbone and Paolo Pulcini Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking (abstract) PRESENTER: Francesca Cairoli
16:30	Thomas A. Henzinger, Konstantin Kueffner and Kaushik Mallik Monitoring Algorithmic Fairness under Partial Observations (abstract) PRESENTER: Konstantin Kueffner
17:00	Beyazit Yalcinkaya, Hazem Torfah, Daniel Fremont and Sanjit Seshia Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications (abstract) PRESENTER: Beyazit Yalcinkaya

Thursday, October 5th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 15: Keynote

Chair:

Laura Nenzi

09:00

Saddek. Bensalem

Monitoring of Learning-Enabled Components (abstract)

10:00-11:00 Session 16: Tutorial

Chair:

Marek Chalupa

10:00

Klaus Havelund and Doron Peled

Monitorability for Runtime Verification (abstract)

PRESENTER: Doron Peled

11:00-11:30 Session 17: Coffee break

11:30-12:30 Session 18: Signal Classification and Monitor Learning

Chair:

Jyotirmoy Deshmukh

11:30	Edgar Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini and Dejan Nickovic Mining Specification Parameters for Multi-Class Classification (abstract) PRESENTER: Eleonora Nesterini
12:00	Hazem Torfah, Aniruddha Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty and Sanjit A. Seshia Learning Monitor Ensembles for Operational Design Domains (abstract) PRESENTER: Hazem Torfah

12:30-14:00 Session 19: Lunch break

14:00-15:30 Session 20: Runtime Monitoring Video Streams and Perception

Chair:

Saddek Bensalem

14:00	Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto and Danil Prokhorov Pattern Matching for Perception Streams (abstract) PRESENTER: Bardh Hoxha
14:30	Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi and Guillaume Cornard AMT: a Runtime Verification Tool of Video Streams (abstract) PRESENTER: Valentin Besnard
14:50	Ziyan An, Xia Wang, Taylor Johnson, Jonathan Sprinkle and Meiyi Ma Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models (abstract) PRESENTER: Xia Wang
15:10	Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan and Jyotirmoy Deshmukh Safety Monitoring for Pedestrian Detection in Adverse Conditions (abstract) PRESENTER: Jyotirmoy Deshmukh

15:30-16:00 Session 21: Coffee break

16:00-17:30 Session 22: Closing Session

19:30-22:30 Session 23: Social Dinner

Orizontes Roof Garden - Electra Palace

Google maps directions

Friday, October 6th

View this program: with abstracts session overview talk overview

09:30-17:30 Session 24: Excursion - Ancient Pella and the Waterfalls of Edessa (lunch)

Meeting point at 09.30am: Statue of Eleftherios Venizelos

Pella is the capital of ancient Kingdom of Macedonia and the birthplace of Alexander the Great.

Edessa is a nice town, best known for the waterfalls park, where we will have lunch.