| Authors |
Title |
| Dominik Walter, Michael Witterauf and Jürgen Teich |
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays |
| Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur |
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency |
| Ratan Lal, Weikang Duan and Pavithra Prabhakar |
Bayesian Statistical Model Checking for Continuous Stochastic Logic |
| Nikhil Naik and Pierluigi Nuzzo |
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems (Best Paper Award) |
| Mariia Vasileva, Fedor Shmarov and Paolo Zuliani |
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes |
| 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 |
| Tomoya Yamaguchi, Bardh Hoxha, Jyotirmoy V. Deshmukh and Danil Prokhorov |
Specification-guided Software Fault Localization for Autonomous Mobile Systems |
| 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 |
| Piergiuseppe Mallozzi, Patrizio Pelliccione, Pierluigi Nuzzo and Gerardo Schneider |
CROME - Contract-Based Robotic Mission Specification |
| Sanjiva Prasad, Rathnakar Madhukar Yerraguntla and Subodh Sharma |
Security Types for Synchronous Data Flow Systems (Best Paper Award) |
| Mir Md Sajid Sarwar, Rajarshi Ray and Ansuman Banerjee |
A Contrastive Plan Explanation Framework for Hybrid System Models |
| Mohammed Foughali, Saddek Bensalem, Jacques Combaz and Félix Ingrand |
Runtime Verification of Timed Properties in Autonomous Robots |
| Authors |
Title |
| Marcelo Forets, Daniel Freire Caporale and Christian Schilling |
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions |
| Paula Herber and Timm Liebrenz |
Automated Partitioning and Compositional Verification of Hardware/Software Codesigns |
| Jeremy Pope, Jules Saget and Carl-Johan Seger |
Cephalopode: A custom processor aimed at functional language execution for IoT devices |
| Jeremy Pope, Jules Saget and Carl-Johan Seger |
Stately: An FSM Design Tool |
| Tuba Yavuz |
Verifying Absence of Hardware-Software Data Races using Counting Abstraction |
| Qiang Wang, Dachuan Li and Joseph Sifakis |
Safe and efficient collision avoidance control for autonomous vehicles |