Stem refin$ (all stems)

602 papers:

ESOP-2015-CicekGA #complexity #incremental #refinement

Refinement Types for Incremental Computational Complexity (EÇ, DG, UAA), pp. 406–431.

ESOP-2015-TerauchiU #approach #refinement

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.

TACAS-2015-AlurMT #refinement #specification #synthesis

Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.

TACAS-2015-CassezMPS #composition #contest #named #refinement

Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.

TACAS-2015-GuanTAS0 #analysis #refinement #scalability

Scalable Timing Analysis with Refinement (NG, YT, JA, MS, WY), pp. 3–18.

PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification

Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.

PLDI-2015-EmmiEH #monitoring #reasoning #refinement

Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.

SAS-2015-HashimotoU #constraints #optimisation #refinement #type inference

Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.

SAS-2015-Terauchi #effectiveness #heuristic #refinement #verification

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.

FM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.

SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification

Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.

SFM-2015-CastegrenOW #fine-grained

Refined Ownership: — Fine-Grained Controlled Internal Sharing (EC, JÖ, TW), pp. 179–210.

ICFP-2015-VazouBJ #bound #refinement

Bounded refinement types (NV, AB, RJ), pp. 48–61.

ICFP-2015-ZhuNJ #learning #refinement

Learning refinement types (HZ, AVN, SJ), pp. 400–411.

CHI-2015-PierceSHJGD #design #human-computer

Expanding and Refining Design and Criticality in HCI (JP, PS, TH, TJ, WWG, CFD), pp. 2083–2092.

ICEIS-v1-2015-SautotBJF #clustering #design #modelling #multi #refinement

Mixed Driven Refinement Design of Multidimensional Models based on Agglomerative Hierarchical Clustering (LS, SB, LJ, BF), pp. 547–555.

SIGIR-2015-HeBVAR #evaluation #framework #predict #quality #ranking #refinement

Untangling Result List Refinement and Ranking Quality: a Framework for Evaluation and Prediction (JH, MB, APdV, LA, MdR), pp. 293–302.

MoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #modelling #product line

Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.

PPDP-2015-GallF #formal method #semantics

A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations (DG, TWF), pp. 114–124.

POPL-2015-BartheGAHRS #approximate #design #difference #higher-order #privacy #refinement #relational

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (GB, MG, EJGA, JH, AR, PYS), pp. 55–68.

POPL-2015-BouajjaniEEH #concurrent #refinement

Tractable Refinement Checking for Concurrent Objects (AB, ME, CE, JH), pp. 651–662.

POPL-2015-MelliesZ #refinement

Functors are Type Refinement Systems (PAM, NZ), pp. 3–16.

REFSQ-2015-LiHBG0M #refinement #requirements #specification

From Stakeholder Requirements to Formal Specifications Through Refinement (FLL, JH, AB, GG, LL, JM), pp. 164–180.

CAV-2015-BeyerW #invariant

Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.

CAV-2015-JainM #refinement

Skipping Refinement (MJ, PM), pp. 103–119.

CAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #refinement #source code

Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.

ISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability

Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.

LICS-2015-DalmauEHLR #complexity #problem

Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy (VD, LE, PH, BL, AR), pp. 487–498.

LICS-2015-KobayashiL #abstraction #model checking #refinement

Automata-Based Abstraction Refinement for μHORS Model Checking (NK, XL), pp. 713–724.

LICS-2015-KrebsV #bound #logic #refinement

Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.

VMCAI-2015-KafleG #horn clause #refinement #verification

Tree Automata-Based Refinement with Application to Horn Clause Verification (BK, JPG), pp. 209–226.

DATE-2014-IannopolloNTS #contract #design #refinement #scalability

Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.

DATE-2014-IliasovASM #design #refinement #safety

Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.

DATE-2014-WelpK #invariant #refinement #verification

Property directed invariant refinement for program verification (TW, AK), pp. 1–6.

FASE-2014-AnjorinSLS #graph grammar #refinement #using

Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.

TACAS-2014-Gibson-RobinsonABR #csp #named #refinement

FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.

CSMR-WCRE-2014-HillRFM #case study #code search #query #refinement

NL-based query refinement and contextualized code search results: A user study (EH, MRV, JAF, GM), pp. 34–43.

PLDI-2014-JagannathanPVPL #compilation #refinement

Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.

PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement

On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.

SAS-2014-MeshmanDVY #memory management #refinement #synthesis

Synthesis of Memory Fences via Refinement Propagation (YM, AMD, MTV, EY), pp. 237–252.

LATA-2014-GantyR #order #verification

Ordered Counter-Abstraction — Refinable Subword Relations for Parameterized Verification (PG, AR), pp. 396–408.

FM-2014-AntoninoSW #analysis #concurrent #csp #network #process #refinement

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (PRGA, AS, JW), pp. 62–77.

FM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement

Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.

IFM-2014-MiyazawaC #refinement

Formal Refinement in SysML (AM, AC), pp. 155–170.

IFM-2014-SchneiderTWW #ltl #refinement

Managing LTL Properties in Event-B Refinement (SAS, HT, HW, DMW), pp. 221–237.

ICFP-2014-VazouSJVJ #haskell #refinement

Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.

ICGT-2014-DanosHS #refinement

Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.

DHM-2014-MeryS #refinement #semantics

The Semantics of Refinement Chart (DM, NKS), pp. 415–426.

AdaEurope-2014-LopatkinR #development #fault tolerance

Rigorous Development of Fault-Tolerant Systems through Co-refinement (IL, AR), pp. 11–26.

CIKM-2014-ZhaoWLZ #framework #mining #refinement #word

A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.

ICPR-2014-CechFM #3d #approach #detection #refinement

A 3D Approach to Facial Landmarks: Detection, Refinement, and Tracking (JC, VF, JM), pp. 2173–2178.

ICPR-2014-MatveevG #approximate #detection #segmentation

Iris Segmentation System Based on Approximate Feature Detection with Subsequent Refinements (IM, KG), pp. 1704–1709.

ICPR-2014-OlssonUE #refinement

Local Refinement for Stereo Regularization (CO, JU, APE), pp. 4056–4061.

ICPR-2014-SaygiliMH14a #artificial reality #hybrid #refinement

Hybrid Kinect Depth Map Refinement for Transparent Objects (GS, LvdM, EAH), pp. 2751–2756.

KDIR-2014-DomeniconiMPS #category theory #classification

Cross-domain Text Classification through Iterative Refining of Target Categories Representations (GD, GM, RP, CS), pp. 31–42.

QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.

POPL-2014-RamsayNO #abstraction #approach #higher-order #model checking #refinement

A type-directed abstraction refinement approach to higher-order model checking (SJR, RPN, CHLO), pp. 61–72.

SAC-2014-HoritaHSNTO #approach #modelling #refinement #using

Transformation approach from KAOS goal models to BPMN models using refinement patterns (HH, KH, YS, HN, YT, AO), pp. 1023–1024.

SAC-2014-PimentelCMAS #design #refinement #requirements

From requirements to statecharts via design refinement (JP, JC, JM, KA, VESS), pp. 995–1000.

FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement

Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.

CAV-2014-BirgmeierBW #abstraction #induction

Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (JB, ARB, GW), pp. 831–848.

IJCAR-2014-BerdineB #refinement #smt

Computing All Implied Equalities via SMT-Based Partition Refinement (JB, NB), pp. 168–183.

LICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification

Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.

CBSE-2013-KezniklBPGHH #component #design #invariant #refinement

Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.

ECSA-2013-TounsiKK #design pattern #modelling #refinement

Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.

ASE-2013-CimattiDT #contract #named #refinement

OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.

SIGMOD-2013-RoyCFRZ #information management #refinement #taxonomy

Provenance-based dictionary refinement in information extraction (SR, LC, VF, FR, HZ), pp. 457–468.

ESOP-2013-VazouRJ #refinement

Abstract Refinement Types (NV, PMR, RJ), pp. 209–228.

TACAS-2013-WijsE #performance

Efficient Property Preservation Checking of Model Refinements (AW, LE), pp. 565–579.

ICSM-2013-Roldan-VegaMHF #code search #named #query #refinement

CONQUER: A Tool for NL-Based Query Refinement and Contextualizing Code Search Results (MRV, GM, EH, JAF), pp. 512–515.

PLDI-2013-GordonEG #alias #refinement

Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.

ICALP-v2-2013-HartungNNS #analysis #complexity #graph

A Refined Complexity Analysis of Degree Anonymization in Graphs (SH, AN, RN, OS), pp. 594–606.

IFM-2013-Prehofer #behaviour #diagrams #refinement #specification

Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.

ICFP-2013-TuronDB #concurrent #higher-order #hoare #logic #reasoning #refinement

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (AT, DD, LB), pp. 377–390.

GCM-J-2012-Hoffmann #graph grammar #refinement

Graph Rewriting with Contextual Refinement (BH).

HCI-AS-2013-HarunBON #learning #using

Refining Rules Learning Using Evolutionary PD (AFH, SB, CO, NLMN), pp. 376–385.

ECIR-2013-0001S #game studies #query #refinement

Comparing Crowd-Based, Game-Based, and Machine-Based Approaches in Initial Query and Query Refinement Tasks (CGH, PS), pp. 495–506.

ICMT-2013-ButtnerEGL #model transformation #refinement

Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.

PPDP-2013-MandelPP #functional #refinement

Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.

POPL-2013-CernyHR #abstraction #refinement

Quantitative abstraction refinement (PC, TAH, AR), pp. 115–128.

RE-2013-GhezziMSS #on the #requirements #verification

On requirements verification for model refinements (CG, CM, AMS, PS), pp. 62–71.

RE-2013-KrkaM #behaviour

Distributing refinements of a system-level partial behavior model (IK, NM), pp. 72–81.

ESEC-FSE-2013-GambiFD #refinement #testing

Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.

ISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel #refinement

Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.

TAP-2013-AichernigJK #generative #incremental #refinement #testing

Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.

ASE-2012-Yamamoto #refinement

Property-preserving program refinement (YY), pp. 398–401.

