Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antonio Filieri
A Formal Approach to Adaptive Software: Continuous Assurance of Non-Functional Requirements
Formal Aspects of Computing
Theoretical Computer Science
Software
Autotuning Control Structures for Reliability-Driven Dynamic Binding
