24 papers:
CHI-2015-SutherlandHY #automation #predict- The Role of Environmental Predictability and Costs in Relying on Automation (SCS, CH, MEY), pp. 2535–2544.
FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
ECOOP-2014-MilitaoAC #protocol- Rely-Guarantee Protocols (FM, JA, LC), pp. 334–359.
PLDI-2013-GordonEG #alias #refinement- Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
DATE-2012-LiRP #embedded #hardware #named- Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
IFM-2012-DongolH #multi #reasoning #source code- Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.
SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
POPL-2012-LiangFF #concurrent #program transformation #simulation #verification- A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
ISMM-2012-InoueN #hardware #identification #java #source code- Identifying the sources of cache misses in Java programs without relying on hardware counters (HI, TN), pp. 133–142.
- DATE-2011-KakoeeBB #communication #named #network #reliability
- ReliNoC: A reliable network for priority-based on-chip communication (MRK, VB, LB), pp. 667–672.
ESOP-2010-WickersonDP #composition #reasoning- Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.
ICPR-2010-BauerEOBKFHN #approach #bound #estimation #graph #performance #robust- A Fast and Robust Graph-Based Approach for Boundary Estimation of Fiber Bundles Relying on Fractional Anisotropy Maps (MHAB, JE, TO, SB, JK, BF, HKH, CN), pp. 4016–4019.
CIKM-2009-HauffHJA #estimation #ranking #set #topic- Relying on topic subsets for system ranking estimation (CH, DH, FdJ, LA), pp. 1859–1862.
- POPL-2009-Feng #reasoning
- Local rely-guarantee reasoning (XF), pp. 315–327.
SLE-2009-IrazabalP #data type #model transformation #modelling- Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
VMCAI-2009-AmjadB #analysis #automation #proving #towards- Towards Automatic Stability Analysis for Rely-Guarantee Proofs (HA, RB), pp. 14–28.
- ESOP-2004-GuttmanTCHRS #trust
- Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.
- ESOP-2003-Nieto #higher-order
- The Rely-Guarantee Method in Isabelle/HOL (LPN), pp. 348–362.
- FME-2003-FenkamGJ #approach #concurrent
- Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach (PF, HCG, MJ), pp. 636–657.
- FME-2003-Henderson #correctness #proving #using
- Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method (NH), pp. 244–263.
ICEIS-v3-2003-ThomI #aspect-oriented #design #identification #workflow- Identifying Patterns of Workflow Design Relying on Organizational Structure Aspects (LHT, CI), pp. 462–467.
- ICEIS-v2-2001-IochpeT #process #workflow
- Relying on the Organizational Structure to Model Workflow Processes (CI, LHT), pp. 740–744.
- FM-v2-1999-BoerHR #approach #concurrent #paradigm #semantics
- Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach (FSdB, UH, WPdR), pp. 1245–1265.
- VDME-1988-WoodcockD #case study #experience #using
- Using VDM with Rely and Guarantee-Conditions — Experiences from a Real Project (JW, BD), pp. 434–458.