DAC-2012-KengV #abstraction #debugging #design #refinement #satisfiability

Path directed abstraction and refinement in SAT-based design debugging (BK, AGV), pp. 947–954.

DATE-2012-EbeidFQS #design #embedded #modelling #refinement #uml

Refinement of UML/MARTE models for the design of networked embedded systems (ESME, FF, DQ, FS), pp. 1072–1077.

ITiCSE-2012-SchaferBBJSFKS #embedded #empirical

The empirically refined competence structure model for embedded micro- and nanosystems (AS, RB, SB, SJ, SES, DF, BK, HS), pp. 57–62.

ITiCSE-2012-Velazquez-Iturbide #algorithm #approach #learning #refinement

Refinement of an experimental approach tocomputer-based, active learning of greedy algorithms (JÁVI), pp. 46–51.

FASE-2012-LongCMM #abstraction #refinement

Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.

FASE-2012-SalayFC #independence #modelling #refinement #using

Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.

FM-2012-AartsHKOV #abstraction #automaton #learning #refinement

Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.

FM-2012-DormoyKL #component #configuration management #refinement

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (JD, OK, AL), pp. 171–186.

FM-2012-SpasicM #algorithm #formal method #incremental #refinement

Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.

IFM-2012-BerthingBSTV #development

Refinement-Based Development of Timed Systems (JB, PB, KS, LT, JV), pp. 69–83.

IFM-2012-DiaconescuLPSS #interactive

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (DD, IL, LP, KS, GS), pp. 221–236.

SEFM-2012-FilhoO #implementation #refinement

Implementing Tactics of Refinement in CRefine (MCF, MVMO), pp. 342–351.

ICGT-2012-Lowe #algebra #framework #graph grammar #graph transformation

Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.

ICPR-2012-JiS #clustering #robust #segmentation

Robust motion segmentation via refined sparse subspace clustering (HJ, FS), pp. 1546–1549.

ICPR-2012-JungN #modelling #refinement

Model-based feature refinement by ellipsoidal face tracking (SUJ, MSN), pp. 1209–1212.

ICPR-2012-YamasakiC #classification #recognition #refinement

Confidence-assisted classification result refinement for object recognition featuring TopN-Exemplar-SVM (TY, TC), pp. 1783–1786.

ICPR-2012-YuL #3d #refinement

Genus refinement of a manifold surface reconstructed by sculpting the 3d-Delaunay triangulation of Structure-from-Motion points (SY, ML), pp. 1021–1025.

SEKE-2012-Cao #logic #refinement

Modal ZIA, Modal Refinement Relation and Logical Characterization (ZC), pp. 525–530.

SIGIR-2012-MahdabiAKC #automation #concept #predict #query #refinement #using

Automatic refinement of patent queries using concept importance predictors (PM, LA, MK, FC), pp. 505–514.

ECMFA-2012-RiekeS #model transformation #refinement #specification

Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.

POPL-2012-ChughRJ #logic #type system

Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.

SAC-2012-AristizabalBVP #refinement #similarity

Partition refinement for bisimilarity in CCP (AA, FB, FDV, LFP), pp. 88–93.

ICSE-2012-LuciaLJB #refinement

Active refinement of clone anomaly reports (L, DL, LJ, AB), pp. 397–407.

ICSE-2012-SegallT #combinator #interactive #refinement #testing

Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.

CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #runtime #using

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.

CAV-2012-KomuravelliPC #abstraction #probability #refinement

Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.

CSL-2012-ChatterjeeCK #algorithm #performance #refinement

Faster Algorithms for Alternating Refinement Relations (KC, SC, PK), pp. 167–182.

ICST-2012-SalayCG #towards #verification

Towards a Methodology for Verifying Partial Model Refinements (RS, MC, JG), pp. 938–945.

SAT-2012-JanotaKMC #refinement

Solving QBF with Counterexample Guided Refinement (MJ, WK, JMS, EMC), pp. 114–128.

CBSE-2011-LevequeS #component #modelling

Refining extra-functional property values in hierarchical component models (TL, SS), pp. 83–92.

HT-2011-PeraN #community #refinement

A community question-answering refinement system (MSP, YKN), pp. 251–260.

SIGMOD-2011-AlexeCKT #design

Designing and refining schema mappings via data examples (BA, BtC, PGK, WCT), pp. 133–144.

VLDB-2011-AlexeCKT #design #interactive #named #refinement

EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples (BA, BtC, PGK, WCT), pp. 1414–1417.

FoSSaCS-2011-AtkeyJG #induction #question #refinement

When Is a Type Refinement an Inductive Type? (RA, PJ, NG), pp. 72–87.

PLDI-2011-LiangN #abstraction #refinement #scalability

Scaling abstraction refinement via pruning (PL, MN), pp. 590–601.

SAS-2011-AvniK #abstraction #framework #query

An Abstraction-Refinement Framework for Trigger Querying (GA, OK), pp. 263–279.

IFM-J-2009-SchneiderT11 #csp #interface #refinement

Changing system interfaces consistently: A new refinement strategy for CSP||B (SS, HT), pp. 837–860.

FM-2011-ChenLW #communication #process #refinement

Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.

FM-2011-MeryMT #algorithm #verification

Refinement-Based Verification of Local Synchronization Algorithms (DM, MM, MT), pp. 338–352.

FM-2011-QinLCH #automation #specification #verification

Automatically Refining Partial Specifications for Program Verification (SQ, CL, WNC, GH), pp. 369–385.

CIKM-2011-BingLW #query #social #topic #using

Using query log and social tagging to refine queries based on latent topics (LB, WL, TLW), pp. 583–592.

CIKM-2011-BoimMN #collaboration #recommendation #refinement

Diversification and refinement in collaborative filtering recommender (RB, TM, SN), pp. 739–744.

KDD-2011-SnowsillFBC #question

Refining causality: who copied from whom? (TMS, NF, TDB, NC), pp. 466–474.

KEOD-2011-OkumuraH #concept #using

A Refining Method of Obtained Attributes to Characterize Undefined Concepts using Search Engine (NO, YH), pp. 493–497.

ECOOP-2011-BaltopoulosBG #database #maintenance #refinement

Maintaining Database Integrity with Refinement Types (IGB, JB, ADG), pp. 484–509.

POPL-2011-GuptaPR #abstraction #concurrent #multi #refinement #source code #thread #verification

Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.

POPL-2011-TuronW #concurrent #logic

A separation logic for refining concurrent objects (AJT, MW), pp. 247–258.

ESEC-FSE-2011-Baluda #abstraction #automation #refinement #testing

Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.

ICLP-2011-AlrajehKRU #approach #induction #refinement

An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.

ISSTA-2011-ShahbazSE #component #embedded #refinement #specification

Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.

RTA-2011-Roux #dependence #higher-order #refinement

Refinement Types as Higher-Order Dependency Pairs (CR), pp. 299–312.

VMCAI-2011-BardinHV #context-free grammar #re-engineering #source code

Refinement-Based CFG Reconstruction from Unstructured Programs (SB, PH, FV), pp. 54–69.

VMCAI-2011-HowarSM #abstraction #automation #automaton #learning #refinement

Automata Learning with Automated Alphabet Abstraction Refinement (FH, BS, MM), pp. 263–277.

DATE-2010-AnastasiaA #energy #image #refinement #scheduling #trade-off

Scheduling and energy-distortion tradeoffs with operational refinement of image processing (DA, YA), pp. 1719–1724.

DATE-2010-BeckerGF0PX #design #refinement

RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.

DATE-2010-HsuYC #architecture #framework #refinement

An accurate system architecture refinement methodology with mixed abstraction-level virtual platform (ZMH, JCY, IYC), pp. 568–573.

DATE-2010-TraubSKB #network

Scenario extraction for a refined timing-analysis of automotive network topologies (MT, TS, OK, JB), pp. 81–86.

VLDB-2010-LiuCCJR #automation #information management #refinement

Automatic Rule Refinement for Information Extraction (BL, LC, VC, HVJ, FR), pp. 588–597.

FASE-2010-BeyerHTZ #analysis #refinement

Shape Refinement through Explicit Heap Analysis (DB, TAH, GT, DZ), pp. 263–277.

TACAS-2010-BauerMSH #on the #refinement

On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.

TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement

PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.

WCRE-2010-ChenWZZHNQCG #c #decompiler #readability

A Refined Decompiler to Generate C Code with High Readability (GC, ZW, RZ, KZ, SH, KN, ZQ, KC, HG), pp. 150–154.

SAS-2010-MalkisPR #abstraction #refinement #thread

Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.

SEFM-2010-GoldsmithC #graph

Refinement-Friendly Bigraphs and Spygraphs (MG, SC), pp. 203–207.

SEFM-2010-KatzK #query #refinement #specification

User Queries for Specification Refinement Treating Shared Aspect Join Points (EK, SK), pp. 73–82.

ICEIS-AIDSS-2010-UrbanoRO #assessment

Refining the Trustworthiness Assessment of Suppliers through Extraction of Stereotypes (JU, APR, ECO), pp. 85–92.

CIKM-2010-HuangSN #graph #query #refinement #using #word

Query model refinement using word graphs (YH, LS, JYN), pp. 1453–1456.

ICPR-2010-DaubneyX #3d #image #refinement #using

Estimating 3D Human Pose from Single Images Using Iterative Refinement of the Prior (BD, XX), pp. 3440–3443.

ICPR-2010-HaberdarS #detection #framework #mobile #refinement #using #video

Disparity Map Refinement for Video Based Scene Change Detection Using a Mobile Stereo Camera Platform (HH, SKS), pp. 3890–3893.

ICPR-2010-KocamazR #automation #refinement

Automatic Refinement of Foreground Regions for Robot Trail Following (MKK, CR), pp. 4077–4080.

ICPR-2010-SukF

Refined Morphological Methods of Moment Computation (TS, JF), pp. 966–970.

SEKE-2010-Cao #automaton #interface #refinement

Refinement Checking for Interface Automata with Z Notation (ZC), pp. 399–404.

