Requirements Validation for Hybrid Systems
Abstract elided by the publisher.
Related papers
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- Static/Dynamic validation of MPI collective communications in multi-threaded context PPoPP 2015
- RTHMS: a tool for data placement on hybrid memory system ISMM 2017
- Hybrid Path-Sums for Hybrid Quantum Programs PLDI 2026
- Algorithm-based fault tolerance for dense matrix factorizations PPoPP 2012
- Hybrid Java compilation and optimization for digital TV software platform CGO 2010
- Online Causation Monitoring of Signal Temporal Logic CAV 2023
- Panthera: holistic memory management for big data processing over hybrid memories PLDI 2019