Partial Order Reduction for Timed Actors
Gespeichert in:
| Veröffentlicht in: | VSTTE (13. : 2021 : Online) Software Verification |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Modeling Round-Off Errors in Hydrodynamic Simulations | 2022 | Weens, William |
| Uncertainty-Aware Signal Temporal Logic Inference | 2022 | Baharisangari, Nasim |
| Designing and Proving Properties of the Abaco Autoscaler Using ILA+ | 2022 | Padhy, Smruti |
| Case Study: Analysis of Autonomous Center Line Tracking Neural Networks | 2022 | Kadron, Ismet Burak |
| An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods | 2022 | Benmouhoub, Farah |
| Formal Verification of Neural Network Controllers for Collision-Free Flight | 2022 | Genin, Daniel |
| A Calculus for Multi-language Operational Semantics | 2022 | Cimini, Matteo |
| Partial Order Reduction for Timed Actors | 2022 | Bagheri, Maryam |
| Quantitative Monitoring of Software | 2022 | Henzinger, Thomas A. |
| Making Proofs of Floating-Point Programs Accessible to Regular Developers. | 2022 | Dross, Claire |
| Abstract Interpretation of LLVM with a Region-Based Memory Model | 2022 | Gurfinkel, Arie |