Adaptor Synthesis for Real-Time Components
No abstract available.
Related papers
- Protocol Specifications and Component Adaptors TOPLAS 1997
- Equivalence by Canonicalization for Synthesis-Backed Refactoring PLDI 2024
- Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors OOPSLA 1994
- Modeling black-box components with probabilistic synthesis GPCE 2020
- Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits OOPSLA 2025
- PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems CAV 2013
- Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems GPCE 2002
- SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation VMCAI 2026