Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems
Abstract elided by the publisher.
Related papers
- RT-trust: automated refactoring for trusted execution under real-time constraints GPCE 2018
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Fearless Asynchronous Communications with Timed Multiparty Session Protocols ECOOP 2024
- Over-Approximation of Weakly-Hard Constraints for Control Systems Verification CAV 2026
- Unbounded Speed Variability in Distributed Communication Systems POPL 1982
- Space and Time Efficient Execution of Parallel Irregular Computation PPoPP 1997
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- Points-to Analysis in Almost Linear Time POPL 1996