SAC-2010-DirgahayuQS #design #interactive #refinement

Interaction refinement in the design of business collaborations (TD, DACQ, MvS), pp. 86–93.

SAC-2010-WangWZ #component #modelling #refinement

Refinement of models of software components (ZW, HW, NZ), pp. 2311–2318.

FSE-2010-Krka #approach #behaviour #incremental #modelling #refinement #requirements #specification

From requirements to partial behavior models: an iterative approach to incremental specification refinement (IK), pp. 341–344.

CAV-2010-PulinaT #abstraction #approach #network #verification

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks (LP, AT), pp. 243–257.

DAC-2009-NanshiS #abstraction #constraints #refinement

Constraints in one-to-many concretization for abstraction refinement (KN, FS), pp. 569–574.

DATE-2009-PurandareWK #abstraction #refinement #using

Strengthening properties using abstraction refinement (MP, TW, DK), pp. 1692–1697.

ICDAR-2009-DreuwRGN #adaptation #recognition #refinement

Writer Adaptive Training and Writing Variant Model Refinement for Offline Arabic Handwriting Recognition (PD, DR, CG, HN), pp. 21–25.

ITiCSE-2009-Impagliazzo #metric #performance #source code

Graduate attributes and performance measures: refinements in assessing programs (JI), p. 370.

FASE-2009-JurackLMTW #diagrams #process

Object Flow Definition for Refined Activity Diagrams (SJ, LL, KM, GT, GW), pp. 49–63.

ICSM-2009-ShternT #clustering #evaluation #using

Refining clustering evaluation using structure indicators (MS, VT), pp. 297–305.

MSR-2009-HattoriL #mining

Mining the history of synchronous changes to refine code ownership (LH, ML), pp. 141–150.

PLDI-2009-GulwaniJK #analysis #bound #control flow #invariant #refinement

Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.

SAS-2009-HeizmannHP #abstraction #refinement

Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.

SAS-2009-SeghirPW #abstraction #array #quantifier #refinement

Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.

CIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement

Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.

LATA-2009-BertrandPR #consistency #refinement #specification

Refinement and Consistency of Timed Modal Specifications (NB, SP, JBR), pp. 152–163.

FM-2009-JeffordsHAL #composition #fault tolerance #formal method #refinement #using

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (RDJ, CLH, MA, EIL), pp. 173–189.

FM-2009-LiuCLS #model checking #refinement

Model Checking Linearizability via Refinement (YL, WC, YAL, JS), pp. 321–337.

FM-2009-McIverM #case study #composition #refinement #security

Sums and Lovers: Case Studies in Security, Compositionality and Refinement (AM, CCM), pp. 289–304.

FM-2009-SaidBS #refinement #state machine #tool support #uml

Language and Tool Support for Class and State Machine Refinement in UML-B (MYS, MJB, CFS), pp. 579–595.

FM-2009-WalkinshawDG #modelling #refinement #testing

Iterative Refinement of Reverse-Engineered Models by Model-Based Testing (NW, JD, QG), pp. 305–320.

IFM-2009-BoitenD #concurrent #modelling #refinement #relational

Modelling Divergence in Relational Concurrent Refinement (EAB, JD), pp. 183–199.

IFM-2009-SchneiderT #csp #interface #refinement

Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (SS, HT), pp. 103–117.

SEFM-2009-KawamataSIH #refinement #specification

Specifying and Checking Refinement Relationships in VDM++ (YK, CS, FI, SH), pp. 220–227.

SEFM-2009-MartinsMB #refinement

Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.

ECIR-2009-PetkovaCD #keyword #query #retrieval #xml

Refining Keyword Queries for XML Retrieval by Combining Content and Structure (DP, WBC, YD), pp. 662–669.

KDD-2009-MaunzHK #graph #mining #refinement #scalability #using

Large-scale graph mining using backbone refinement classes (AM, CH, SK), pp. 617–626.

KEOD-2009-GudasL #knowledge-based #refinement

Knowledge-based Refinement of Business Management Functions (SG, AL), pp. 435–442.

SEKE-2009-KongLLYW #feedback #refinement #traceability

A Requirement Traceability Refinement Method Based on Relevance Feedback (LK, JL, YL, YY, QW), pp. 37–42.

SIGIR-2009-BennettN #classification #scalability #taxonomy

Refined experts: improving classification in large taxonomies (PNB, NN), pp. 11–18.

ECMDA-FA-2009-HeidenreichJKSW #modelling #refinement #syntax

Derivation and Refinement of Textual Syntax for Models (FH, JJ, SK, MS, CW), pp. 114–129.

LOPSTR-2009-Nishimura #exception #logic

Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.

SAC-2009-AbreuMSG #fault #locality #ranking

Refining spectrum-based fault localization rankings (RA, WM, MS, AJCvG), pp. 409–414.

ESEC-FSE-2009-MaiaKUM #modelling #probability #refinement #towards #using

Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.

ICSE-2009-WangCCZ #correctness #fault #locality #refinement

Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization (XW, SCC, WKC, ZZ), pp. 45–55.

CADE-2009-ZhangHD #calculus

A Refined Resolution Calculus for CTL (LZ, UH, CD), pp. 245–260.

TLCA-2009-LovasP #proving #refinement

Refinement Types as Proof Irrelevance (WL, FP), pp. 157–171.

VMCAI-2009-KattenbeltKNP #abstraction #probability #refinement

Abstraction Refinement for Probabilistic Software (MK, MZK, GN, DP), pp. 182–197.

ASE-2008-HartKGCL #abstraction #proving #refinement

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.

ASE-2008-PradellaMP #bound #realtime #satisfiability #specification

Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking (MP, AM, PSP), pp. 119–127.

DAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement

Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.

DAC-2008-GerstlauerPSGNAN #implementation #specification

Specify-explore-refine (SER): from specification to implementation (AG, JP, DS, DG, AN, DA, YN), pp. 586–591.

DAC-2008-GorjiaraG #architecture #automation #refinement

Automatic architecture refinement techniques for customizing processing elements (BG, DG), pp. 379–384.

DATE-2008-GruttnerONCF #modelling #refinement #synthesis

SystemC-based Modelling, Seamless Refinement, and Synthesis of a JPEG 2000 Decoder (KG, FO, WN, FCB, AMF), pp. 128–133.

DATE-2008-KimSTDV #adaptation #constraints #online #refinement

Constraint Refinement for Online Verifiable Cross-Layer System Adaptation (MK, MOS, CLT, ND, NV), pp. 646–651.

DATE-2008-NovoBLPC #energy #fixpoint #refinement

Scenario-Based Fixed-point Data Format Refinement to Enable Energy-scalable Software Defined Radios (DN, BB, AL, LVdP, FC), pp. 722–727.

DATE-2008-VasilevskiPBAE #modelling

Modeling and Refining Heterogeneous Systems With SystemC-AMS: Application to WSN (MV, FP, NB, HA, KE), pp. 134–139.

ITiCSE-2008-Lauer #taxonomy

Reevaluating and refining the engagement taxonomy (TL), p. 355.

TACAS-2008-ChocklerGY #automation #performance #refinement #using

Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.

TACAS-2008-GulavaniCNR #abstract interpretation #automation

Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.

ICPC-2008-FlemingKSDX #comprehension #concurrent #maintenance

Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software (SDF, EK, REKS, LKD, SX), pp. 23–32.

ICSM-2008-He #generative #programming #refinement #testing

Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.

SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.

FLOPS-2008-UnnoK #dependent type #on-demand #refinement

On-Demand Refinement of Dependent Types (HU, NK), pp. 81–96.

FM-2008-McCombS #refinement

Introducing Objects through Refinement (TM, GS), pp. 358–373.

FM-2008-McIverMG #probability #proving #refinement

Proofs and Refutations for Probabilistic Refinement (AKM, CCM, CG), pp. 100–115.

SEFM-2008-OliveiraGC #calculus #named #refinement

CRefine: Support for the Circus Refinement Calculus (MO, ACG, CGdC), pp. 281–290.

GT-VMT-2006-AutiliP08 #requirements #towards #visual notation

Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.

ICEIS-ISAS1-2008-LanoC #behaviour #refinement #semantics #state machine

Semantics and Refinement of Behavior State Machines (KL, DC), pp. 42–49.

ICPR-2008-DuinP #difference #learning #matrix #on the

On refining dissimilarity matrices for an improved NN learning (RPWD, EP), pp. 1–4.

ICPR-2008-JunejoF08b

Refining PTZ camera calibration (INJ, HF), pp. 1–4.

ICPR-2008-RysavyFEO #classification #random #segmentation

Classifiability criteria for refining of random walks segmentation (SR, AF, RE, KO), pp. 1–4.

ICPR-2008-ServantMHM #artificial reality #locality #refinement #visual notation

Visual planes-based simultaneous localization and model refinement for augmented reality (FS, ÉM, PH, IM), pp. 1–4.

SIGIR-2008-GuoXLC #query #refinement

A unified and discriminative model for query refinement (JG, GX, HL, XC), pp. 379–386.

SIGIR-2008-SiferL

Refining search results with facet landscapes (MS, JL), p. 881.

MoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process

Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.

MoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process

Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.

GPCE-2008-ApelKL #calculus #feature model #java #programming #refinement

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement (SA, CK, CL), pp. 101–112.

SAC-2008-DingMH #approach #refinement #specification #using

An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.

SAC-2008-Liu #framework #refinement #requirements

A requirements refinement framework (WL), pp. 658–659.

SAC-2008-NishizawaC #java #refinement

A small extension to Java for class refinement (MN, SC), pp. 160–165.

SAC-2008-RamosSM #composition #consistency #framework #refinement

Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.

SAC-2008-StojanovicSM #concept #on the #refinement

On the conceptual tag refinement (NS, LS, JM), pp. 2331–2335.

CAV-2008-BobaruPG #abstraction #automation #reasoning #refinement

Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.

MBT-2008-PonsG #approach #lightweight #semantics #validation

A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.

RTA-2008-BoichutCHK #abstraction #approximate #refinement

