Abstract is missing.
- Specification-guided Software Fault Localization for Autonomous Mobile SystemsTomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh. 1-12 [doi]
- A Contrastive Plan Explanation Framework for Hybrid System ModelsMir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee. 1-11 [doi]
- Lightweight Formal Method for Robust Routing in Track-based Traffic Control SystemsMaryam Bagheri 0001, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar. 1-10 [doi]
- Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart FailureMoon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton. 1-11 [doi]
- Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitionsMarcelo Forets, Daniel Freire, Christian Schilling 0001. 1-6 [doi]
- REAFFIRM: Model-Based Repair of Hybrid Systems for Improving ResiliencyLuan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. 1-12 [doi]
- Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian ProcessesMariia Vasileva, Fedor Shmarov, Paolo Zuliani. 1-11 [doi]
- CROME: Contract-Based Robotic Mission SpecificationPiergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider. 1-11 [doi]
- Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical SystemsNikhil Naik, Pierluigi Nuzzo. 1-12 [doi]
- Security Types for Synchronous Data Flow SystemsSanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma. 1-12 [doi]
- Real-time Scheduling of I/O Transfers for Massively Parallel Processor ArraysDominik Walter, Michael Witterauf, Jürgen Teich. 1-11 [doi]
- Safe and efficient collision avoidance control for autonomous vehiclesQiang Wang, Dachuan Li, Joseph Sifakis. 1-6 [doi]
- Runtime Verification of Timed Properties in Autonomous RobotsMohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand. 1-12 [doi]
- Bayesian Statistical Model Checking for Continuous Stochastic LogicRatan Lal, Weikang Duan, Pavithra Prabhakar. 1-11 [doi]
- Stately: An FSM Design ToolJeremy Pope, Jules Saget, Carl-Johan H. Seger. 1-6 [doi]
- Cephalopode: A custom processor aimed at functional language execution for IoT devicesJeremy Pope, Jules Saget, Carl-Johan H. Seger. 1-6 [doi]
- Verifying Absence of Hardware-Software Data Races using Counting AbstractionTuba Yavuz. 1-6 [doi]
- Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC DesignsPaula Herber, Timm Liebrenz. 1-6 [doi]