7 citations · 17 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
Witnessing Secure Compilation
Kedar S. Namjoshi, Lucas M. Tabajara
Compiler optimizations are designed to improve run-time performance while preserving input-output behavior. Correctness in this sense does not necessarily preserve security: it is…
cs.LO2019
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Suguman Bansal, Yong Li, Lucas M. Tabajara +1
LTLf synthesis is the automated construction of a reactive system from a high-level description, expressed in LTLf, of its finite-horizon behavior. So far, the conversion of LTLf f…