Finer Is Better: Abstraction Refinement for Rewriting Approximations (YB, RC, PCH, OK), pp. 48–62.

TestCom-FATES-2008-FaivreGGT #refinement

Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.

VMCAI-2008-DSilvaPK #approximate #model checking #refinement

Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.

VMCAI-2008-RanzatoRT #abstraction #algorithm #refinement

A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.

DAC-2007-YuYBY #clustering #network #recursion

Program Mapping onto Network Processors by Recursive Bipartitioning and Refining (JY, JY, LNB, JY), pp. 805–810.

DATE-2007-BombieriFP #design #functional #incremental #refinement #validation

Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.

DATE-2007-DestroFP #refinement #thread

A smooth refinement flow for co-designing HW and SW threads (PD, FF, GP), pp. 105–110.

DATE-2007-KroeningS #image #interactive #proving #refinement #using #word

Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs (DK, NS), pp. 1325–1330.

DATE-2007-SafarpourV #abstraction #automation #debugging #design #refinement

Abstraction and refinement techniques in automated design debugging (SS, AGV), pp. 1182–1187.

ESOP-2007-KnowlesF #re-engineering #refinement

Type Reconstruction for General Refinement Types (KLK, CF), pp. 505–519.

TACAS-2007-AmlaM #abstraction #model checking #refinement #satisfiability

Combining Abstraction Refinement and SAT-Based Model Checking (NA, KLM), pp. 405–419.

TACAS-2007-ArmandoBM #abstraction #array #linear #refinement #source code

Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.

TACAS-2007-GheorghiuGP #composition #interface #verification

Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.

TACAS-2007-JainKSC #abstraction #named #refinement

VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.

TACAS-2007-SebastianiTV #abstraction #clustering #refinement

Property-Driven Partitioning for Abstraction Refinement (RS, ST, MYV), pp. 389–404.

PASTE-2007-LeS #analysis #detection

Refining buffer overflow detection via demand-driven path-sensitive analysis (WL, MLS), pp. 63–68.

SAS-2007-CousotGR #abstraction

Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.

IFM-2007-DerrickSW #proving #refinement

Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.

SEFM-2007-KahsaiRS #refinement #testing

Specification-based testing for refinement (TK, MR, BHS), pp. 237–246.

SEFM-2007-ReevesS #refinement

Feature Refinement (SR, DS), pp. 371–380.

CHI-2007-HachetPTG #agile #mobile

“Jump and refine” for rapid pointing on mobile phones (MH, JP, FT, PG), pp. 167–170.

DHM-2007-LeeFCBEAP #finite #modelling #using

Finite Element Modeling to Aid in Refining the Rehabilitation of Amputees Using Osseointegrated Prostheses (WL, LF, NJC, RB, JE, CA, MJP), pp. 655–658.

ICEIS-AIDSS-2007-Novacek #empirical #ontology #refinement #taxonomy

Imprecise Empirical Ontology Refinement — Application to Taxonomy Acquisition (VN), pp. 31–38.

ICEIS-EIS-2007-RychkovaW #automation #refinement #specification #towards #visual notation

Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.

ECIR-2007-RoullandKCRGPO #clustering #query #refinement #using

Query Reformulation and Refinement Using NLP-Based Sentence Clustering (FR, ANK, SC, CR, AG, KP, JO), pp. 210–221.

MLDM-2007-YuZWZ #3d #image #retrieval

A Filter-Refinement Scheme for 3D Model Retrieval Based on Sorted Extended Gaussian Image Histogram (ZY, SZ, HSW, JZ), pp. 643–652.

SIGIR-2007-TanW #categorisation

Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.

SIGIR-2007-WhiteCC #pseudo #query #refinement

Comparing query logs and pseudo-relevance feedbackfor web-search query refinement (RWW, CLAC, SC), pp. 831–832.

TOOLS-EUROPE-2007-ApelKLS #aspect-oriented #refinement

Aspect Refinement — Unifying AOP and Stepwise Refinement (SA, CK, TL, GS), pp. 13–33.

LOPSTR-2007-BossiPR #algebra #process #refinement #security

Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.

PADL-2007-PodelskiR #abstraction #logic #model checking #named #refinement

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement (AP, AR), pp. 245–259.

AMOST-2007-SatpathyR #abstraction #formal method #generative #model checking #modelling #refinement #testing

Test case generation from formal models through abstraction refinement and model checking (MS, SR), pp. 85–94.

CSL-2007-RabinovichT #logic #problem

Logical Refinements of Church’s Problem (AR, WT), pp. 69–83.

TAP-2007-GallRT #execution #refinement #symbolic computation #testing

Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.

TLCA-2007-Boulme #calculus #refinement

Intuitionistic Refinement Calculus (SB), pp. 54–69.

VMCAI-2007-KlaedtkeRS #abstraction #hybrid #refinement #verification

Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.

ASE-2006-Ireland #automation #logic #refinement #towards

Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.

DAC-2006-LeeWA #analysis #statistics

Refined statistical static timing analysis through (BNL, LCW, MSA), pp. 149–154.

DAC-2006-NanshiS #simulation

Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.

DATE-2006-BartzasMPACST #data type #design #energy #network #refinement

Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications (AB, SM, GP, DA, FC, DS, AT), pp. 740–745.

DATE-2006-FrehseKR #abstraction #refinement #using #verification

Verifying analog oscillator circuits using forward/backward abstraction refinement (GF, BHK, RAR), pp. 257–262.

TACAS-2006-EsparzaKS #abstraction #automaton #refinement

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.

TACAS-2006-GulavaniR #abstract interpretation #refinement

Counterexample Driven Refinement for Abstract Interpretation (BSG, SKR), pp. 474–488.

TACAS-2006-JhalaM #approach #refinement

A Practical and Complete Approach to Predicate Refinement (RJ, KLM), pp. 459–473.

TACAS-2006-KonigK #abstraction #analysis #graph transformation #refinement

Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.

TACAS-2006-LiS #abstraction #bound #model checking #performance #refinement

Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking (BL, FS), pp. 227–241.

PLDI-2006-SridharanB #analysis #java #points-to

Refinement-based context-sensitive points-to analysis for Java (MS, RB), pp. 387–400.

SAS-2006-Arnold #analysis #logic #refinement #using

Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.

SAS-2006-DhurjatiDY #analysis #data flow #refinement

Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.

CIAA-2006-Tischler #automaton #finite #random #refinement #video

Refinement of Near Random Access Video Coding with Weighted Finite Automata (GT), pp. 46–57.

ICALP-v2-2006-AlurCZ #refinement

Preserving Secrecy Under Refinement (RA, PC, SZ), pp. 107–118.

FM-2006-McCombS #composition #refinement

Compositional Class Refinement in Object-Z (TM, GS), pp. 205–220.

FM-2006-McIver #analysis #model checking #probability #refinement

Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems (AM), pp. 131–146.

FM-2006-OliveiraR #refinement

Pointfree Factorization of Operation Refinement (JNO, CJR), pp. 236–251.

SEFM-2006-BanachD

Filtering Retrenchments into Refinements (RB, JD), pp. 60–69.

SFM-2006-Manolios #proving #refinement #theorem proving

Refinement and Theorem Proving (PM), pp. 176–210.

ICEIS-ISAS-2006-ShishkovQ #modelling #process #refinement #using

Refinement of SDBC Business Process Models Using ISDL (BS, DACQ), pp. 61–69.

ICEIS-J-2006-ShishkovQ06a #modelling #process #refinement

Combining SDBC and ISDL in the Modeling and Refinement of Business Processes (BS, DACQ), pp. 322–335.

CIKM-2006-WangC #performance #permutation #query #sequence

Improving query I/O performance by permuting and refining block request sequences (XW, MC), pp. 652–661.

ICPR-v1-2006-JungLYK #refinement

Radial Distortion Refinement by Inverse Mapping-Based Extrapolation (HGJ, YHL, PJY, JK), pp. 675–678.

ICPR-v2-2006-Sternby #clustering #refinement

Class Dependent Cluster Refinement (JS), pp. 833–836.

KDD-2006-YooHS #clustering #graph #integration #refinement #representation #semantics

Integration of semantic-based bipartite graph representation and mutual refinement strategy for biomedical literature clustering (IY, XH, IYS), pp. 791–796.

SIGIR-2006-HuangZL #learning #taxonomy

Refining hierarchical taxonomy structure via semi-supervised learning (RH, ZZ, WL), pp. 653–654.

MoDELS-2006-PonsG #ocl #specification #verification

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.

MoDELS-2006-PonsG #ocl #specification #verification

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.

ICSE-2006-WangJGLLW #approach #named #performance #process #statistics

BSR: a statistic-based approach for establishing and refining software process performance baseline (QW, NJ, LG, XL, ML, YW), pp. 585–594.

CAV-2006-JainIGSW #abstraction #invariant #refinement #using

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.

CAV-2006-RoordaC #abstraction #evaluation #refinement #satisfiability

SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (JWR, KC), pp. 175–189.

CAV-2006-TzorefG #automation #detection #evaluation #refinement

Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (RT, OG), pp. 190–204.

FATES-RV-2006-ErnitsKRV #generative #model checking #modelling #refinement #testing #using

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement (JPE, AK, KR, JV), pp. 85–99.

LICS-2006-BallK #abstraction #framework #multi

An Abstraction-Refinement Framework for Multi-Agent Systems (TB, OK), pp. 379–388.

CASE-2005-ChiangF #problem #scheduling

An iterative refining mechanism for general job shop scheduling problems (TCC, LCF), pp. 203–208.

DAC-2005-JainKSC #abstraction #refinement #verification #word

Word level predicate abstraction and refinement for verifying RTL verilog (HJ, DK, NS, EMC), pp. 445–450.

DATE-2005-AhmedM #design #embedded #performance #refinement

Design Refinement for Efficient Cluste ing of Objects in Embedded Systems (WA, DM), pp. 718–719.

DATE-2005-ManoliosS #modelling #performance #refinement #verification

