FM2021Top-tier venue
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET
Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
2021Year
15Citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get df2b283a-bb4e-461c-a948-6b9bced1d151Related papers
- Unrealizable Cores for Reactive Systems SpecificationsShahar Maoz, Rafi ShalomICSE 2021 · 2 citations
- Dynamic Fuzzing-Based Whole-System Timing AnalysisAlwin Berger, Simon Schuster, Peter Wägemann, Peter UlbrichRTSS 2025 · 2 citations
- Verifying Secure Speculation in Isabelle/HOLMatt Griffin, Brijesh DongolFM 2021 · 6 citations
- Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production HypervisorKayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami et al.SOSP 2025
- Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point ReuseSirui Liu, Wei Dong, Yijie Zheng, Haonan GuoOOPSLA 2026
