Parametric Optimization of Open Real-Time Systems
Abstract elided by the publisher.
Related papers
- A Model Parametric Real-Time Logic TOPLAS 1992
- Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol CAV 1999
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- On-The-Fly Algorithm for Reachability in Parametric Timed Games TACAS 2024
- CPS transformation with affine types for call-by-value implicit polymorphism ICFP 2021
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems TACAS 1995
- Logical Clustering and Learning for Time-Series Data CAV 2017
- Parametric analysis for adaptive computation offloading PLDI 2004