Refinement Maps for Efficient Verification of Processor Models (PM, SKS), pp. 1304–1309.

FASE-2005-EgyedSW #maintenance #refinement #uml

Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.

FoSSaCS-2005-SchaeferV #component #composition #refinement

Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.

TACAS-2005-IsobeR #csp #proving #refinement #theorem proving

A Generic Theorem Prover of CSP Refinement (YI, MR), pp. 108–123.

TACAS-2005-RanzatoT #abstract interpretation #algorithm #refinement

An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.

CSMR-2005-WardZH #abstraction #refinement #semantics #slicing

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.

PLDI-2005-ElmasTQ #concurrent #detection #named #runtime #source code #verification

VYRD: verifYing concurrent programs by runtime refinement-violation detection (TE, ST, SQ), pp. 27–37.

SAS-2005-CookPR #abstraction #refinement #termination

Abstraction Refinement for Termination (BC, AP, AR), pp. 87–101.

SAS-2005-DimovskiGL #approach #game studies #refinement #semantics

Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.

SEFM-2005-CarterMM #developer #refinement

Software Refinement with Perfect Developer (GC, RM, JMM), pp. 363–373.

SEFM-2005-SunW #process #realtime #refinement #semantics

Operational Semantics for Real-Time Processes with Action Refinement (XS, JW), pp. 54–63.

EDOC-2005-AlmeidaDPQS #design #interactive #modelling #refinement

Abstract Interactions and Interaction Refinement in Model-Driven Design (JPAA, RMD, LFP, DACQ, MvS), pp. 273–286.

CIKM-2005-TanCGWX #approach #categorisation #novel #refinement

A novel refinement approach for text categorization (ST, XC, MG, BW, HX), pp. 469–476.

SIGIR-2005-TanCWXGG #classification #using

Using dragpushing to refine centroid text classifiers (ST, XC, BW, HX, MG, YG), pp. 653–654.

RE-2005-SongMHRN #concurrent #named #process #prototype #requirements #workflow

S-RaP: A Concurrent Prototyping Process for Refining Workflow-Oriented Requirements (XS, GM, BH, AR, CN), pp. 416–420.

ESEC-FSE-2005-Barbosa #architecture #calculus #component #refinement

A refinement calculus for software components and architectures (MAB), pp. 377–380.

SPLC-2005-DiazTA #process

Supporting Production Strategies as Refinements of the Production Process (OD, ST, FIA), pp. 210–221.

CAV-2005-GuptaS #abstraction #bound #model checking #refinement

Abstraction Refinement for Bounded Model Checking (AG, OS), pp. 112–124.

CAV-2005-LoginovRS #abstraction #induction #learning #refinement

Abstraction Refinement via Inductive Learning (AL, TWR, SS), pp. 519–533.

CAV-2005-PasareanuPV #model checking #refinement

Concrete Model Checking with Abstract Matching and Refinement (CSP, RP, WV), pp. 52–66.

TestCom-2005-BijlRT #consistency #refinement #testing

Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.

VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.

WICSA-2004-BaresiHTV #architecture #refinement

Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.

WICSA-2004-EnglebertV #architecture #refinement

Attribute-Based Refinement of Software Architectures (VE, FV), pp. 301–304.

DAC-2004-MangH #abstraction #analysis #refinement

Abstraction refinement by controllability and cooperativeness analysis (FYCM, PHH), pp. 224–229.

DAC-2004-WangJHS #bound #model checking #satisfiability

Refining the SAT decision ordering for bounded model checking (CW, HJ, GDH, FS), pp. 535–538.

DATE-DF-2004-KruppMO #model checking #refinement

Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.

DATE-DF-2004-SchubertHGAN #design #evaluation

Evaluation of a Refinement-Driven SystemC™-Based Design Flow (TS, JH, JG, JEA, WN), pp. 262–267.

DATE-v1-2004-BjesseK #abstraction #debugging #refinement #using

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs (PB, JHK), pp. 156–161.

DATE-v1-2004-DensmoreRS #architecture #development #framework #refinement

Microarchitecture Development via Metropolis Successive Platform Refinement (DD, SR, ALSV), pp. 346–351.

DATE-v1-2004-GrimmHW #refinement

Refinement of Mixed-Signal Systems with Affine Arithmetic (CG, WH, KW), pp. 372–377.

DATE-v1-2004-ManoliosS #automation #liveness #modelling #safety #using #verification #web

Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements (PM, SKS), pp. 168–175.

FASE-2004-Egyed #adaptation #consistency #diagrams #evolution #refinement

Consistent Adaptation and Evolution of Class Diagrams during Refinement (AE), pp. 37–53.

TACAS-2004-BallCDR #abstraction #approximate

Refining Approximations in Software Predicate Abstraction (TB, BC, SD, SKR), pp. 388–403.

TACAS-2004-ShohamG #abstraction

Monotonic Abstraction-Refinement for CTL (SS, OG), pp. 546–560.

SAS-2004-Preda #evaluation #refinement

Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.

IFM-2004-BeckertS #data type #integer #refinement #verification

Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.

SEFM-2004-KammullerS #heuristic #refinement

Heuristics for Refinement Relations (FK, JWS), pp. 292–299.

SEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics #uml

On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.

SEFM-2004-OliveiraXC #refinement

Refine and Gabriel: Support for Refinement and Tactics (MO, MX, AC), pp. 310–319.

SEFM-2004-WuY #ambiguity #concurrent #refinement #towards

Towards Action Refinement for Concurrent Systems with Causal Ambiguity (JW, HY), pp. 300–309.

CIKM-2004-MaZMS #framework #learning #query #similarity #using

A framework for refining similarity queries using learning techniques (YM, QZ, SM, DYS), pp. 158–159.

ICPR-v3-2004-PetrovicC #recognition #refinement

Vehicle Type Recognition with Match Refinement (VSP, TFC), pp. 95–98.

SIGIR-2004-KimCK #dependence #documentation #using

Refining term weights of documents using term dependencies (HSK, IC, MK), pp. 552–553.

UML-2004-RottgerZ #development #model transformation #modelling #non-functional #refinement

Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.

PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using

Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.

SAC-2004-WangDK #refinement

Guiding motif discovery by iterative pattern refinement (ZW, MMD, SK), pp. 162–166.

FSE-2004-ZhangYF #analysis

Refining code-design mapping with flow analysis (XZ, MY, JHEFL), pp. 231–240.

ICSE-2004-TanAC #heuristic #refinement

Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.

CAV-2004-BallCLZ #abstraction #automation #named #proving #refinement #theorem proving

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement (TB, BC, SKL, LZ), pp. 457–461.

CAV-2004-ChangBD #design #interface #refinement #using #verification

Using Interface Refinement to Integrate Formal Verification into the Design Cycle (JC, SB, DLD), pp. 122–134.

ICLP-2004-DuckSBH #constraints #semantics

The Refined Operational Semantics of Constraint Handling Rules (GJD, PJS, MJGdlB, CH), pp. 90–104.

ICLP-2004-KundajiS #calculus #development #refinement #semantics

Development of Semantic Debuggers Based on Refinement Calculus (RNK, RKS), pp. 460–461.

DAC-2003-AbdiSG #automation #communication #design #refinement

Automatic communication refinement for system level design (SA, DS, DG), pp. 300–305.

DAC-2003-AgarwalBZV #bound #refinement #statistics

Computation and Refinement of Statistical Bounds on Circuit Delay (AA, DB, VZ, SBKV), pp. 348–353.

DAC-2003-PimentelE #communication #refinement

An IDF-based trace transformation method for communication refinement (ADP, CE), pp. 402–407.

DATE-2003-CoppolaCGM #communication #named #refinement

IPSIM: SystemC 3.0 Enhancements for Communication Refinement (MC, SC, MDG, GM), pp. 20106–20111.

DATE-2003-GrimmMHW #refinement

Refinement of Mixed-Signal Systems with SystemC (CG, CM, WH, KW), pp. 11170–11171.

DATE-2003-TalpinGSGD #design

Polychrony for Refinement-Based Design (JPT, PLG, SKS, RKG, FD), pp. 11172–11173.

HT-2003-SugiyamaHYU #refinement #using #web

Refinement of TF-IDF schemes for web pages using their hyperlinked neighboring pages (KS, KH, MY, SU), pp. 198–207.

FASE-2003-MerzWZ #logic #mobile #refinement #specification

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.

TACAS-2003-ClarkeFHKST #abstraction #hybrid #refinement #verification

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.

TACAS-2003-GlusmanKMFV #abstraction #evaluation #industrial #multi #refinement

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.

CSMR-2003-MoeCP #distributed #refinement #using

Using Observation and Refinement to Improve Distributed Systems Test (JM, DAC, MP), pp. 153–159.

FME-2003-KouchnarenkoL #component #refinement #verification

Refinement and Verification of Synchronized Component-Based Systems (OK, AL), pp. 341–358.

FME-2003-MammarL #automation #database #design #proving #refinement

Design of an Automatic Prover Dedicated to the Refinement of Database Applications (AM, RL), pp. 834–854.

SEFM-2003-BossiFPR #data flow #refinement #security

Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.

ICFP-2003-MandelbaumWH #effectiveness

An effective theory of type refinements (YM, DW, RH), pp. 213–225.

AGTIVE-2003-HaaseMBG03a #architecture #integration #named #refinement

Fire3: Architecture Refinement for A-posteriori Integration (TH, OM, BB, FHG), pp. 461–467.

CHI-2003-AccotZ #modelling

Refining Fitts’ law models for bivariate pointing (JA, SZ), pp. 193–200.

CAiSE-2003-Stojanovic #on the #ontology #query #refinement

On the Query Refinement in the Ontology-Based Searching for Information (NS), pp. 324–339.

SIGIR-2003-Anick #feedback #refinement #using #web

Using terminological feedback for web search refinement: a log-based study (PGA), pp. 88–95.

UML-2003-HaugenS #interactive #named #refinement #semantics

STAIRS — Steps to Analyze Interactions with Refinement Semantics (ØH, KS), pp. 388–402.

