BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (93)
abstract (92)
model (82)
system (65)
use (61)

Stem refin$ (all stems)

602 papers:

ESOPESOP-2015-CicekGA #complexity #incremental #refinement
Refinement Types for Incremental Computational Complexity (, DG, UAA), pp. 406–431.
ESOPESOP-2015-TerauchiU #approach #refinement
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.
TACASTACAS-2015-AlurMT #refinement #specification #synthesis
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.
TACASTACAS-2015-CassezMPS #composition #contest #named #refinement
Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.
TACASTACAS-2015-GuanTAS0 #analysis #refinement #scalability
Scalable Timing Analysis with Refinement (NG, YT, JA, MS, WY), pp. 3–18.
PEPMPEPM-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.
PLDIPLDI-2015-EmmiEH #monitoring #reasoning #refinement
Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.
SASSAS-2015-HashimotoU #constraints #optimisation #refinement #type inference
Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.
SASSAS-2015-Terauchi #effectiveness #heuristic #refinement #verification
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.
FMFM-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.
SEFMSEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification
Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
SFMSFM-2015-CastegrenOW #fine-grained
Refined Ownership: — Fine-Grained Controlled Internal Sharing (EC, , TW), pp. 179–210.
ICFPICFP-2015-VazouBJ #bound #refinement
Bounded refinement types (NV, AB, RJ), pp. 48–61.
ICFPICFP-2015-ZhuNJ #learning #refinement
Learning refinement types (HZ, AVN, SJ), pp. 400–411.
CHICHI-2015-PierceSHJGD #design #human-computer
Expanding and Refining Design and Criticality in HCI (JP, PS, TH, TJ, WWG, CFD), pp. 2083–2092.
ICEISICEIS-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.
SIGIRSIGIR-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.
MoDELSMoDELS-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.
PPDPPPDP-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.
POPLPOPL-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.
POPLPOPL-2015-BouajjaniEEH #concurrent #refinement
Tractable Refinement Checking for Concurrent Objects (AB, ME, CE, JH), pp. 651–662.
POPLPOPL-2015-MelliesZ #refinement
Functors are Type Refinement Systems (PAM, NZ), pp. 3–16.
REFSQREFSQ-2015-LiHBG0M #refinement #requirements #specification
From Stakeholder Requirements to Formal Specifications Through Refinement (FLL, JH, AB, GG, LL, JM), pp. 164–180.
CAVCAV-2015-BeyerW #invariant
Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.
CAVCAV-2015-JainM #refinement
Skipping Refinement (MJ, PM), pp. 103–119.
CAVCAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #refinement #source code
Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.
ISSTAISSTA-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.
LICSLICS-2015-DalmauEHLR #complexity #problem
Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy (VD, LE, PH, BL, AR), pp. 487–498.
LICSLICS-2015-KobayashiL #abstraction #model checking #refinement
Automata-Based Abstraction Refinement for μHORS Model Checking (NK, XL), pp. 713–724.
LICSLICS-2015-KrebsV #bound #logic #refinement
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
VMCAIVMCAI-2015-KafleG #horn clause #refinement #verification
Tree Automata-Based Refinement with Application to Horn Clause Verification (BK, JPG), pp. 209–226.
DATEDATE-2014-IannopolloNTS #contract #design #refinement #scalability
Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
DATEDATE-2014-IliasovASM #design #refinement #safety
Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.
DATEDATE-2014-WelpK #invariant #refinement #verification
Property directed invariant refinement for program verification (TW, AK), pp. 1–6.
FASEFASE-2014-AnjorinSLS #graph grammar #refinement #using
Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.
TACASTACAS-2014-Gibson-RobinsonABR #csp #named #refinement
FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.
SANERCSMR-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.
PLDIPLDI-2014-JagannathanPVPL #compilation #refinement
Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.
PLDIPLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement
On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
SASSAS-2014-MeshmanDVY #memory management #refinement #synthesis
Synthesis of Memory Fences via Refinement Propagation (YM, AMD, MTV, EY), pp. 237–252.
LATALATA-2014-GantyR #order #verification
Ordered Counter-Abstraction — Refinable Subword Relations for Parameterized Verification (PG, AR), pp. 396–408.
FMFM-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.
FMFM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
IFMIFM-2014-MiyazawaC #refinement
Formal Refinement in SysML (AM, AC), pp. 155–170.
IFMIFM-2014-SchneiderTWW #ltl #refinement
Managing LTL Properties in Event-B Refinement (SAS, HT, HW, DMW), pp. 221–237.
ICFPICFP-2014-VazouSJVJ #haskell #refinement
Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.
ICGTICGT-2014-DanosHS #refinement
Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
HCIDHM-2014-MeryS #refinement #semantics
The Semantics of Refinement Chart (DM, NKS), pp. 415–426.
AdaEuropeAdaEurope-2014-LopatkinR #development #fault tolerance
Rigorous Development of Fault-Tolerant Systems through Co-refinement (IL, AR), pp. 11–26.
CIKMCIKM-2014-ZhaoWLZ #framework #mining #refinement #word
A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.
ICPRICPR-2014-CechFM #3d #approach #detection #refinement
A 3D Approach to Facial Landmarks: Detection, Refinement, and Tracking (JC, VF, JM), pp. 2173–2178.
ICPRICPR-2014-MatveevG #approximate #detection #segmentation
Iris Segmentation System Based on Approximate Feature Detection with Subsequent Refinements (IM, KG), pp. 1704–1709.
ICPRICPR-2014-OlssonUE #refinement
Local Refinement for Stereo Regularization (CO, JU, APE), pp. 4056–4061.
ICPRICPR-2014-SaygiliMH14a #artificial reality #hybrid #refinement
Hybrid Kinect Depth Map Refinement for Transparent Objects (GS, LvdM, EAH), pp. 2751–2756.
KDIRKDIR-2014-DomeniconiMPS #category theory #classification
Cross-domain Text Classification through Iterative Refining of Target Categories Representations (GD, GM, RP, CS), pp. 31–42.
QAPLQAPL-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.
POPLPOPL-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.
SACSAC-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.
SACSAC-2014-PimentelCMAS #design #refinement #requirements
From requirements to statecharts via design refinement (JP, JC, JM, KA, VESS), pp. 995–1000.
FSEFSE-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.
CAVCAV-2014-BirgmeierBW #abstraction #induction
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (JB, ARB, GW), pp. 831–848.
IJCARIJCAR-2014-BerdineB #refinement #smt
Computing All Implied Equalities via SMT-Based Partition Refinement (JB, NB), pp. 168–183.
LICSLICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification
Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.
CBSECBSE-2013-KezniklBPGHH #component #design #invariant #refinement
Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.
ECSAECSA-2013-TounsiKK #design pattern #modelling #refinement
Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
ASEASE-2013-CimattiDT #contract #named #refinement
OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.
SIGMODSIGMOD-2013-RoyCFRZ #information management #refinement #taxonomy
Provenance-based dictionary refinement in information extraction (SR, LC, VF, FR, HZ), pp. 457–468.
ESOPESOP-2013-VazouRJ #refinement
Abstract Refinement Types (NV, PMR, RJ), pp. 209–228.
TACASTACAS-2013-WijsE #performance
Efficient Property Preservation Checking of Model Refinements (AW, LE), pp. 565–579.
ICSMEICSM-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.
PLDIPLDI-2013-GordonEG #alias #refinement
Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
ICALPICALP-v2-2013-HartungNNS #analysis #complexity #graph
A Refined Complexity Analysis of Degree Anonymization in Graphs (SH, AN, RN, OS), pp. 594–606.
IFMIFM-2013-Prehofer #behaviour #diagrams #refinement #specification
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.
ICFPICFP-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.
GCMGCM-J-2012-Hoffmann #graph grammar #refinement
Graph Rewriting with Contextual Refinement (BH).
HCIHCI-AS-2013-HarunBON #learning #using
Refining Rules Learning Using Evolutionary PD (AFH, SB, CO, NLMN), pp. 376–385.
ECIRECIR-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.
ICMTICMT-2013-ButtnerEGL #model transformation #refinement
Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
PPDPPPDP-2013-MandelPP #functional #refinement
Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
POPLPOPL-2013-CernyHR #abstraction #refinement
Quantitative abstraction refinement (PC, TAH, AR), pp. 115–128.
RERE-2013-GhezziMSS #on the #requirements #verification
On requirements verification for model refinements (CG, CM, AMS, PS), pp. 62–71.
RERE-2013-KrkaM #behaviour
Distributing refinements of a system-level partial behavior model (IK, NM), pp. 72–81.
ESEC-FSEESEC-FSE-2013-GambiFD #refinement #testing
Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ISSTAISSTA-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.
TAPTAP-2013-AichernigJK #generative #incremental #refinement #testing
Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
ASEASE-2012-Yamamoto #refinement
Property-preserving program refinement (YY), pp. 398–401.
DACDAC-2012-KengV #abstraction #debugging #design #refinement #satisfiability
Path directed abstraction and refinement in SAT-based design debugging (BK, AGV), pp. 947–954.
DATEDATE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2012-Velazquez-Iturbide #algorithm #approach #learning #refinement
Refinement of an experimental approach tocomputer-based, active learning of greedy algorithms (JÁVI), pp. 46–51.
FASEFASE-2012-LongCMM #abstraction #refinement
Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.
FASEFASE-2012-SalayFC #independence #modelling #refinement #using
Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.
FMFM-2012-AartsHKOV #abstraction #automaton #learning #refinement
Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.
FMFM-2012-DormoyKL #component #configuration management #refinement
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (JD, OK, AL), pp. 171–186.
FMFM-2012-SpasicM #algorithm #formal method #incremental #refinement
Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
IFMIFM-2012-BerthingBSTV #development
Refinement-Based Development of Timed Systems (JB, PB, KS, LT, JV), pp. 69–83.
IFMIFM-2012-DiaconescuLPSS #interactive
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (DD, IL, LP, KS, GS), pp. 221–236.
SEFMSEFM-2012-FilhoO #implementation #refinement
Implementing Tactics of Refinement in CRefine (MCF, MVMO), pp. 342–351.
ICGTICGT-2012-Lowe #algebra #framework #graph grammar #graph transformation
Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
ICPRICPR-2012-JiS #clustering #robust #segmentation
Robust motion segmentation via refined sparse subspace clustering (HJ, FS), pp. 1546–1549.
ICPRICPR-2012-JungN #modelling #refinement
Model-based feature refinement by ellipsoidal face tracking (SUJ, MSN), pp. 1209–1212.
ICPRICPR-2012-YamasakiC #classification #recognition #refinement
Confidence-assisted classification result refinement for object recognition featuring TopN-Exemplar-SVM (TY, TC), pp. 1783–1786.
ICPRICPR-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.
SEKESEKE-2012-Cao #logic #refinement
Modal ZIA, Modal Refinement Relation and Logical Characterization (ZC), pp. 525–530.
SIGIRSIGIR-2012-MahdabiAKC #automation #concept #predict #query #refinement #using
Automatic refinement of patent queries using concept importance predictors (PM, LA, MK, FC), pp. 505–514.
ECMFAECMFA-2012-RiekeS #model transformation #refinement #specification
Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.
POPLPOPL-2012-ChughRJ #logic #type system
Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.
SACSAC-2012-AristizabalBVP #refinement #similarity
Partition refinement for bisimilarity in CCP (AA, FB, FDV, LFP), pp. 88–93.
ICSEICSE-2012-LuciaLJB #refinement
Active refinement of clone anomaly reports (L, DL, LJ, AB), pp. 397–407.
ICSEICSE-2012-SegallT #combinator #interactive #refinement #testing
Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.
CAVCAV-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.
CAVCAV-2012-KomuravelliPC #abstraction #probability #refinement
Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.
CSLCSL-2012-ChatterjeeCK #algorithm #performance #refinement
Faster Algorithms for Alternating Refinement Relations (KC, SC, PK), pp. 167–182.
ICSTICST-2012-SalayCG #towards #verification
Towards a Methodology for Verifying Partial Model Refinements (RS, MC, JG), pp. 938–945.
ICSTSAT-2012-JanotaKMC #refinement
Solving QBF with Counterexample Guided Refinement (MJ, WK, JMS, EMC), pp. 114–128.
CBSECBSE-2011-LevequeS #component #modelling
Refining extra-functional property values in hierarchical component models (TL, SS), pp. 83–92.
HTHT-2011-PeraN #community #refinement
A community question-answering refinement system (MSP, YKN), pp. 251–260.
SIGMODSIGMOD-2011-AlexeCKT #design
Designing and refining schema mappings via data examples (BA, BtC, PGK, WCT), pp. 133–144.
VLDBVLDB-2011-AlexeCKT #design #interactive #named #refinement
EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples (BA, BtC, PGK, WCT), pp. 1414–1417.
FoSSaCSFoSSaCS-2011-AtkeyJG #induction #question #refinement
When Is a Type Refinement an Inductive Type? (RA, PJ, NG), pp. 72–87.
PLDIPLDI-2011-LiangN #abstraction #refinement #scalability
Scaling abstraction refinement via pruning (PL, MN), pp. 590–601.
SASSAS-2011-AvniK #abstraction #framework #query
An Abstraction-Refinement Framework for Trigger Querying (GA, OK), pp. 263–279.
IFMIFM-J-2009-SchneiderT11 #csp #interface #refinement
Changing system interfaces consistently: A new refinement strategy for CSP||B (SS, HT), pp. 837–860.
FMFM-2011-ChenLW #communication #process #refinement
Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
FMFM-2011-MeryMT #algorithm #verification
Refinement-Based Verification of Local Synchronization Algorithms (DM, MM, MT), pp. 338–352.
FMFM-2011-QinLCH #automation #specification #verification
Automatically Refining Partial Specifications for Program Verification (SQ, CL, WNC, GH), pp. 369–385.
CIKMCIKM-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.
CIKMCIKM-2011-BoimMN #collaboration #recommendation #refinement
Diversification and refinement in collaborative filtering recommender (RB, TM, SN), pp. 739–744.
KDDKDD-2011-SnowsillFBC #question
Refining causality: who copied from whom? (TMS, NF, TDB, NC), pp. 466–474.
KEODKEOD-2011-OkumuraH #concept #using
A Refining Method of Obtained Attributes to Characterize Undefined Concepts using Search Engine (NO, YH), pp. 493–497.
ECOOPECOOP-2011-BaltopoulosBG #database #maintenance #refinement
Maintaining Database Integrity with Refinement Types (IGB, JB, ADG), pp. 484–509.
POPLPOPL-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.
POPLPOPL-2011-TuronW #concurrent #logic
A separation logic for refining concurrent objects (AJT, MW), pp. 247–258.
ESEC-FSEESEC-FSE-2011-Baluda #abstraction #automation #refinement #testing
Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.
ICLPICLP-2011-AlrajehKRU #approach #induction #refinement
An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.
ISSTAISSTA-2011-ShahbazSE #component #embedded #refinement #specification
Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
RTARTA-2011-Roux #dependence #higher-order #refinement
Refinement Types as Higher-Order Dependency Pairs (CR), pp. 299–312.
VMCAIVMCAI-2011-BardinHV #context-free grammar #re-engineering #source code
Refinement-Based CFG Reconstruction from Unstructured Programs (SB, PH, FV), pp. 54–69.
VMCAIVMCAI-2011-HowarSM #abstraction #automation #automaton #learning #refinement
Automata Learning with Automated Alphabet Abstraction Refinement (FH, BS, MM), pp. 263–277.
DATEDATE-2010-AnastasiaA #energy #image #refinement #scheduling #trade-off
Scheduling and energy-distortion tradeoffs with operational refinement of image processing (DA, YA), pp. 1719–1724.
DATEDATE-2010-BeckerGF0PX #design #refinement
RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.
DATEDATE-2010-HsuYC #architecture #framework #refinement
An accurate system architecture refinement methodology with mixed abstraction-level virtual platform (ZMH, JCY, IYC), pp. 568–573.
DATEDATE-2010-TraubSKB #network
Scenario extraction for a refined timing-analysis of automotive network topologies (MT, TS, OK, JB), pp. 81–86.
VLDBVLDB-2010-LiuCCJR #automation #information management #refinement
Automatic Rule Refinement for Information Extraction (BL, LC, VC, HVJ, FR), pp. 588–597.
FASEFASE-2010-BeyerHTZ #analysis #refinement
Shape Refinement through Explicit Heap Analysis (DB, TAH, GT, DZ), pp. 263–277.
TACASTACAS-2010-BauerMSH #on the #refinement
On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.
TACASTACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement
PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
WCREWCRE-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.
SASSAS-2010-MalkisPR #abstraction #refinement #thread
Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.
SEFMSEFM-2010-GoldsmithC #graph
Refinement-Friendly Bigraphs and Spygraphs (MG, SC), pp. 203–207.
SEFMSEFM-2010-KatzK #query #refinement #specification
User Queries for Specification Refinement Treating Shared Aspect Join Points (EK, SK), pp. 73–82.
ICEISICEIS-AIDSS-2010-UrbanoRO #assessment
Refining the Trustworthiness Assessment of Suppliers through Extraction of Stereotypes (JU, APR, ECO), pp. 85–92.
CIKMCIKM-2010-HuangSN #graph #query #refinement #using #word
Query model refinement using word graphs (YH, LS, JYN), pp. 1453–1456.
ICPRICPR-2010-DaubneyX #3d #image #refinement #using
Estimating 3D Human Pose from Single Images Using Iterative Refinement of the Prior (BD, XX), pp. 3440–3443.
ICPRICPR-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.
ICPRICPR-2010-KocamazR #automation #refinement
Automatic Refinement of Foreground Regions for Robot Trail Following (MKK, CR), pp. 4077–4080.
ICPRICPR-2010-SukF
Refined Morphological Methods of Moment Computation (TS, JF), pp. 966–970.
SEKESEKE-2010-Cao #automaton #interface #refinement
Refinement Checking for Interface Automata with Z Notation (ZC), pp. 399–404.
SACSAC-2010-DirgahayuQS #design #interactive #refinement
Interaction refinement in the design of business collaborations (TD, DACQ, MvS), pp. 86–93.
SACSAC-2010-WangWZ #component #modelling #refinement
Refinement of models of software components (ZW, HW, NZ), pp. 2311–2318.
FSEFSE-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.
CAVCAV-2010-PulinaT #abstraction #approach #network #verification
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks (LP, AT), pp. 243–257.
DACDAC-2009-NanshiS #abstraction #constraints #refinement
Constraints in one-to-many concretization for abstraction refinement (KN, FS), pp. 569–574.
DATEDATE-2009-PurandareWK #abstraction #refinement #using
Strengthening properties using abstraction refinement (MP, TW, DK), pp. 1692–1697.
ICDARICDAR-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.
ITiCSEITiCSE-2009-Impagliazzo #metric #performance #source code
Graduate attributes and performance measures: refinements in assessing programs (JI), p. 370.
FASEFASE-2009-JurackLMTW #diagrams #process
Object Flow Definition for Refined Activity Diagrams (SJ, LL, KM, GT, GW), pp. 49–63.
ICSMEICSM-2009-ShternT #clustering #evaluation #using
Refining clustering evaluation using structure indicators (MS, VT), pp. 297–305.
MSRMSR-2009-HattoriL #mining
Mining the history of synchronous changes to refine code ownership (LH, ML), pp. 141–150.
PLDIPLDI-2009-GulwaniJK #analysis #bound #control flow #invariant #refinement
Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.
SASSAS-2009-HeizmannHP #abstraction #refinement
Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.
SASSAS-2009-SeghirPW #abstraction #array #quantifier #refinement
Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.
CIAACIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement
Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.
LATALATA-2009-BertrandPR #consistency #refinement #specification
Refinement and Consistency of Timed Modal Specifications (NB, SP, JBR), pp. 152–163.
FMFM-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.
FMFM-2009-LiuCLS #model checking #refinement
Model Checking Linearizability via Refinement (YL, WC, YAL, JS), pp. 321–337.
FMFM-2009-McIverM #case study #composition #refinement #security
Sums and Lovers: Case Studies in Security, Compositionality and Refinement (AM, CCM), pp. 289–304.
FMFM-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.
FMFM-2009-WalkinshawDG #modelling #refinement #testing
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing (NW, JD, QG), pp. 305–320.
IFMIFM-2009-BoitenD #concurrent #modelling #refinement #relational
Modelling Divergence in Relational Concurrent Refinement (EAB, JD), pp. 183–199.
IFMIFM-2009-SchneiderT #csp #interface #refinement
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (SS, HT), pp. 103–117.
SEFMSEFM-2009-KawamataSIH #refinement #specification
Specifying and Checking Refinement Relationships in VDM++ (YK, CS, FI, SH), pp. 220–227.
SEFMSEFM-2009-MartinsMB #refinement
Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.
ECIRECIR-2009-PetkovaCD #keyword #query #retrieval #xml
Refining Keyword Queries for XML Retrieval by Combining Content and Structure (DP, WBC, YD), pp. 662–669.
KDDKDD-2009-MaunzHK #graph #mining #refinement #scalability #using
Large-scale graph mining using backbone refinement classes (AM, CH, SK), pp. 617–626.
KEODKEOD-2009-GudasL #knowledge-based #refinement
Knowledge-based Refinement of Business Management Functions (SG, AL), pp. 435–442.
SEKESEKE-2009-KongLLYW #feedback #refinement #traceability
A Requirement Traceability Refinement Method Based on Relevance Feedback (LK, JL, YL, YY, QW), pp. 37–42.
SIGIRSIGIR-2009-BennettN #classification #scalability #taxonomy
Refined experts: improving classification in large taxonomies (PNB, NN), pp. 11–18.
ECMFAECMDA-FA-2009-HeidenreichJKSW #modelling #refinement #syntax
Derivation and Refinement of Textual Syntax for Models (FH, JJ, SK, MS, CW), pp. 114–129.
LOPSTRLOPSTR-2009-Nishimura #exception #logic
Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.
SACSAC-2009-AbreuMSG #fault #locality #ranking
Refining spectrum-based fault localization rankings (RA, WM, MS, AJCvG), pp. 409–414.
ESEC-FSEESEC-FSE-2009-MaiaKUM #modelling #probability #refinement #towards #using
Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.
ICSEICSE-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.
CADECADE-2009-ZhangHD #calculus
A Refined Resolution Calculus for CTL (LZ, UH, CD), pp. 245–260.
TLCATLCA-2009-LovasP #proving #refinement
Refinement Types as Proof Irrelevance (WL, FP), pp. 157–171.
VMCAIVMCAI-2009-KattenbeltKNP #abstraction #probability #refinement
Abstraction Refinement for Probabilistic Software (MK, MZK, GN, DP), pp. 182–197.
ASEASE-2008-HartKGCL #abstraction #proving #refinement
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.
ASEASE-2008-PradellaMP #bound #realtime #satisfiability #specification
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking (MP, AM, PSP), pp. 119–127.
DACDAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DACDAC-2008-GerstlauerPSGNAN #implementation #specification
Specify-explore-refine (SER): from specification to implementation (AG, JP, DS, DG, AN, DA, YN), pp. 586–591.
DACDAC-2008-GorjiaraG #architecture #automation #refinement
Automatic architecture refinement techniques for customizing processing elements (BG, DG), pp. 379–384.
DATEDATE-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.
DATEDATE-2008-KimSTDV #adaptation #constraints #online #refinement
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation (MK, MOS, CLT, ND, NV), pp. 646–651.
DATEDATE-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.
DATEDATE-2008-VasilevskiPBAE #modelling
Modeling and Refining Heterogeneous Systems With SystemC-AMS: Application to WSN (MV, FP, NB, HA, KE), pp. 134–139.
ITiCSEITiCSE-2008-Lauer #taxonomy
Reevaluating and refining the engagement taxonomy (TL), p. 355.
TACASTACAS-2008-ChocklerGY #automation #performance #refinement #using
Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.
TACASTACAS-2008-GulavaniCNR #abstract interpretation #automation
Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.
ICPCICPC-2008-FlemingKSDX #comprehension #concurrent #maintenance
Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software (SDF, EK, REKS, LKD, SX), pp. 23–32.
ICSMEICSM-2008-He #generative #programming #refinement #testing
Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.
SASSAS-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.
FLOPSFLOPS-2008-UnnoK #dependent type #on-demand #refinement
On-Demand Refinement of Dependent Types (HU, NK), pp. 81–96.
FMFM-2008-McCombS #refinement
Introducing Objects through Refinement (TM, GS), pp. 358–373.
FMFM-2008-McIverMG #probability #proving #refinement
Proofs and Refutations for Probabilistic Refinement (AKM, CCM, CG), pp. 100–115.
SEFMSEFM-2008-OliveiraGC #calculus #named #refinement
CRefine: Support for the Circus Refinement Calculus (MO, ACG, CGdC), pp. 281–290.
GT-VMTGT-VMT-2006-AutiliP08 #requirements #towards #visual notation
Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.
ICEISICEIS-ISAS1-2008-LanoC #behaviour #refinement #semantics #state machine
Semantics and Refinement of Behavior State Machines (KL, DC), pp. 42–49.
ICPRICPR-2008-DuinP #difference #learning #matrix #on the
On refining dissimilarity matrices for an improved NN learning (RPWD, EP), pp. 1–4.
ICPRICPR-2008-JunejoF08b
Refining PTZ camera calibration (INJ, HF), pp. 1–4.
ICPRICPR-2008-RysavyFEO #classification #random #segmentation
Classifiability criteria for refining of random walks segmentation (SR, AF, RE, KO), pp. 1–4.
ICPRICPR-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.
SIGIRSIGIR-2008-GuoXLC #query #refinement
A unified and discriminative model for query refinement (JG, GX, HL, XC), pp. 379–386.
SIGIRSIGIR-2008-SiferL
Refining search results with facet landscapes (MS, JL), p. 881.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
GPCEGPCE-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.
SACSAC-2008-DingMH #approach #refinement #specification #using
An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.
SACSAC-2008-Liu #framework #refinement #requirements
A requirements refinement framework (WL), pp. 658–659.
SACSAC-2008-NishizawaC #java #refinement
A small extension to Java for class refinement (MN, SC), pp. 160–165.
SACSAC-2008-RamosSM #composition #consistency #framework #refinement
Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
SACSAC-2008-StojanovicSM #concept #on the #refinement
On the conceptual tag refinement (NS, LS, JM), pp. 2331–2335.
CAVCAV-2008-BobaruPG #abstraction #automation #reasoning #refinement
Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
MBTMBT-2008-PonsG #approach #lightweight #semantics #validation
A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.
RTARTA-2008-BoichutCHK #abstraction #approximate #refinement
Finer Is Better: Abstraction Refinement for Rewriting Approximations (YB, RC, PCH, OK), pp. 48–62.
FATESTestCom-FATES-2008-FaivreGGT #refinement
Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
VMCAIVMCAI-2008-DSilvaPK #approximate #model checking #refinement
Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.
VMCAIVMCAI-2008-RanzatoRT #abstraction #algorithm #refinement
A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.
DACDAC-2007-YuYBY #clustering #network #recursion
Program Mapping onto Network Processors by Recursive Bipartitioning and Refining (JY, JY, LNB, JY), pp. 805–810.
DATEDATE-2007-BombieriFP #design #functional #incremental #refinement #validation
Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.
DATEDATE-2007-DestroFP #refinement #thread
A smooth refinement flow for co-designing HW and SW threads (PD, FF, GP), pp. 105–110.
DATEDATE-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.
DATEDATE-2007-SafarpourV #abstraction #automation #debugging #design #refinement
Abstraction and refinement techniques in automated design debugging (SS, AGV), pp. 1182–1187.
ESOPESOP-2007-KnowlesF #re-engineering #refinement
Type Reconstruction for General Refinement Types (KLK, CF), pp. 505–519.
TACASTACAS-2007-AmlaM #abstraction #model checking #refinement #satisfiability
Combining Abstraction Refinement and SAT-Based Model Checking (NA, KLM), pp. 405–419.
TACASTACAS-2007-ArmandoBM #abstraction #array #linear #refinement #source code
Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
TACASTACAS-2007-GheorghiuGP #composition #interface #verification
Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.
TACASTACAS-2007-JainKSC #abstraction #named #refinement
VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.
TACASTACAS-2007-SebastianiTV #abstraction #clustering #refinement
Property-Driven Partitioning for Abstraction Refinement (RS, ST, MYV), pp. 389–404.
PASTEPASTE-2007-LeS #analysis #detection
Refining buffer overflow detection via demand-driven path-sensitive analysis (WL, MLS), pp. 63–68.
SASSAS-2007-CousotGR #abstraction
Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.
IFMIFM-2007-DerrickSW #proving #refinement
Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.
SEFMSEFM-2007-KahsaiRS #refinement #testing
Specification-based testing for refinement (TK, MR, BHS), pp. 237–246.
SEFMSEFM-2007-ReevesS #refinement
Feature Refinement (SR, DS), pp. 371–380.
CHICHI-2007-HachetPTG #agile #mobile
“Jump and refine” for rapid pointing on mobile phones (MH, JP, FT, PG), pp. 167–170.
HCIDHM-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.
ICEISICEIS-AIDSS-2007-Novacek #empirical #ontology #refinement #taxonomy
Imprecise Empirical Ontology Refinement — Application to Taxonomy Acquisition (VN), pp. 31–38.
ICEISICEIS-EIS-2007-RychkovaW #automation #refinement #specification #towards #visual notation
Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.
ECIRECIR-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.
MLDMMLDM-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.
SIGIRSIGIR-2007-TanW #categorisation
Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.
SIGIRSIGIR-2007-WhiteCC #pseudo #query #refinement
Comparing query logs and pseudo-relevance feedbackfor web-search query refinement (RWW, CLAC, SC), pp. 831–832.
TOOLSTOOLS-EUROPE-2007-ApelKLS #aspect-oriented #refinement
Aspect Refinement — Unifying AOP and Stepwise Refinement (SA, CK, TL, GS), pp. 13–33.
LOPSTRLOPSTR-2007-BossiPR #algebra #process #refinement #security
Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.
PADLPADL-2007-PodelskiR #abstraction #logic #model checking #named #refinement
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement (AP, AR), pp. 245–259.
AMOSTAMOST-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.
CSLCSL-2007-RabinovichT #logic #problem
Logical Refinements of Church’s Problem (AR, WT), pp. 69–83.
TAPTAP-2007-GallRT #execution #refinement #symbolic computation #testing
Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
TLCATLCA-2007-Boulme #calculus #refinement
Intuitionistic Refinement Calculus (SB), pp. 54–69.
VMCAIVMCAI-2007-KlaedtkeRS #abstraction #hybrid #refinement #verification
Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.
ASEASE-2006-Ireland #automation #logic #refinement #towards
Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.
DACDAC-2006-LeeWA #analysis #statistics
Refined statistical static timing analysis through (BNL, LCW, MSA), pp. 149–154.
DACDAC-2006-NanshiS #simulation
Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.
DATEDATE-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.
DATEDATE-2006-FrehseKR #abstraction #refinement #using #verification
Verifying analog oscillator circuits using forward/backward abstraction refinement (GF, BHK, RAR), pp. 257–262.
TACASTACAS-2006-EsparzaKS #abstraction #automaton #refinement
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
TACASTACAS-2006-GulavaniR #abstract interpretation #refinement
Counterexample Driven Refinement for Abstract Interpretation (BSG, SKR), pp. 474–488.
TACASTACAS-2006-JhalaM #approach #refinement
A Practical and Complete Approach to Predicate Refinement (RJ, KLM), pp. 459–473.
TACASTACAS-2006-KonigK #abstraction #analysis #graph transformation #refinement
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.
TACASTACAS-2006-LiS #abstraction #bound #model checking #performance #refinement
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking (BL, FS), pp. 227–241.
PLDIPLDI-2006-SridharanB #analysis #java #points-to
Refinement-based context-sensitive points-to analysis for Java (MS, RB), pp. 387–400.
SASSAS-2006-Arnold #analysis #logic #refinement #using
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.
SASSAS-2006-DhurjatiDY #analysis #data flow #refinement
Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
CIAACIAA-2006-Tischler #automaton #finite #random #refinement #video
Refinement of Near Random Access Video Coding with Weighted Finite Automata (GT), pp. 46–57.
ICALPICALP-v2-2006-AlurCZ #refinement
Preserving Secrecy Under Refinement (RA, PC, SZ), pp. 107–118.
FMFM-2006-McCombS #composition #refinement
Compositional Class Refinement in Object-Z (TM, GS), pp. 205–220.
FMFM-2006-McIver #analysis #model checking #probability #refinement
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems (AM), pp. 131–146.
FMFM-2006-OliveiraR #refinement
Pointfree Factorization of Operation Refinement (JNO, CJR), pp. 236–251.
SEFMSEFM-2006-BanachD
Filtering Retrenchments into Refinements (RB, JD), pp. 60–69.
SFMSFM-2006-Manolios #proving #refinement #theorem proving
Refinement and Theorem Proving (PM), pp. 176–210.
ICEISICEIS-ISAS-2006-ShishkovQ #modelling #process #refinement #using
Refinement of SDBC Business Process Models Using ISDL (BS, DACQ), pp. 61–69.
ICEISICEIS-J-2006-ShishkovQ06a #modelling #process #refinement
Combining SDBC and ISDL in the Modeling and Refinement of Business Processes (BS, DACQ), pp. 322–335.
CIKMCIKM-2006-WangC #performance #permutation #query #sequence
Improving query I/O performance by permuting and refining block request sequences (XW, MC), pp. 652–661.
ICPRICPR-v1-2006-JungLYK #refinement
Radial Distortion Refinement by Inverse Mapping-Based Extrapolation (HGJ, YHL, PJY, JK), pp. 675–678.
ICPRICPR-v2-2006-Sternby #clustering #refinement
Class Dependent Cluster Refinement (JS), pp. 833–836.
KDDKDD-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.
SIGIRSIGIR-2006-HuangZL #learning #taxonomy
Refining hierarchical taxonomy structure via semi-supervised learning (RH, ZZ, WL), pp. 653–654.
MODELSMoDELS-2006-PonsG #ocl #specification #verification
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
MODELSMoDELS-2006-PonsG #ocl #specification #verification
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
ICSEICSE-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.
CAVCAV-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.
CAVCAV-2006-RoordaC #abstraction #evaluation #refinement #satisfiability
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (JWR, KC), pp. 175–189.
CAVCAV-2006-TzorefG #automation #detection #evaluation #refinement
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (RT, OG), pp. 190–204.
FATESFATES-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.
LICSLICS-2006-BallK #abstraction #framework #multi
An Abstraction-Refinement Framework for Multi-Agent Systems (TB, OK), pp. 379–388.
CASECASE-2005-ChiangF #problem #scheduling
An iterative refining mechanism for general job shop scheduling problems (TCC, LCF), pp. 203–208.
DACDAC-2005-JainKSC #abstraction #refinement #verification #word
Word level predicate abstraction and refinement for verifying RTL verilog (HJ, DK, NS, EMC), pp. 445–450.
DATEDATE-2005-AhmedM #design #embedded #performance #refinement
Design Refinement for Efficient Cluste ing of Objects in Embedded Systems (WA, DM), pp. 718–719.
DATEDATE-2005-ManoliosS #modelling #performance #refinement #verification
Refinement Maps for Efficient Verification of Processor Models (PM, SKS), pp. 1304–1309.
FASEFASE-2005-EgyedSW #maintenance #refinement #uml
Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.
FoSSaCSFoSSaCS-2005-SchaeferV #component #composition #refinement
Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.
TACASTACAS-2005-IsobeR #csp #proving #refinement #theorem proving
A Generic Theorem Prover of CSP Refinement (YI, MR), pp. 108–123.
TACASTACAS-2005-RanzatoT #abstract interpretation #algorithm #refinement
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.
CSMRCSMR-2005-WardZH #abstraction #refinement #semantics #slicing
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
PLDIPLDI-2005-ElmasTQ #concurrent #detection #named #runtime #source code #verification
VYRD: verifYing concurrent programs by runtime refinement-violation detection (TE, ST, SQ), pp. 27–37.
SASSAS-2005-CookPR #abstraction #refinement #termination
Abstraction Refinement for Termination (BC, AP, AR), pp. 87–101.
SASSAS-2005-DimovskiGL #approach #game studies #refinement #semantics
Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.
SEFMSEFM-2005-CarterMM #developer #refinement
Software Refinement with Perfect Developer (GC, RM, JMM), pp. 363–373.
SEFMSEFM-2005-SunW #process #realtime #refinement #semantics
Operational Semantics for Real-Time Processes with Action Refinement (XS, JW), pp. 54–63.
EDOCEDOC-2005-AlmeidaDPQS #design #interactive #modelling #refinement
Abstract Interactions and Interaction Refinement in Model-Driven Design (JPAA, RMD, LFP, DACQ, MvS), pp. 273–286.
CIKMCIKM-2005-TanCGWX #approach #categorisation #novel #refinement
A novel refinement approach for text categorization (ST, XC, MG, BW, HX), pp. 469–476.
SIGIRSIGIR-2005-TanCWXGG #classification #using
Using dragpushing to refine centroid text classifiers (ST, XC, BW, HX, MG, YG), pp. 653–654.
RERE-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-FSEESEC-FSE-2005-Barbosa #architecture #calculus #component #refinement
A refinement calculus for software components and architectures (MAB), pp. 377–380.
SPLCSPLC-2005-DiazTA #process
Supporting Production Strategies as Refinements of the Production Process (OD, ST, FIA), pp. 210–221.
CAVCAV-2005-GuptaS #abstraction #bound #model checking #refinement
Abstraction Refinement for Bounded Model Checking (AG, OS), pp. 112–124.
CAVCAV-2005-LoginovRS #abstraction #induction #learning #refinement
Abstraction Refinement via Inductive Learning (AL, TWR, SS), pp. 519–533.
CAVCAV-2005-PasareanuPV #model checking #refinement
Concrete Model Checking with Abstract Matching and Refinement (CSP, RP, WV), pp. 52–66.
ICTSSTestCom-2005-BijlRT #consistency #refinement #testing
Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.
VMCAIVMCAI-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.
WICSAWICSA-2004-BaresiHTV #architecture #refinement
Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.
WICSAWICSA-2004-EnglebertV #architecture #refinement
Attribute-Based Refinement of Software Architectures (VE, FV), pp. 301–304.
DACDAC-2004-MangH #abstraction #analysis #refinement
Abstraction refinement by controllability and cooperativeness analysis (FYCM, PHH), pp. 224–229.
DACDAC-2004-WangJHS #bound #model checking #satisfiability
Refining the SAT decision ordering for bounded model checking (CW, HJ, GDH, FS), pp. 535–538.
DATEDATE-DF-2004-KruppMO #model checking #refinement
Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
DATEDATE-DF-2004-SchubertHGAN #design #evaluation
Evaluation of a Refinement-Driven SystemC™-Based Design Flow (TS, JH, JG, JEA, WN), pp. 262–267.
DATEDATE-v1-2004-BjesseK #abstraction #debugging #refinement #using
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs (PB, JHK), pp. 156–161.
DATEDATE-v1-2004-DensmoreRS #architecture #development #framework #refinement
Microarchitecture Development via Metropolis Successive Platform Refinement (DD, SR, ALSV), pp. 346–351.
DATEDATE-v1-2004-GrimmHW #refinement
Refinement of Mixed-Signal Systems with Affine Arithmetic (CG, WH, KW), pp. 372–377.
DATEDATE-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.
FASEFASE-2004-Egyed #adaptation #consistency #diagrams #evolution #refinement
Consistent Adaptation and Evolution of Class Diagrams during Refinement (AE), pp. 37–53.
TACASTACAS-2004-BallCDR #abstraction #approximate
Refining Approximations in Software Predicate Abstraction (TB, BC, SD, SKR), pp. 388–403.
TACASTACAS-2004-ShohamG #abstraction
Monotonic Abstraction-Refinement for CTL (SS, OG), pp. 546–560.
SASSAS-2004-Preda #evaluation #refinement
Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.
IFMIFM-2004-BeckertS #data type #integer #refinement #verification
Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.
SEFMSEFM-2004-KammullerS #heuristic #refinement
Heuristics for Refinement Relations (FK, JWS), pp. 292–299.
SEFMSEFM-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.
SEFMSEFM-2004-OliveiraXC #refinement
Refine and Gabriel: Support for Refinement and Tactics (MO, MX, AC), pp. 310–319.
SEFMSEFM-2004-WuY #ambiguity #concurrent #refinement #towards
Towards Action Refinement for Concurrent Systems with Causal Ambiguity (JW, HY), pp. 300–309.
CIKMCIKM-2004-MaZMS #framework #learning #query #similarity #using
A framework for refining similarity queries using learning techniques (YM, QZ, SM, DYS), pp. 158–159.
ICPRICPR-v3-2004-PetrovicC #recognition #refinement
Vehicle Type Recognition with Match Refinement (VSP, TFC), pp. 95–98.
SIGIRSIGIR-2004-KimCK #dependence #documentation #using
Refining term weights of documents using term dependencies (HSK, IC, MK), pp. 552–553.
UMLUML-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.
LOPSTRPDCL-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.
SACSAC-2004-WangDK #refinement
Guiding motif discovery by iterative pattern refinement (ZW, MMD, SK), pp. 162–166.
FSEFSE-2004-ZhangYF #analysis
Refining code-design mapping with flow analysis (XZ, MY, JHEFL), pp. 231–240.
ICSEICSE-2004-TanAC #heuristic #refinement
Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.
CAVCAV-2004-BallCLZ #abstraction #automation #named #proving #refinement #theorem proving
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement (TB, BC, SKL, LZ), pp. 457–461.
CAVCAV-2004-ChangBD #design #interface #refinement #using #verification
Using Interface Refinement to Integrate Formal Verification into the Design Cycle (JC, SB, DLD), pp. 122–134.
ICLPICLP-2004-DuckSBH #constraints #semantics
The Refined Operational Semantics of Constraint Handling Rules (GJD, PJS, MJGdlB, CH), pp. 90–104.
ICLPICLP-2004-KundajiS #calculus #development #refinement #semantics
Development of Semantic Debuggers Based on Refinement Calculus (RNK, RKS), pp. 460–461.
DACDAC-2003-AbdiSG #automation #communication #design #refinement
Automatic communication refinement for system level design (SA, DS, DG), pp. 300–305.
DACDAC-2003-AgarwalBZV #bound #refinement #statistics
Computation and Refinement of Statistical Bounds on Circuit Delay (AA, DB, VZ, SBKV), pp. 348–353.
DACDAC-2003-PimentelE #communication #refinement
An IDF-based trace transformation method for communication refinement (ADP, CE), pp. 402–407.
DATEDATE-2003-CoppolaCGM #communication #named #refinement
IPSIM: SystemC 3.0 Enhancements for Communication Refinement (MC, SC, MDG, GM), pp. 20106–20111.
DATEDATE-2003-GrimmMHW #refinement
Refinement of Mixed-Signal Systems with SystemC (CG, CM, WH, KW), pp. 11170–11171.
DATEDATE-2003-TalpinGSGD #design
Polychrony for Refinement-Based Design (JPT, PLG, SKS, RKG, FD), pp. 11172–11173.
HTHT-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.
FASEFASE-2003-MerzWZ #logic #mobile #refinement #specification
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.
TACASTACAS-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.
TACASTACAS-2003-GlusmanKMFV #abstraction #evaluation #industrial #multi #refinement
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.
CSMRCSMR-2003-MoeCP #distributed #refinement #using
Using Observation and Refinement to Improve Distributed Systems Test (JM, DAC, MP), pp. 153–159.
FMFME-2003-KouchnarenkoL #component #refinement #verification
Refinement and Verification of Synchronized Component-Based Systems (OK, AL), pp. 341–358.
FMFME-2003-MammarL #automation #database #design #proving #refinement
Design of an Automatic Prover Dedicated to the Refinement of Database Applications (AM, RL), pp. 834–854.
SEFMSEFM-2003-BossiFPR #data flow #refinement #security
Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.
ICFPICFP-2003-MandelbaumWH #effectiveness
An effective theory of type refinements (YM, DW, RH), pp. 213–225.
AGTIVEAGTIVE-2003-HaaseMBG03a #architecture #integration #named #refinement
Fire3: Architecture Refinement for A-posteriori Integration (TH, OM, BB, FHG), pp. 461–467.
CHICHI-2003-AccotZ #modelling
Refining Fitts’ law models for bivariate pointing (JA, SZ), pp. 193–200.
CAiSECAiSE-2003-Stojanovic #on the #ontology #query #refinement
On the Query Refinement in the Ontology-Based Searching for Information (NS), pp. 324–339.
SIGIRSIGIR-2003-Anick #feedback #refinement #using #web
Using terminological feedback for web search refinement: a log-based study (PGA), pp. 88–95.
UMLUML-2003-HaugenS #interactive #named #refinement #semantics
STAIRS — Steps to Analyze Interactions with Refinement Semantics (ØH, KS), pp. 388–402.
ECOOPECOOP-2003-BorbaSC #algebra #object-oriented #programming #refinement
A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.
PPDPPPDP-2003-Escobar
Refining weakly outermost-needed rewriting and narrowing (SE), pp. 113–123.
RERE-2003-SenguptaC #modelling #requirements #sequence chart #using
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.
ESEC-FSEESEC-FSE-2003-BatoryLS #multi
Refinements and multi-dimensional separation of concerns (DSB, JL, JNS), pp. 48–57.
ICSEICSE-2003-BatorySR #refinement #scalability
Scaling Step-Wise Refinement (DSB, JNS, AR), pp. 187–197.
CADECADE-2003-Clarke #abstraction #model checking #refinement #satisfiability
SAT-Based Counterexample Guided Abstraction Refinement in Model Checking (EMC), p. 1.
CAVCAV-2003-HenzingerJMQ #abstraction #refinement #thread
Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
CAVCAV-2003-ShohamG #abstraction #framework #game studies
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement (SS, OG), pp. 275–287.
CSLCSL-2003-Gerhardy #analysis #complexity
Refined Complexity Analysis of Cut Elimination (PG), pp. 212–225.
LICSLICS-2003-Buresh-OppenheimP #complexity
The Complexity of Resolution Refinements (JBO, TP), p. 138–?.
VMCAIVMCAI-2003-Majster-CederbaumZF #logic #perspective #refinement
Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.
VMCAIVMCAI-2003-Podelski #abstraction #model checking #refinement
Software Model Checking with Abstraction Refinement (AP), pp. 1–3.
DACDAC-2002-SanderJ #communication #design #refinement
Transformation based communication and clock domain refinement for system design (IS, AJ), pp. 281–286.
TACASTACAS-2002-BallPR #abstraction #model checking #refinement
Relative Completeness of Abstraction Refinement for Software Model Checking (TB, AP, SKR), pp. 158–172.
SASSAS-2002-GallardoMP #ltl #model checking #refinement
Refinement of LTL Formulas for Abstract Model Checking (MdMG, PM, EP), pp. 395–410.
FMFME-2002-CavalcantiN #refinement #simulation
Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
FMFME-2002-Pahl #abstraction #analysis #refinement #using
Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.
FMFME-2002-SampaioWC #refinement
Refinement in Circus (AS, JW, AC), pp. 451–470.
IFMIFM-2002-BoltonD #csp #refinement
Refinement in Object-Z and CSP (CB, JD), pp. 225–244.
IFLIFL-2002-EllmenreichL #named #parallel #programming #refinement
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.
ICMLICML-2002-DietterichBMS #learning #probability #refinement
Action Refinement in Reinforcement Learning by Probability Smoothing (TGD, DB, RLdM, CS), pp. 107–114.
ICMLICML-2002-TeowLNY #approach #fault #feature model
Refining the Wrapper Approach — Smoothed Error Estimates for Feature Selection (LNT, HL, HTN, EY), pp. 626–633.
ICPRICPR-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.
ICPRICPR-v4-2002-SeppH #image #refinement
Featureless 6 DoF Pose Refinement from Stereo Images (WS, GH), pp. 17–20.
KDDKDD-2002-WuPLL #approach #categorisation #refinement
A refinement approach to handling model misfit in text categorization (HW, THP, BL, XL), pp. 207–216.
SIGIRSIGIR-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.
SIGIRSIGIR-2002-LiuGXZ #clustering #documentation #refinement
Document clustering with cluster refinement and model selection capabilities (XL, YG, WX, SZ), pp. 191–198.
LOPSTRLOPSTR-2002-ColvinHHS #higher-order #logic programming #refinement #source code
Refinement of Higher-Order Logic Programs (RC, IJH, DH, PAS), pp. 126–143.
CAVCAV-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.
CAVCAV-2002-ClarkeGKS #abstraction #machine learning #satisfiability #using
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques (EMC, AG, JHK, OS), pp. 265–279.
SATSAT-2002-Clarke #abstraction #logic #model checking #refinement #satisfiability
SAT based abstraction refinement in temporal logic model checking (Keynote Talk) (EC), p. 26.
VMCAIVMCAI-2002-HillS #refinement
A Refinement of the Escape Property (PMH, FS), pp. 154–166.
ASEASE-2001-PavlovicS #behaviour #composition #refinement #specification
Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.
DACDAC-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.
DATEDATE-2001-NicolescuYJ #communication #design #refinement
Mixed-level cosimulation for fine gradual refinement of communication in SoC design (GN, SY, AAJ), pp. 754–759.
FASEFASE-J-1998-PadbergGE01 #refinement #rule-based #safety
Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.
SASSAS-2001-GiacobazziQ #model checking
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking (RG, EQ), pp. 356–373.
FLOPSFLOPS-2001-KamareddineLN #parametricity #using
Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.
ICALPICALP-2001-Furer #linear #refinement
Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations (MF), pp. 322–333.
FMFME-2001-BellegardeDJK #named #refinement
Reformulation: A Way to Combine Dynamic Properties and B Refinement (FB, CD, JJ, OK), pp. 2–19.
FMFME-2001-Jurjens #refinement
Secrecy-Preserving Refinement (JJ), pp. 135–152.
FMFME-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.
AdaEuropeAdaEurope-2001-Tokar #ada #runtime
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
ICMLICML-2001-Eliassi-RadS #approach #information management
A Theory-Refinement Approach to Information Extraction (TER, JWS), pp. 130–137.
TOOLSTOOLS-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.
ICSEICSE-2001-CardoneL #framework #refinement
Comparing Frameworks and Layered Refinement (RC, CL), pp. 285–294.
CAVCAV-2001-AlurW #implementation #network #protocol #refinement #verification
Verifying Network Protocol Implementations by Symbolic Refinement Checking (RA, BYW), pp. 169–181.
ITiCSEITiCSE-2000-BurgosGGMMV #design #refinement #specification
Abstract solution design by specification refinement (JMB, JG, JG, JJM, SM, DV), p. 186.
FASEFASE-2000-BellegardeJK #composition #refinement
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
FASEFASE-2000-KolanoKM #parallel #realtime #refinement
Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.
FoSSaCSFoSSaCS-2000-EngelhardtMM #framework #reasoning #refinement
A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.
FoSSaCSFoSSaCS-2000-HonsellLST #refinement #λ-calculus
Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.
FoSSaCSFoSSaCS-2000-YangR #calculus #on the #refinement #semantics
On the Semantics of Refinement Calculi (HY, USR), pp. 359–374.
PEPMPEPM-2000-LeviS #analysis #linear #refinement
Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.
IFMIFM-2000-DerrickS #csp #refinement
Structural Refinement in Object-Z/CSP (JD, GS), pp. 194–213.
ICMLICML-2000-EspositoFFS #refinement
Ideal Theory Refinement under Object Identity (FE, NF, SF, GS), pp. 263–270.
ICPRICPR-v1-2000-StevensB #comparison #image #refinement
Image Comparison Techniques in the Context of Scene Refinement (MRS, JRB), pp. 1685–1688.
ICPRICPR-v3-2000-CamilleriP #bound #refinement
Spectral Unmixing of Mixed Pixels for Texture Boundary Refinement (KPC, MP), pp. 7096–7099.
ICPRICPR-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.
ICPRICPR-v3-2000-WestT #refinement
Assessing Different Features for Pose Refinement (GAWW, ET), pp. 3687–3690.
TOOLSTOOLS-USA-2000-SmithMSP #component #development
Component-Based Development? Refining the Blueprint (RS, BM, CAS, GP), p. 563–?.
LOPSTRLOPSTR-2000-ColvinHS #composition #logic programming #refinement
Modular Logic Program Refinement (RC, IJH, PAS).
LOPSTRLOPSTR-J-2000-ColvinHS #composition #logic programming #refinement
A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.
GPCESAIG-2000-Batory #architecture #product line
Refinements and Product Line Architectures (DSB), pp. 3–4.
POPLPOPL-2000-AlurG #composition #refinement
Modular Refinement of Hierarchic Reactive Machines (RA, RG), pp. 390–402.
CAVCAV-2000-ClarkeGJLV #abstraction #refinement
Counterexample-Guided Abstraction Refinement (EMC, OG, SJ, YL, HV), pp. 154–169.
WICSAWICSA-1999-CanalPT #architecture #refinement #specification
Specification and Refinement of Dynamic Software Architectures (CC, EP, JMT), pp. 107–126.
ASEASE-1999-Krustev #generative #refinement #testing #using
Software Test Generation Using Refinement Types (DNK), pp. 279–282.
ASEASE-1999-PoppletonB #named #refinement
Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.
DATEDATE-1999-CmarRSVB #design #fixpoint #refinement
A Methodology and Design Environment for DSP ASIC Fixed-Point Refinement (RC, LR, PS, SV, IB), p. 271–?.
SASSAS-1999-HillS #analysis #linear #refinement
Freeness Analysis Through Linear Refinement (PMH, FS), pp. 85–100.
FMFM-v1-1999-Kurki-Suonio #component #interface #refinement #specification
Component and Interface Refinement in Closed-System Specifications (RKS), pp. 134–154.
FMFM-v1-1999-PhilippsR #architecture #refinement
Refinement of Pipe-and-Filter Architectures (JP, BR), pp. 96–115.
FMFM-v1-1999-Rouzaud #calculus #refinement
Interpreting the B-Method in the Refinement Calculus (YR), pp. 411–430.
FMFM-v2-1999-CavalcantiN #object-oriented #refinement #semantics
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
FMFM-v2-1999-DerrickB #refinement
Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.
FMFM-v2-1999-HehnerG #refinement #semantics
Refinement Semantics and Loop Rules (ECRH, AMG), pp. 1497–1510.
IFMIFM-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.
IFMIFM-1999-LanoA #distributed #refinement
Reactive System Refinement of Distributed Systems in B (KL, KA), pp. 415–434.
IFMIFM-1999-Paige #communication #concurrent #refinement #specification #using
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication (RFP), pp. 353–372.
IFMIFM-1999-StoddartD #calculus #modelling #refinement
The Refinement of Event Calculus Models (BS, SD), pp. 151–169.
AGTIVEAGTIVE-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.
UMLUML-1999-Abi-AntounM #architecture #design #refinement
Enabling the Refinement of a Software Architecture into a Design (MAA, NM), pp. 17–31.
TOOLSTOOLS-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.
LOPSTRLOPSTR-1999-Sannella #algebra #development #refinement #specification
Algebraic Specification and Program Development by Stepwise Refinement (DS), pp. 1–9.
CAVCAV-1999-HenzingerQR #refinement
Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.
CSLCSL-1999-Hannay #refinement #specification #system f
Specification Refinement with System F (JEH), pp. 530–545.
CSLCSL-1999-KinoshitaP #call-by #programming language
Data-Refinement for Call-By-Value Programming Languages (YK, JP), pp. 562–576.
DACDAC-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.
SIGMODSIGMOD-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.
FASEFASE-1998-PadbergGE #refinement #rule-based #safety
Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.
FASEFASE-1998-Scholz #calculus #refinement
A Refinement Calculus for Statecharts (PS), pp. 285–301.
FASEFASE-1998-Sucrow #graph grammar #interactive #specification
Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules (BS), pp. 302–317.
FoSSaCSFoSSaCS-1998-Klempien-Hinrichs #refinement
Net Refinement by Pullback Rewriting (RKH), pp. 189–202.
SASSAS-1998-HandjievaT #analysis #clustering #control flow #using
Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.
ICGTTAGT-1998-Grosse-RhodePS #graph transformation
Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
AdaSIGAda-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.
CIKMCIKM-1998-SchmittT #approach #incremental #integration
An Incremental Approach to Schema Integration by Refining Extensional Relationships (IS, CT), pp. 322–330.
ICMLICML-1998-BradleyF #clustering
Refining Initial Points for K-Means Clustering (PSB, UMF), pp. 91–99.
ICMLICML-1998-RamachandranM #network #refinement
Theory Refinement of Bayesian Networks with Hidden Variables (SR, RJM), pp. 454–462.
KDDKDD-1998-FayyadRB #algorithm #clustering #refinement
Initialization of Iterative Refinement Clustering Algorithms (UMF, CR, PSB), pp. 194–198.
PPDPALP-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.
ASEASE-1997-DimitrakosM #refinement
Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.
ASEASE-1997-MaharajB #on the #refinement #specification #verification
On the Verification of VDM Specification and Refinement with PVS (SM, JB), p. 280–?.
ASEASE-1997-PautlerWQ #simulation #specification
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications (DP, SW, AQ), p. 117–?.
DACDAC-1997-XuGC #clustering #refinement
Cluster Refinement for Block Placement (JX, PNG, CKC), pp. 762–765.
TACASTACAS-1997-SandnerM #proving #refinement #theorem proving
Theorem Prover Support for the Refinement of Stream Processing Functions (RS, OM), pp. 351–365.
ICSMEICSM-2000-YoungerBL #concurrent #refinement #source code
A Formal Transformation and Refinement Method for Concurrent Programs (EJY, KHB, ZL), p. 287–?.
ICALPICALP-1997-GiacobazziR #abstract domain
Refining and Compressing Abstract Domains (RG, FR), pp. 771–781.
FMFME-1997-MikhajlovaS #interface #object-oriented #refinement #source code
Class Refinement and Interface Refinement in Object-Oriented Programs (AM, ES), pp. 82–101.
FMFME-1997-Stringer-CalvertSW #case study #refinement #using
Using PVS to Prove a Z Refinement: A Case Study (DWJSC, SS, IW), pp. 573–588.
SIGIRSIGIR-1997-VelezWSG #effectiveness #performance #query #refinement
Fast and Effective Query Refinement (BV, RW, MAS, DKG), pp. 6–15.
ESECESEC-FSE-1997-BodikGS #data flow #using
Refining Data Flow Information Using Infeasible Paths (RB, RG, MLS), pp. 361–377.
CAVCAV-1997-Klarlund #algorithm #online #refinement
An n log n Algorithm for Online BDD Refinement (NK), pp. 107–118.
CAVCAV-1997-McMillan #composition #design #hardware #refinement
A Compositional Rule for Hardware Design Refinement (KLM), pp. 24–35.
SASSAS-1996-CoppoDG #program analysis #refinement
Refinement Types for Program Analysis (MC, FD, PG), pp. 143–158.
FMFME-1996-BoitenDBS #consistency #refinement #specification
Consistency and Refinement for Partial Specification in Z (EAB, JD, HB, MS), pp. 287–306.
FMFME-1996-FidgeUKH #realtime #refinement #scheduling
Integrating Real-Time Scheduling Theory and Program Refinement (CJF, MU, PK, IJH), pp. 327–346.
FMFME-1996-WaldenS
Refining Action Systems within B-Tool (MAW, KS), pp. 85–104.
AdaTRI-Ada-1996-BailesBCS #ada #towards
Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion (PAB, PB, MC, EJS), pp. 193–204.
ICMLICML-1996-CarbonaraS #knowledge base #performance #refinement
Improving the Efficiency of Knowledge Base Refinement (LC, DHS), pp. 78–86.
ICPRICPR-1996-West #refinement #verification
Assessing feature importance for verification and pose refinement (GAWW), pp. 30–34.
KRKR-1996-KambhampatiY #constraints #on the #refinement
On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.
LOPSTRLOPSTR-1996-HayesNS #logic programming #source code #specification
Refining Specifications to Logic Programs (IJH, RGN, PAS), pp. 1–19.
FSEFSE-1996-DarimontL #refinement #requirements
Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.
CAVCAV-1996-Gribomont #reduction #refinement #theorem
Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.
CAVCAV-1996-PistoreS #algorithm #refinement #π-calculus
A Partition Refinement Algorithm for the π-Calculus (Extended Abstract) (MP, DS), pp. 38–49.
ICDARICDAR-v2-1995-CongedoDIP #recognition
A structural method with local refining for handwritten character recognition (GC, GD, SI, GP), pp. 853–856.
ICMLICML-1995-CrawH #network #refinement
Protein Folding: Symbolic Refinement Competes with Neural Networks (SC, PH), pp. 133–141.
LOPSTRLOPSTR-1995-SemeraroEM #datalog #refinement #source code
Ideal Refinement of Datalog Programs (GS, FE, DM), pp. 120–136.
FSEFSE-1995-GuptaS #approach #hybrid #information management #slicing #using
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
HPDCHPDC-1995-JacobL #algorithm #performance #recursion #refinement
A Spanning Tree Based Recursive Refinement Algorithm for Fast Task Mapping (JCJ, SYL), pp. 58–65.
TLCATLCA-1995-Kondoh #data type #equation
Basic Properties of Data Types with Inequational Refinements (HK), pp. 279–296.
DATEEDAC-1994-GajskiVN #refinement
A System-Design Methodology: Executable-Specification Refinement (DG, FV, SN), pp. 458–463.
DATEEDAC-1994-KimCL #refinement #synthesis #testing
A Stepwise Refinement Data Path Synthesis Procedure for Easy Testability (TK, KSC, CLL), pp. 586–590.
DATEEDAC-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.
ASEKBSE-1994-KotikM #assurance #quality
Application of REFINE Language ToolsTM to Software Quality Assurance (GK, LM), p. 4.
FMFME-1994-Elvang-GoranssonF #refinement
An Extended VDM Refinement Relation (MEG, REF), pp. 175–189.
FMFME-1994-ErasmyS #case study #refinement #using
Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.
FMFME-1994-Naftalin #design #refinement
Informal Strategies in Design by Refinement (MN), pp. 401–420.
FMFME-1994-PaechR #automaton #behaviour #concept #modelling #refinement
A new Concept of Refinement used for Behaviour Modelling with Automata (BP, BR), pp. 154–174.
FMFME-1994-Seidel #case study #refinement #specification
Case Study: Specification and Refinement of the PI-Bus (KS), pp. 532–546.
ICMLICML-1994-Gil #incremental #learning #refinement
Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.
ICMLICML-1994-MahoneyM
Comparing Methods for Refining Certainty-Factor Rule-Bases (JJM, RJM), pp. 173–180.
ICMLICML-1994-OpitzS #knowledge-based #network #search-based #using
Using Genetic Search to Refine Knowledge-based Neural Networks (DWO, JWS), pp. 208–216.
KDDKDD-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.
KRKR-1994-Kambhampati #algorithm #framework #refinement
Refinement Search as a Unifying Framework for Analyzing Planning Algorithms (SK), pp. 329–340.
TOOLSTOOLS-EUROPE-1994-Smith #development #framework #object-oriented #refinement #specification
A Development Framework for Object-Oriented Specification and Refinement (GS), pp. 173–183.
SACSAC-1994-VaradarajanH #adaptation #algorithm #performance #refinement
An efficient dynamic load balancing algorithm for adaptive mesh refinement (RV, IH), pp. 467–472.
ICSEICSE-1994-MiliMM #component #refinement
Storing and Retrieving Software Components: A Refinement Based System (AM, RM, RM), pp. 91–100.
CADECADE-1994-FeltyH #proving #theorem proving
Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables (APF, DJH), pp. 605–619.
CADECADE-1994-Socher-Ambrosius
A Refined Version of General E-Unification (RSA), pp. 665–677.
LICSLICS-1994-Burstall #proving #refinement
Terms, Proofs, and Refinement (Extended abstract) (RMB), pp. 2–7.
ASEKBSE-1993-BailesCGP #execution #named #specification
GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.
ASEKBSE-1993-ZeilW #knowledge base #refinement #testing
A Knowledge Base for Software Test Refinement (SJZ, CW), p. 10.
ICDARICDAR-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.
FMFME-1993-Bicarregui #algorithm #refinement
Algorithm Refinement with Read and Write Frames (JB), pp. 148–161.
FMFME-1993-CauR #fault tolerance #refinement #using
Using Relative Refinement for Fault Tolerance (AC, WPdR), pp. 19–41.
FMFME-1993-Fidge #realtime #refinement
Real-Time Refinement (CJF), pp. 314–331.
FMFME-1993-Ward #calculus #refinement #specification
Adding Specification Constructors to the Refinement Calculus (NW), pp. 652–670.
CIKMCIKM-1993-LeeK #database #refinement #summary
A Hypothesis Refinement Method for Summary Discovery in Databases (DL, MHK), pp. 274–282.
SEKESEKE-1993-EspositoMS #information management #machine learning #refinement
Machine Learning Techniques for Knowledge Acquisition and Refinement (FE, DM, GS), pp. 319–323.
SEKESEKE-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.
POPLPOPL-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.
FSEFSE-1993-Wood #approach #calculus #re-engineering #refinement #using
A Practical Approach to Software Engineering Using Z and the Refinement Calculus (KRW), pp. 79–88.
CAVCAV-1993-GodefroidP #dependence #partial order #verification
Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) (PG, DP), pp. 438–449.
ISSTAISSTA-1993-FelderGP #specification
Analyzing Refinements of State Based Specifications: The Case of TB Nets (MF, CG, MP), pp. 28–39.
ESOPESOP-1992-ChenM #composition #multi
Compositional Refinements in Multiple Blackboard Systems (XJC, CM), pp. 93–109.
ICALPICALP-1992-Vogler #communication #petri net #refinement
Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
ICMLML-1992-TangkitvanichS #concept #fault #multi #relational
Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts (ST, MS), pp. 436–444.
ICMLML-1992-Tecuci #knowledge base #refinement
Cooperation in Knowledge Base Refinement (GT), pp. 445–450.
SEKESEKE-1992-SatoMI #refinement #using
Program Refinement Using Generic Object (YS, YM, TI), pp. 18–25.
ECOOPECOOP-1992-LanoH #object-oriented #reasoning #refinement #specification
Reasoning and Refinement in Object-Oriented Specification Languages (KL, HPH), pp. 78–97.
PLDIPLDI-1991-FreemanP #ml #refinement
Refinement Types for ML (TF, FP), pp. 268–277.
ICALPICALP-1991-AcetoH #algebra #finite #process #refinement
Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.
FMVDME-1991-1-ScheweSW #database #refinement #specification
Specification and Refinement in an Integrated Database Application Environment (KDS, JWS, IW), pp. 496–510.
FMVDME-1991-2-Woodcock #calculus #refinement #tutorial
A Tutorial on the Refinement Calculus (JW), pp. 79–140.
FMVDME-1991-2-Woodcock91a #calculus #refinement
The Refinement Calculus (JW), pp. 80–95.
FMVDME-1991-2-Woodcock91b #refinement
An Introduction to Refinement in Z (JW), pp. 96–117.
FMVDME-1991-2-Woodcock91c #case study #refinement
Two Refinement Case Studies (JW), pp. 118–140.
KDDKDD-1991-SchlimmerMM #refinement
Justification-Based Refinement of Expert Knowledge (JCS, TMM, JPM), pp. 397–410.
ICMLML-1991-Berenji #approximate #learning #refinement
Refinement of Approximate Reasoning-based Controllers by Reinforcement Learning (HRB), pp. 475–479.
ICMLML-1991-CrawS #flexibility #refinement
The Flexibility of Speculative Refinement (SC, DHS), pp. 28–32.
ICMLML-1991-FeldmanSK #approximate #incremental #refinement
Incremental Refinement of Approximate Domain Theories (RF, AMS, MK), pp. 500–504.
ICMLML-1991-Hamakawa #refinement
Revision Cost for Theory Refinement (RH), pp. 514–518.
ICMLML-1991-Jones #refinement #using
Knowledge Refinement Using a High Level, Non-Technical Vocabulary (EKJ), pp. 18–22.
ICMLML-1991-KedarBD #approximate #refinement
The Blind Leading the Blind: Mutual Refinement of Approximate Theories (SK, JLB, CLD), pp. 308–312.
ICMLML-1991-MaclinS #automaton #finite
Refining Domain Theories Expressed as Finite-State Automata (RM, JWS), pp. 524–528.
ICMLML-1991-MooneyO #induction #refinement
Constructive Induction in Theory Refinement (RJM, DO), pp. 178–182.
POPLPOPL-1991-AbadiP #composition #logic #refinement
A Logical View of Composition and Refinement (MA, GDP), pp. 323–332.
LICSLICS-1991-JonssonL #probability #process #refinement #specification
Specification and Refinement of Probabilistic Processes (BJ, KGL), pp. 266–277.
FMVDME-1990-Goguen #algebra #approach #refinement
An Algebraic Approach to Refinement (JAG), pp. 12–28.
FMVDME-1990-King #calculus #refinement
Z and the Refinement Calculus (SK), pp. 164–188.
FMVDME-1990-WoodcockM #concurrent #refinement
Refinement of State-Based Concurrent Systems (JW, CM), pp. 340–351.
FMVDME-1990-Zwiers #process
Refining Data to Processes (JZ), pp. 352–369.
ICMLML-1990-Valtorta #complexity #knowledge base #network #refinement
More Results on the Complexity of Knowledge Base Refinement: Belief Networks (MV), pp. 419–426.
SIGIRSIGIR-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.
CADECADE-1990-Gramlich #induction #named #proving #theorem proving
UNICOM: A Refined Completion Based Inductive Theorem Prover (BG), pp. 655–656.
CAVCAV-1990-CarringtonR #refinement
Computer Assistance for Program Refinement (DAC, KAR), pp. 312–321.
ICMLML-1989-Ginsberg #knowledge base #refinement
Knowledge Base Refinement and Theory Revision (AG), pp. 260–265.
ICMLML-1989-Schlimmer #problem #quality
Refining Representations to Improve Problem Solving Quality (JCS), pp. 457–460.
ICMLML-1989-Valtorta #complexity #knowledge-based #refinement
Some Results on the Complexity of Knowledge-Based Refinement (MV), pp. 326–331.
ICMLML-1989-WilkinsT #consistency #knowledge base #refinement
Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.
ESECESEC-1989-Dix #re-engineering #refinement
Software Engineering Implications for Formal Refinement (AJD), pp. 243–259.
ICSEICSE-1989-NakagawaF #algebra #approach #composition #process #refinement
Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.
LICSLICS-1989-AcetoH #algebra #process #towards
Towards Action-Refinement in Process Algebras (LA, MH), pp. 138–145.
PLDIPLDI-1988-Rose #design #type system
Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages (JRR), pp. 278–287.
FMVDME-1988-KilpatrickM #refinement #specification
Software Support for the Refinement of VDM Specifications (PK, PM), pp. 459–475.
PPDPALP-1988-Schnoebelen #compilation #functional #pattern matching
Refined Compilation of Pattern-Matching for Functional Languages (PS), pp. 233–243.
ICSEICSE-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.
LICSLICS-1988-AbadiL #refinement
The Existence of Refinement Mappings (MA, LL), pp. 165–175.
DACDAC-1986-ShinSS #2d
Two-dimensional compaction by “zone refining” (HS, ALSV, CHS), pp. 115–122.
ESOPESOP-1986-HeHS #refinement
Data Refinement Refined (JH, CARH, JWS), pp. 187–196.
VLDBVLDB-1985-BorgidaW #database #exception #learning
Accommodating Exceptions in Databases, and Refining the Schema by Learning from them (AB, KEW), pp. 72–81.
ICSEICSE-1982-PetroneLS #interactive #named #source code
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements (LP, ADL, FS), pp. 350–359.
ICALPICALP-1981-Schnorr #algorithm #analysis
Refined Analysis and Improvements on Some Factoring Algorithms (CPS), pp. 1–15.
ICSEICSE-1981-CheathamHT #refinement
Program Refinement by Transsformation (TECJ, GHH, JAT), pp. 430–438.
CADECADE-1980-WosOH #named #refinement
Hyperparamodulation: A Refinement of Paramodulation (LW, RAO, LJH), pp. 208–219.
FMFM-1979-BoydPW79a #abstraction #refinement
Abstraction and Refinement in RDM (DLB, AP, WTW), pp. 111–149.
ICSEICSE-1979-CheathamTH #refinement
A System for Program Refinement (TECJ, JAT, GHH), pp. 53–62.
DACDAC-1978-LekkosP #how #logic #pseudo #refinement #using
How to develop module logic using pseudo-code and stepwise refinement (AAL, CMP), pp. 366–370.
POPLPOPL-1977-Doeppner #correctness #parallel #refinement
Parallel Program Correctness Through Refinement (TWDJ), pp. 155–169.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.