MEMOCODE 2020 Program
All times are Pacific Standard Time (PST)
December 2
6:00 - 6:30 am: Introduction
6:30 - 7:30 am: Keynote Talk
Speaker: Moshe Vardi (Rice University)
Title: The Siren Song of Temporal Synthesis
Chair: S. Arun-Kumar (IIT Delhi)
Session 1: Hybrid Systems
Chairs: Thao Dang (Verimag)
| 7:45 - 8:05 am | Mir Md Sajid Sarwar, Rajarshi Ray and Ansuman Banerjee. A Contrastive Plan Explanation Framework for Hybrid System Models. |
| 8:05 - 8:25 am | Mariia Vasileva, Fedor Shmarov and Paolo Zuliani. Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes |
| 8:25 - 8:45 am | Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur. REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency |
Session 2: Verification
Chairs: Paolo Zuliani (Newcastle University, UK), Stefan Mitsch (Carnegie Mellon University)
| 9:00 - 9:20 am | Ratan Lal, Weikang Duan and Pavithra Prabhakar. Bayesian Statistical Model Checking for Continuous Stochastic Logic |
| 9:20 - 9:40 am | Nikhil Naik and Pierluigi Nuzzo. Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. |
| 9:40 - 10:00 am | Moon Soo Kim, Weiwei Ai, Partha Roop, Nathan Allen, Rohit Ramchandra and Julian Paton. Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. |
December 3
6:45 - 7:45 am: Keynote Talk
Speaker: Alberto Sangiovanni Vincentelli (UC Berkeley)
Title: Cyber Physical Systems: Status, Research and Business Opportunities
Chairs: Pierluigi Nuzzo (USC)
Session 3: Safe and Trustworthy Autonomy
Chairs: Matthew Kuo (Auckland University of Technology, NZ), Mamoun Filali (IRIT-CNRS)
| 8:00 - 8:20 am |
Mohammed Foughali, Saddek Bensalem, Jacques Combaz and Félix Ingrand. Runtime Verification of Timed Properties in Autonomous Robots |
| 8:20 - 8:40 am |
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, and Gerardo Schneider. CROME: Contract-Based Robotic Mission Specification |
| 8:40 - 9:00 am |
Tomoya Yamaguchi, Bardh Hoxha, Jyotirmoy V. Deshmukh and Danil Prokhorov. Specification-guided Software Fault Localization for Autonomous Mobile Systems |
Session 4: Scheduling, Routing, and Security
Chairs: Stephen A. Edwards (Columbia University, USA), Mamoun Filali (IRIT-CNRS)
| 9:15 - 9:35 am |
Dominik Walter, Michael Witterauf and Jürgen Teich. Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays |
| 9:35 - 9:55 am |
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah and Ali Movaghar. Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. |
| 9:55 - 10:15 am |
Sanjiva Prasad, Rathnakar Madhukar Yerraguntla and Subodh Sharma. Security Types for Synchronous Data Flow Systems. |
December 4
6:30 - 7:30 am: Keynote Talk
Speaker: Rupak Majumdar (MPI-SWS)
Title: PGCD and the Motion Session Calculus: Reasoning about Concurrency, Geometry, and Dynamics
Chair: Indranil Saha (IIT Kanpur)
Session 5: Short Papers
Chairs: Bruhadeshwar Bezawada (Mahindra University, India), Goran Frehse (ENSTA Paris)
| 7:45 - 8:00 am |
Marcelo Forets, Daniel Freire Caporale and Christian Schilling. Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions |
| 8:00 - 8:15 am |
Paula Herber and Timm Liebrenz. Automated Partitioning and Compositional Verification of Hardware/Software Codesigns |
| 8:15 - 8:30 am |
Tuba Yavuz. Verifying Absence of Hardware-Software Data Races using Counting Abstraction |
| 8:30 - 8:45 am |
Qiang Wang, Dachuan Li and Joseph Sifakis. Safe and efficient collision avoidance control for autonomous vehicles. |
| 8:45 - 9:00 am |
Jeremy Pope, Jules Saget and Carl-Johan Seger. Cephalopode: A custom processor aimed at functional language execution for IoT devices. |
| 9:00 - 9:15 am |
Jeremy Pope, Jules Saget and Carl-Johan Seger. Stately: An FSM Design Tool |