ECOOP-2003-BorbaSC #algebra #object-oriented #programming #refinement

A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.

PPDP-2003-Escobar

Refining weakly outermost-needed rewriting and narrowing (SE), pp. 113–123.

RE-2003-SenguptaC #modelling #requirements #sequence chart #using

Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.

ESEC-FSE-2003-BatoryLS #multi

Refinements and multi-dimensional separation of concerns (DSB, JL, JNS), pp. 48–57.

ICSE-2003-BatorySR #refinement #scalability

Scaling Step-Wise Refinement (DSB, JNS, AR), pp. 187–197.

CADE-2003-Clarke #abstraction #model checking #refinement #satisfiability

SAT-Based Counterexample Guided Abstraction Refinement in Model Checking (EMC), p. 1.

CAV-2003-HenzingerJMQ #abstraction #refinement #thread

Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.

CAV-2003-ShohamG #abstraction #framework #game studies

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement (SS, OG), pp. 275–287.

CSL-2003-Gerhardy #analysis #complexity

Refined Complexity Analysis of Cut Elimination (PG), pp. 212–225.

LICS-2003-Buresh-OppenheimP #complexity

The Complexity of Resolution Refinements (JBO, TP), p. 138–?.

VMCAI-2003-Majster-CederbaumZF #logic #perspective #refinement

Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.

VMCAI-2003-Podelski #abstraction #model checking #refinement

Software Model Checking with Abstraction Refinement (AP), pp. 1–3.

DAC-2002-SanderJ #communication #design #refinement

Transformation based communication and clock domain refinement for system design (IS, AJ), pp. 281–286.

TACAS-2002-BallPR #abstraction #model checking #refinement

Relative Completeness of Abstraction Refinement for Software Model Checking (TB, AP, SKR), pp. 158–172.

SAS-2002-GallardoMP #ltl #model checking #refinement

Refinement of LTL Formulas for Abstract Model Checking (MdMG, PM, EP), pp. 395–410.

FME-2002-CavalcantiN #refinement #simulation

Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.

FME-2002-Pahl #abstraction #analysis #refinement #using

Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.

FME-2002-SampaioWC #refinement

Refinement in Circus (AS, JW, AC), pp. 451–470.

IFM-2002-BoltonD #csp #refinement

Refinement in Object-Z and CSP (CB, JD), pp. 225–244.

IFL-2002-EllmenreichL #named #parallel #programming #refinement

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.

ICML-2002-DietterichBMS #learning #probability #refinement

Action Refinement in Reinforcement Learning by Probability Smoothing (TGD, DB, RLdM, CS), pp. 107–114.

ICML-2002-TeowLNY #approach #fault #feature model

Refining the Wrapper Approach — Smoothed Error Estimates for Feature Selection (LNT, HL, HTN, EY), pp. 626–633.

ICPR-v1-2002-LohRW #3d #modelling #process #using

Refining 3D Models Using a Two-Stage Neural Network-Based Iterative Process (AWKL, MR, GAWW), pp. 172–175.

ICPR-v4-2002-SeppH #image #refinement

Featureless 6 DoF Pose Refinement from Stereo Images (WS, GH), pp. 17–20.

KDD-2002-WuPLL #approach #categorisation #refinement

A refinement approach to handling model misfit in text categorization (HW, THP, BL, XL), pp. 207–216.

SIGIR-2002-CarmelFPS #automation #information management #query #refinement #using

Automatic query refinement using lexical affinities with maximal information gain (DC, EF, YP, AS), pp. 283–290.

SIGIR-2002-LiuGXZ #clustering #documentation #refinement

Document clustering with cluster refinement and model selection capabilities (XL, YG, WX, SZ), pp. 191–198.

LOPSTR-2002-ColvinHHS #higher-order #logic programming #refinement #source code

Refinement of Higher-Order Logic Programs (RC, IJH, DH, PAS), pp. 126–143.

CAV-2002-ChatterjeeSG #consistency #memory management #model checking #modelling #protocol #refinement #verification

Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking (PC, HS, GG), pp. 123–136.

CAV-2002-ClarkeGKS #abstraction #machine learning #satisfiability #using

SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques (EMC, AG, JHK, OS), pp. 265–279.

SAT-2002-Clarke #abstraction #logic #model checking #refinement #satisfiability

SAT based abstraction refinement in temporal logic model checking (Keynote Talk) (EC), p. 26.

VMCAI-2002-HillS #refinement

A Refinement of the Escape Property (PMH, FS), pp. 154–166.

ASE-2001-PavlovicS #behaviour #composition #refinement #specification

Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.

DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.

DATE-2001-NicolescuYJ #communication #design #refinement

Mixed-level cosimulation for fine gradual refinement of communication in SoC design (GN, SY, AAJ), pp. 754–759.

FASE-J-1998-PadbergGE01 #refinement #rule-based #safety

Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.

SAS-2001-GiacobazziQ #model checking

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking (RG, EQ), pp. 356–373.

FLOPS-2001-KamareddineLN #parametricity #using

Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.

ICALP-2001-Furer #linear #refinement

Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations (MF), pp. 322–333.

FME-2001-BellegardeDJK #named #refinement

Reformulation: A Way to Combine Dynamic Properties and B Refinement (FB, CD, JJ, OK), pp. 2–19.

FME-2001-Jurjens #refinement

Secrecy-Preserving Refinement (JJ), pp. 135–152.

FME-2001-LeuschelMC #csp #how #ltl #model checking #refinement

How to Make FDR Spin LTL Model Checking of CSP by Refinement (ML, TM, AC), pp. 99–118.

AdaEurope-2001-Tokar #ada #runtime

New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.

ICML-2001-Eliassi-RadS #approach #information management

A Theory-Refinement Approach to Information Extraction (TER, JWS), pp. 130–137.

TOOLS-USA-2001-HeSH #multi #refinement #requirements #standard

Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method (YH, QS, QH), pp. 253–262.

ICSE-2001-CardoneL #framework #refinement

Comparing Frameworks and Layered Refinement (RC, CL), pp. 285–294.

CAV-2001-AlurW #implementation #network #protocol #refinement #verification

Verifying Network Protocol Implementations by Symbolic Refinement Checking (RA, BYW), pp. 169–181.

ITiCSE-2000-BurgosGGMMV #design #refinement #specification

Abstract solution design by specification refinement (JMB, JG, JG, JJM, SM, DV), p. 186.

FASE-2000-BellegardeJK #composition #refinement

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.

FASE-2000-KolanoKM #parallel #realtime #refinement

Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.

FoSSaCS-2000-EngelhardtMM #framework #reasoning #refinement

A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.

FoSSaCS-2000-HonsellLST #refinement #λ-calculus

Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.

FoSSaCS-2000-YangR #calculus #on the #refinement #semantics

On the Semantics of Refinement Calculi (HY, USR), pp. 359–374.

PEPM-2000-LeviS #analysis #linear #refinement

Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.

IFM-2000-DerrickS #csp #refinement

Structural Refinement in Object-Z/CSP (JD, GS), pp. 194–213.

ICML-2000-EspositoFFS #refinement

Ideal Theory Refinement under Object Identity (FE, NF, SF, GS), pp. 263–270.

ICPR-v1-2000-StevensB #comparison #image #refinement

Image Comparison Techniques in the Context of Scene Refinement (MRS, JRB), pp. 1685–1688.

ICPR-v3-2000-CamilleriP #bound #refinement

Spectral Unmixing of Mixed Pixels for Texture Boundary Refinement (KPC, MP), pp. 7096–7099.

ICPR-v3-2000-WerthS #bidirectional #correlation #framework #novel #refinement

A Novel Bidirectional Framework for Control and Refinement of Area Based Correlation Techniques (PW, SS), pp. 3738–3741.

ICPR-v3-2000-WestT #refinement

Assessing Different Features for Pose Refinement (GAWW, ET), pp. 3687–3690.

TOOLS-USA-2000-SmithMSP #component #development

Component-Based Development? Refining the Blueprint (RS, BM, CAS, GP), p. 563–?.

LOPSTR-2000-ColvinHS #composition #logic programming #refinement

Modular Logic Program Refinement (RC, IJH, PAS).

LOPSTR-J-2000-ColvinHS #composition #logic programming #refinement

A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.

SAIG-2000-Batory #architecture #product line

Refinements and Product Line Architectures (DSB), pp. 3–4.

POPL-2000-AlurG #composition #refinement

Modular Refinement of Hierarchic Reactive Machines (RA, RG), pp. 390–402.

CAV-2000-ClarkeGJLV #abstraction #refinement

Counterexample-Guided Abstraction Refinement (EMC, OG, SJ, YL, HV), pp. 154–169.

WICSA-1999-CanalPT #architecture #refinement #specification

Specification and Refinement of Dynamic Software Architectures (CC, EP, JMT), pp. 107–126.

ASE-1999-Krustev #generative #refinement #testing #using

Software Test Generation Using Refinement Types (DNK), pp. 279–282.

ASE-1999-PoppletonB #named #refinement

Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.

DATE-1999-CmarRSVB #design #fixpoint #refinement

A Methodology and Design Environment for DSP ASIC Fixed-Point Refinement (RC, LR, PS, SV, IB), p. 271–?.

SAS-1999-HillS #analysis #linear #refinement

Freeness Analysis Through Linear Refinement (PMH, FS), pp. 85–100.

FM-v1-1999-Kurki-Suonio #component #interface #refinement #specification

Component and Interface Refinement in Closed-System Specifications (RKS), pp. 134–154.

FM-v1-1999-PhilippsR #architecture #refinement

Refinement of Pipe-and-Filter Architectures (JP, BR), pp. 96–115.

FM-v1-1999-Rouzaud #calculus #refinement

Interpreting the B-Method in the Refinement Calculus (YR), pp. 411–430.

FM-v2-1999-CavalcantiN #object-oriented #refinement #semantics

A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.

FM-v2-1999-DerrickB #refinement

Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.

FM-v2-1999-HehnerG #refinement #semantics

