33 papers:
TACAS-2015-AlurMT #refinement #specification #synthesis- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.
- TACAS-2015-BloemCJK #concurrent #source code #synthesis
- Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (RB, KC, SJ, RK), pp. 517–532.
FM-2015-ElkaderGPS #automation #reasoning- Automated Circular Assume-Guarantee Reasoning (KAE, OG, CSP, SS), pp. 23–39.
CHI-2015-EslamiRVAVKHS #algorithm #quote #reasoning- “I always assumed that I wasn’t really that close to [her]”: Reasoning about Invisible Algorithms in News Feeds (ME, AR, KV, AA, AV, KK, KH, CS), pp. 153–162.
ICSE-2014-HeWYZ #learning #reasoning- Symbolic assume-guarantee reasoning through BDD learning (FH, BYW, LY, LZ), pp. 1071–1082.
ICSM-2013-MillerCW #developer #embedded #legacy #maintenance #scalability- Assuming Software Maintenance of a Large, Embedded Legacy System from the Original Developer (WLM, LBC, BLW), pp. 552–555.
IFM-2013-Prehofer #behaviour #diagrams #refinement #specification- Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.
MoDELS-2013-GreenyerK #composition #specification #synthesis- Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.
- MoDELS-2013-GreenyerK #composition #specification #synthesis
- Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.
- MoDELS-2012-MaozS #semantics #synthesis
- Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.
- MoDELS-2012-MaozS #semantics #synthesis
- Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.
CAV-2012-KomuravelliPC #abstraction #probability #refinement- Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.
- TACAS-2010-KwiatkowskaNPQ #probability #verification
- Assume-Guarantee Verification for Probabilistic Systems (MZK, GN, DP, HQ), pp. 23–37.
- CAV-2010-ChenCFTTW #automation #learning #reasoning
- Automated Assume-Guarantee Reasoning through Implicit Learning (YFC, EMC, AF, MHT, YKT, BYW), pp. 511–526.
ASE-2008-IspirC #aspect-oriented #programming #verification- An Assume Guarantee Verification Methodology for Aspect-Oriented Programming (MI, ABC), pp. 391–394.
- FM-2008-EmmiGP #automaton #interface #verification
- Assume-Guarantee Verification for Interface Automata (ME, DG, CSP), pp. 116–131.
- CAV-2008-BobaruPG #abstraction #automation #reasoning #refinement
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
ESOP-2007-FengFS #concurrent #logic #on the #reasoning- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.
- TACAS-2007-ChakiS #reasoning
- Optimized L*-Based Assume-Guarantee Reasoning (SC, OS), pp. 276–291.
- TACAS-2007-ChatterjeeH #synthesis
- Assume-Guarantee Synthesis (KC, TAH), pp. 261–275.
DLT-2007-GruberH #complexity #exclamation #nondeterminism- Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP (HG, MH), pp. 205–216.
ISSTA-2006-CobleighAC #composition #reasoning- Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
- CAV-2005-ChakiCST #automation #consistency #reasoning #simulation
- Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
- ICSE-2004-GiannakopoulouPC #source code #verification
- Assume-Guarantee Verification of Source Code with Design-Level Assumptions (DG, CSP, JMC), pp. 211–220.
FoSSaCS-2003-Maier #composition- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete (PM), pp. 343–357.
ICEIS-v1-2003-GouveiaG #roadmap- Assuming a Roadmap Strategy for E-Business: Matching the Right Solution Over a Thousand Answers (FRG, LBG), pp. 550–553.
SAC-2003-CabriFL #mobile- Enabling Mobile Agents to Dynamically Assume Roles (GC, LF, LL), pp. 56–60.
- ICSE-2003-Dingel #reasoning
- Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.
- IFM-2002-ZulkernineS #algorithm #automation #detection
- Assume-Guarantee Algorithms for Automatic Detection of Software Failures (MZ, RES), pp. 89–108.
- TACAS-2001-AmlaENT #composition #diagrams #reasoning
- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
ICALP-2001-Maier #framework #reasoning- A Set-Theoretic Framework for Assume-Guarantee Reasoning (PM), pp. 821–834.
- CAV-1999-HenzingerQR #refinement
- Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.
- CAV-1998-HenzingerQR #case study
- You Assume, We Guarantee: Methodology and Case Studies (TAH, SQ, SKR), pp. 440–451.