Refinement Semantics and Loop Rules (ECRH, AMG), pp. 1497–1510.

IFM-1999-BoltonDW #data type #on the #process #refinement #simulation

On the Refinement and Simulation of Data Types and Processes (CB, JD, JW), pp. 273–292.

IFM-1999-LanoA #distributed #refinement

Reactive System Refinement of Distributed Systems in B (KL, KA), pp. 415–434.

IFM-1999-Paige #communication #concurrent #refinement #specification #using

Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication (RFP), pp. 353–372.

IFM-1999-StoddartD #calculus #modelling #refinement

The Refinement of Event Calculus Models (BS, SD), pp. 151–169.

AGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling #refinement

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.

UML-1999-Abi-AntounM #architecture #design #refinement

Enabling the Refinement of a Software Architecture into a Design (MAA, NM), pp. 17–31.

TOOLS-ASIA-1999-WangLPZZ #approach #calculus #development #formal method #refinement

A Formal Software Development Approach Based on COOZ and Refinement Calculus (YW, BL, JP, MZ, GZ), pp. 261–266.

LOPSTR-1999-Sannella #algebra #development #refinement #specification

Algebraic Specification and Program Development by Stepwise Refinement (DS), pp. 1–9.

CAV-1999-HenzingerQR #refinement

Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.

CSL-1999-Hannay #refinement #specification #system f

Specification Refinement with System F (JEH), pp. 530–545.

CSL-1999-KinoshitaP #call-by #programming language

Data-Refinement for Call-By-Value Programming Languages (YK, JP), pp. 562–576.

DAC-1998-YoungMSTHN #design #embedded #java #refinement #specification #using

Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (JSY, JM, MS, AT, PNH, ARN), pp. 70–75.

SIGMOD-1998-AvnurHLORRRW #named #navigation #online #refinement

CONTROL: Continuous Output and Navigation Technology with Refinement On-Line (RA, JMH, BL, CO, BR, VR, TR, KW), pp. 567–569.

FASE-1998-PadbergGE #refinement #rule-based #safety

Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.

FASE-1998-Scholz #calculus #refinement

A Refinement Calculus for Statecharts (PS), pp. 285–301.

FASE-1998-Sucrow #graph grammar #interactive #specification

Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules (BS), pp. 302–317.

FoSSaCS-1998-Klempien-Hinrichs #refinement

Net Refinement by Pullback Rewriting (RKH), pp. 189–202.

SAS-1998-HandjievaT #analysis #clustering #control flow #using

Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.

TAGT-1998-Grosse-RhodePS #graph transformation

Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.

SIGAda-1998-HendrixCBM #abstraction #ada #incremental #refinement #visual notation

Visual Support for Incremental Abstraction and Refinement in Ada 95 (TDH, JHCI, LAB, KSM), pp. 152–157.

CIKM-1998-SchmittT #approach #incremental #integration

An Incremental Approach to Schema Integration by Refining Extensional Relationships (IS, CT), pp. 322–330.

ICML-1998-BradleyF #clustering

Refining Initial Points for K-Means Clustering (PSB, UMF), pp. 91–99.

ICML-1998-RamachandranM #network #refinement

Theory Refinement of Bayesian Networks with Hidden Variables (SR, RJM), pp. 454–462.

KDD-1998-FayyadRB #algorithm #clustering #refinement

Initialization of Iterative Refinement Clustering Algorithms (UMF, CR, PSB), pp. 194–198.

ALP-PLILP-1998-LeviS #empirical #logic programming #refinement #source code

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs (GL, FS), pp. 152–169.

ASE-1997-DimitrakosM #refinement

Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.

ASE-1997-MaharajB #on the #refinement #specification #verification

On the Verification of VDM Specification and Refinement with PVS (SM, JB), p. 280–?.

ASE-1997-PautlerWQ #simulation #specification

Exploiting Domain-Specific Knowledge to Refine Simulation Specifications (DP, SW, AQ), p. 117–?.

DAC-1997-XuGC #clustering #refinement

Cluster Refinement for Block Placement (JX, PNG, CKC), pp. 762–765.

TACAS-1997-SandnerM #proving #refinement #theorem proving

Theorem Prover Support for the Refinement of Stream Processing Functions (RS, OM), pp. 351–365.

ICSM-2000-YoungerBL #concurrent #refinement #source code

A Formal Transformation and Refinement Method for Concurrent Programs (EJY, KHB, ZL), p. 287–?.

ICALP-1997-GiacobazziR #abstract domain

Refining and Compressing Abstract Domains (RG, FR), pp. 771–781.

FME-1997-MikhajlovaS #interface #object-oriented #refinement #source code

Class Refinement and Interface Refinement in Object-Oriented Programs (AM, ES), pp. 82–101.

FME-1997-Stringer-CalvertSW #case study #refinement #using

Using PVS to Prove a Z Refinement: A Case Study (DWJSC, SS, IW), pp. 573–588.

SIGIR-1997-VelezWSG #effectiveness #performance #query #refinement

Fast and Effective Query Refinement (BV, RW, MAS, DKG), pp. 6–15.

ESEC-FSE-1997-BodikGS #data flow #using

Refining Data Flow Information Using Infeasible Paths (RB, RG, MLS), pp. 361–377.

CAV-1997-Klarlund #algorithm #online #refinement

An n log n Algorithm for Online BDD Refinement (NK), pp. 107–118.

CAV-1997-McMillan #composition #design #hardware #refinement

A Compositional Rule for Hardware Design Refinement (KLM), pp. 24–35.

SAS-1996-CoppoDG #program analysis #refinement

Refinement Types for Program Analysis (MC, FD, PG), pp. 143–158.

FME-1996-BoitenDBS #consistency #refinement #specification

Consistency and Refinement for Partial Specification in Z (EAB, JD, HB, MS), pp. 287–306.

FME-1996-FidgeUKH #realtime #refinement #scheduling

Integrating Real-Time Scheduling Theory and Program Refinement (CJF, MU, PK, IJH), pp. 327–346.

FME-1996-WaldenS

Refining Action Systems within B-Tool (MAW, KS), pp. 85–104.

TRI-Ada-1996-BailesBCS #ada #towards

Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion (PAB, PB, MC, EJS), pp. 193–204.

ICML-1996-CarbonaraS #knowledge base #performance #refinement

Improving the Efficiency of Knowledge Base Refinement (LC, DHS), pp. 78–86.

ICPR-1996-West #refinement #verification

Assessing feature importance for verification and pose refinement (GAWW), pp. 30–34.

KR-1996-KambhampatiY #constraints #on the #refinement

On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.

LOPSTR-1996-HayesNS #logic programming #source code #specification

Refining Specifications to Logic Programs (IJH, RGN, PAS), pp. 1–19.

FSE-1996-DarimontL #refinement #requirements

Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.

CAV-1996-Gribomont #reduction #refinement #theorem

Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.

CAV-1996-PistoreS #algorithm #refinement #π-calculus

A Partition Refinement Algorithm for the π-Calculus (Extended Abstract) (MP, DS), pp. 38–49.

ICDAR-v2-1995-CongedoDIP #recognition

A structural method with local refining for handwritten character recognition (GC, GD, SI, GP), pp. 853–856.

ICML-1995-CrawH #network #refinement

Protein Folding: Symbolic Refinement Competes with Neural Networks (SC, PH), pp. 133–141.

LOPSTR-1995-SemeraroEM #datalog #refinement #source code

Ideal Refinement of Datalog Programs (GS, FE, DM), pp. 120–136.

FSE-1995-GuptaS #approach #hybrid #information management #slicing #using

Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.

HPDC-1995-JacobL #algorithm #performance #recursion #refinement

A Spanning Tree Based Recursive Refinement Algorithm for Fast Task Mapping (JCJ, SYL), pp. 58–65.

TLCA-1995-Kondoh #data type #equation

Basic Properties of Data Types with Inequational Refinements (HK), pp. 279–296.

EDAC-1994-GajskiVN #refinement

A System-Design Methodology: Executable-Specification Refinement (DG, FV, SN), pp. 458–463.

EDAC-1994-KimCL #refinement #synthesis #testing

A Stepwise Refinement Data Path Synthesis Procedure for Easy Testability (TK, KSC, CLL), pp. 586–590.

EDAC-1994-SafiniaLS #analysis #functional #modelling

Taking Advantage of High Level Functional Information to Refine Timing Analysis and Timing Modeling (CS, RL, GS), pp. 349–353.

KBSE-1994-KotikM #assurance #quality

Application of REFINE Language ToolsTM to Software Quality Assurance (GK, LM), p. 4.

FME-1994-Elvang-GoranssonF #refinement

An Extended VDM Refinement Relation (MEG, REF), pp. 175–189.

FME-1994-ErasmyS #case study #refinement #using

Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.

FME-1994-Naftalin #design #refinement

Informal Strategies in Design by Refinement (MN), pp. 401–420.

FME-1994-PaechR #automaton #behaviour #concept #modelling #refinement

A new Concept of Refinement used for Behaviour Modelling with Automata (BP, BR), pp. 154–174.

FME-1994-Seidel #case study #refinement #specification

Case Study: Specification and Refinement of the PI-Bus (KS), pp. 532–546.

ICML-1994-Gil #incremental #learning #refinement

Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.

ICML-1994-MahoneyM

Comparing Methods for Refining Certainty-Factor Rule-Bases (JJM, RJM), pp. 173–180.

ICML-1994-OpitzS #knowledge-based #network #search-based #using

Using Genetic Search to Refine Knowledge-based Neural Networks (DWO, JWS), pp. 208–216.

KDD-1994-HanF #concept #database #generative #information management #refinement

Dynamic Generation and Refinement of Concept Hierarchies for Knowledge Discovery in Databases (JH, YF), pp. 157–168.

KR-1994-Kambhampati #algorithm #framework #refinement

Refinement Search as a Unifying Framework for Analyzing Planning Algorithms (SK), pp. 329–340.

TOOLS-EUROPE-1994-Smith #development #framework #object-oriented #refinement #specification

A Development Framework for Object-Oriented Specification and Refinement (GS), pp. 173–183.

SAC-1994-VaradarajanH #adaptation #algorithm #performance #refinement

An efficient dynamic load balancing algorithm for adaptive mesh refinement (RV, IH), pp. 467–472.

ICSE-1994-MiliMM #component #refinement

Storing and Retrieving Software Components: A Refinement Based System (AM, RM, RM), pp. 91–100.

CADE-1994-FeltyH #proving #theorem proving

Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables (APF, DJH), pp. 605–619.

CADE-1994-Socher-Ambrosius

A Refined Version of General E-Unification (RSA), pp. 665–677.

LICS-1994-Burstall #proving #refinement

Terms, Proofs, and Refinement (Extended abstract) (RMB), pp. 2–7.

KBSE-1993-BailesCGP #execution #named #specification

GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.

KBSE-1993-ZeilW #knowledge base #refinement #testing

A Knowledge Base for Software Test Refinement (SJZ, CW), p. 10.

ICDAR-1993-SakodaZP #feature model #recognition #refinement #testing

Refinement and testing of a character recognition system based on feature extraction in grayscale space (WJS, JZ, TP), pp. 464–469.

FME-1993-Bicarregui #algorithm #refinement

Algorithm Refinement with Read and Write Frames (JB), pp. 148–161.

FME-1993-CauR #fault tolerance #refinement #using

Using Relative Refinement for Fault Tolerance (AC, WPdR), pp. 19–41.

FME-1993-Fidge #realtime #refinement

Real-Time Refinement (CJF), pp. 314–331.

FME-1993-Ward #calculus #refinement #specification

Adding Specification Constructors to the Refinement Calculus (NW), pp. 652–670.

CIKM-1993-LeeK #database #refinement #summary

A Hypothesis Refinement Method for Summary Discovery in Databases (DL, MHK), pp. 274–282.

SEKE-1993-EspositoMS #information management #machine learning #refinement

Machine Learning Techniques for Knowledge Acquisition and Refinement (FE, DM, GS), pp. 319–323.

SEKE-1993-ReynoldsM #metric #process #programming language #refinement

The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process (RGR, JIM), pp. 150–157.

POPL-1993-MarriottS #constraints #logic programming #optimisation #order #refinement #source code

The 3 R’s of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering (KM, PJS), pp. 334–344.

FSE-1993-Wood #approach #calculus #re-engineering #refinement #using

A Practical Approach to Software Engineering Using Z and the Refinement Calculus (KRW), pp. 79–88.

CAV-1993-GodefroidP #dependence #partial order #verification

Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) (PG, DP), pp. 438–449.

ISSTA-1993-FelderGP #specification

Analyzing Refinements of State Based Specifications: The Case of TB Nets (MF, CG, MP), pp. 28–39.

ESOP-1992-ChenM #composition #multi

Compositional Refinements in Multiple Blackboard Systems (XJC, CM), pp. 93–109.

ICALP-1992-Vogler #communication #petri net #refinement

Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.

ML-1992-TangkitvanichS #concept #fault #multi #relational

Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts (ST, MS), pp. 436–444.

ML-1992-Tecuci #knowledge base #refinement

Cooperation in Knowledge Base Refinement (GT), pp. 445–450.

SEKE-1992-SatoMI #refinement #using

Program Refinement Using Generic Object (YS, YM, TI), pp. 18–25.

ECOOP-1992-LanoH #object-oriented #reasoning #refinement #specification

Reasoning and Refinement in Object-Oriented Specification Languages (KL, HPH), pp. 78–97.

PLDI-1991-FreemanP #ml #refinement

Refinement Types for ML (TF, FP), pp. 268–277.

ICALP-1991-AcetoH #algebra #finite #process #refinement

Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.

VDME-1991-1-ScheweSW #database #refinement #specification

Specification and Refinement in an Integrated Database Application Environment (KDS, JWS, IW), pp. 496–510.

VDME-1991-2-Woodcock #calculus #refinement #tutorial

A Tutorial on the Refinement Calculus (JW), pp. 79–140.

VDME-1991-2-Woodcock91a #calculus #refinement

The Refinement Calculus (JW), pp. 80–95.

VDME-1991-2-Woodcock91b #refinement

An Introduction to Refinement in Z (JW), pp. 96–117.

VDME-1991-2-Woodcock91c #case study #refinement

Two Refinement Case Studies (JW), pp. 118–140.

KDD-1991-SchlimmerMM #refinement

Justification-Based Refinement of Expert Knowledge (JCS, TMM, JPM), pp. 397–410.

ML-1991-Berenji #approximate #learning #refinement

Refinement of Approximate Reasoning-based Controllers by Reinforcement Learning (HRB), pp. 475–479.

ML-1991-CrawS #flexibility #refinement

The Flexibility of Speculative Refinement (SC, DHS), pp. 28–32.

ML-1991-FeldmanSK #approximate #incremental #refinement

Incremental Refinement of Approximate Domain Theories (RF, AMS, MK), pp. 500–504.

ML-1991-Hamakawa #refinement

Revision Cost for Theory Refinement (RH), pp. 514–518.

ML-1991-Jones #refinement #using

Knowledge Refinement Using a High Level, Non-Technical Vocabulary (EKJ), pp. 18–22.

ML-1991-KedarBD #approximate #refinement

The Blind Leading the Blind: Mutual Refinement of Approximate Theories (SK, JLB, CLD), pp. 308–312.

ML-1991-MaclinS #automaton #finite

Refining Domain Theories Expressed as Finite-State Automata (RM, JWS), pp. 524–528.

ML-1991-MooneyO #induction #refinement

Constructive Induction in Theory Refinement (RJM, DO), pp. 178–182.

POPL-1991-AbadiP #composition #logic #refinement

A Logical View of Composition and Refinement (MA, GDP), pp. 323–332.

LICS-1991-JonssonL #probability #process #refinement #specification

Specification and Refinement of Probabilistic Processes (BJ, KGL), pp. 266–277.

VDME-1990-Goguen #algebra #approach #refinement

An Algebraic Approach to Refinement (JAG), pp. 12–28.

VDME-1990-King #calculus #refinement

Z and the Refinement Calculus (SK), pp. 164–188.

VDME-1990-WoodcockM #concurrent #refinement

Refinement of State-Based Concurrent Systems (JW, CM), pp. 340–351.

VDME-1990-Zwiers #process

Refining Data to Processes (JZ), pp. 352–369.

ML-1990-Valtorta #complexity #knowledge base #network #refinement

More Results on the Complexity of Knowledge Base Refinement: Belief Networks (MV), pp. 419–426.

SIGIR-1990-ChenD #information retrieval #interactive #online #process #query #refinement

Online Query Refinement on Information Retrieval Systems: A Process Model of Searcher/System Interactions (HC, VD), pp. 115–133.

CADE-1990-Gramlich #induction #named #proving #theorem proving

UNICOM: A Refined Completion Based Inductive Theorem Prover (BG), pp. 655–656.

CAV-1990-CarringtonR #refinement

Computer Assistance for Program Refinement (DAC, KAR), pp. 312–321.

ML-1989-Ginsberg #knowledge base #refinement

Knowledge Base Refinement and Theory Revision (AG), pp. 260–265.

ML-1989-Schlimmer #problem #quality

Refining Representations to Improve Problem Solving Quality (JCS), pp. 457–460.

ML-1989-Valtorta #complexity #knowledge-based #refinement

Some Results on the Complexity of Knowledge-Based Refinement (MV), pp. 326–331.

ML-1989-WilkinsT #consistency #knowledge base #refinement

Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.

ESEC-1989-Dix #re-engineering #refinement

Software Engineering Implications for Formal Refinement (AJD), pp. 243–259.

ICSE-1989-NakagawaF #algebra #approach #composition #process #refinement

Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.

LICS-1989-AcetoH #algebra #process #towards

Towards Action-Refinement in Process Algebras (LA, MH), pp. 138–145.

PLDI-1988-Rose #design #type system

Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages (JRR), pp. 278–287.

VDME-1988-KilpatrickM #refinement #specification

Software Support for the Refinement of VDM Specifications (PK, PM), pp. 459–475.

ALP-1988-Schnoebelen #compilation #functional #pattern matching

Refined Compilation of Pattern-Matching for Functional Languages (PS), pp. 233–243.

ICSE-1988-Sharp #automation #design #evaluation #named #refinement #using

KDA — A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control (HCS), pp. 407–417.

LICS-1988-AbadiL #refinement

The Existence of Refinement Mappings (MA, LL), pp. 165–175.

DAC-1986-ShinSS #2d

Two-dimensional compaction by “zone refining” (HS, ALSV, CHS), pp. 115–122.

ESOP-1986-HeHS #refinement

Data Refinement Refined (JH, CARH, JWS), pp. 187–196.

VLDB-1985-BorgidaW #database #exception #learning

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them (AB, KEW), pp. 72–81.

ICSE-1982-PetroneLS #interactive #named #source code

DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements (LP, ADL, FS), pp. 350–359.

ICALP-1981-Schnorr #algorithm #analysis

Refined Analysis and Improvements on Some Factoring Algorithms (CPS), pp. 1–15.

ICSE-1981-CheathamHT #refinement

Program Refinement by Transsformation (TECJ, GHH, JAT), pp. 430–438.

CADE-1980-WosOH #named #refinement

Hyperparamodulation: A Refinement of Paramodulation (LW, RAO, LJH), pp. 208–219.

FM-1979-BoydPW79a #abstraction #refinement

Abstraction and Refinement in RDM (DLB, AP, WTW), pp. 111–149.

ICSE-1979-CheathamTH #refinement

A System for Program Refinement (TECJ, JAT, GHH), pp. 53–62.

DAC-1978-LekkosP #how #logic #pseudo #refinement #using

How to develop module logic using pseudo-code and stepwise refinement (AAL, CMP), pp. 366–370.

POPL-1977-Doeppner #correctness #parallel #refinement

Parallel Program Correctness Through Refinement (TWDJ), pp. 155–169.