BibSLEIGH — refinement tag

refinement

refinement

Tag #refinement

527 papers:

POPL-2020-GuoJJZWJP #abstraction #synthesis: Program synthesis by type-guided abstraction refinement (ZG, MJ, DJ, JZ, ZW, RJ, NP), p. 28.
ICSA-2019-GerkingS #architecture #component #cyber-physical #data flow #policy #security #verification: Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures (CG, DS), pp. 61–70.
FM-2019-DeifelMSW #automaton: Generic Partition Refinement and Weighted Tree Automata (HPD, SM, LS, TW), pp. 280–297.
IFM-2019-JanssenVT #consistency: Relating Alternating Relations for Conformance and Refinement (RJ, FWV, JT), pp. 246–264.
AIIDE-2019-DiamantiT #abstraction #adaptation #automation #simulation: Automatic Abstraction and Refinement for Simulations with Adaptive Level of Detail (MD, DT), pp. 17–23.
CIKM-2019-LiuZYCY #generative #learning: Generative Question Refinement with Deep Reinforcement Learning in Retrieval-based QA System (YL, CZ, XY, YC, PSY), pp. 1643–1652.
KDD-2019-ZhouGHZXJLX #collaboration #framework #learning: A Collaborative Learning Framework to Tag Refinement for Points of Interest (JZ, SG, RH, DZ, JX, AJ, YL, HX), pp. 1752–1761.
OOPSLA-2019-AntonopoulosKL #specification: Specification and inference of trace refinement relations (TA, EK, TCL), p. 30.
OOPSLA-2019-CairesT #programming #type safety: Refinement kinds: type-safe programming with practical type-level computation (LC, BT), p. 30.
OOPSLA-2019-SteinNCM #static analysis: Static analysis with demand-driven value refinement (BS0, BBN, BYEC, AM), p. 29.
PEPM-2019-SatoI0 #higher-order #model checking #type inference: Combining higher-order model checking with refinement type inference (RS, NI, NK0), pp. 47–53.
PLDI-2019-ChajedTKZ #named #verification: Argosy: verifying layered storage systems with recovery refinement (TC, JT, MFK, NZ), pp. 1054–1068.
POPL-2019-CyphertBKR #static analysis: Refinement of path expressions for static analysis (JC, JB, ZK, TWR), p. 29.
ESEC-FSE-2019-KimHK #composition #debugging #detection #effectiveness #summary #testing: Target-driven compositional concolic testing with function summary refinement for effective bug detection (YK, SH, MK), pp. 16–26.
ICSE-2019-GuSMC0YZLS #abstraction #android #testing #user interface: Practical GUI testing of Android applications via model abstraction and refinement (TG, CS, XM, CC, CX0, YY0, QZ, JL0, ZS), pp. 269–280.
ICSE-2019-Yin0L0 #concurrent #parallel #thread #verification: Parallel refinement for multi-threaded program verification (LY, WD0, WL, JW0), pp. 643–653.
FASE-2019-DimovskiLW #abstraction #game studies #model checking #variability: Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL (ASD, AL, AW), pp. 192–209.
CAV-2019-RoussanalySM #abstraction #algorithm #automaton: Abstraction Refinement Algorithms for Timed Automata (VR, OS, NM), pp. 22–40.
CAV-2019-EmmiE #concurrent #generative #named #testing: Violat: Generating Tests of Observational Refinement for Concurrent Objects (ME, CE), pp. 534–546.
CAV-2019-GiannarakisBMW #fault tolerance #network #performance #verification: Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
ICTSS-2019-BombardaBGRDL #consistency #generative #protocol #state machine #testing #using: Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines (AB, SB, AG, MR, FD, YL), pp. 67–85.
VMCAI-2019-HaarKP #modelling #parametricity #reduction: Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics (SH, JK, LP), pp. 555–576.
CIG-2018-PreussPVP #case study #game studies: Integrated Balancing of an RTS Game: Case Study and Toolbox Refinement (MP, TP, VV, NP), pp. 1–8.
ICPR-2018-SongCHSC #detection #semantics: Scene Text Detection via Deep Semantic Feature Fusion and Attention-based Refinement (YS, YC, HH, SS, XC), pp. 3747–3752.
ICPR-2018-YlimakiHK #3d #re-engineering #using: Accurate 3-D Reconstruction with RGB-D Cameras using Depth Map Fusion and Pose Refinement (MY, JH, JK), pp. 1977–1982.
MoDELS-2018-DiskinMWWL #assurance #model transformation: Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.
OOPSLA-2018-RamaKS #analysis #points-to #slicing: Refinement in object-sensitivity points-to analysis via slicing (GMR, RK, HS), p. 27.
POPL-2018-0001ST #higher-order #nondeterminism #source code #type system #verification: Relatively complete refinement type system for verification of higher-order non-deterministic programs (HU0, YS, TT), p. 29.
POPL-2018-VazouTCSNWJ #smt #verification: Refinement reflection: complete verification with SMT (NV, AT, VC, RGS, RRN, PW, RJ), p. 31.
POPL-2018-WangDS #abstraction #synthesis #using: Program synthesis using abstraction refinement (XW0, ID, RS), p. 30.
ASE-2018-SteinCSC #programming: Safe stream-based programming with refinement types (BS0, LC, MS, BYEC), pp. 565–576.
ASE-2018-Yin0LW #abstraction #constraints #memory management #modelling #scheduling: Scheduling constraint based abstraction refinement for weak memory models (LY, WD0, WL, JW0), pp. 645–655.
GPCE-2018-Al-SibahiJDW #induction #verification: Verification of high-level transformations with inductive refinement types (ASAS, TPJ, ASD, AW), pp. 147–160.
CASE-2018-LiskaCV: Iterative Refinement of Hand-Eye Calibration (JL, MC, OV), pp. 457–462.
VMCAI-2018-KazerounianVBFT #ruby: Refinement Types for Ruby (MK, NV, AB, JSF, ET), pp. 269–290.
ICSA-2017-PatersonC #analysis #markov #quality: Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement (CP, RC), pp. 121–130.
ICFP-2017-CosmanJ #type system: Local refinement typing (BC, RJ), p. 27.
POPL-2017-LehmannT: Gradual refinement types (NL, ÉT), pp. 775–788.
ASE-2017-LiSLLL #automation #generative #invariant: Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
ICSE-2017-FaitelsonT #case study #diagrams #uml: UML diagram refinement (focusing on class- and use case diagrams) (DF, SST), pp. 735–745.
ESOP-2017-TassarottiJ0 #concurrent #higher-order #logic: A Higher-Order Logic for Concurrent Termination-Preserving Refinement (JT, RJ0, RH0), pp. 909–936.
FASE-2017-DimovskiW #abstraction #model checking #variability: Variability-Specific Abstraction Refinement for Family-Based Model Checking (ASD, AW), pp. 406–423.
ICTSS-2017-CavalcantiS #csp #testing: Fault-Based Testing for Refinement in CSP (AC, AdSS), pp. 21–37.
TAP-2017-DamianiHL #abstraction #analysis #product line: Abstraction Refinement for the Analysis of Software Product Lines (FD, RH, ML), pp. 3–20.
VMCAI-2017-HolikHLRV #automaton #validation: Counterexample Validation and Interpolation-Based Refinement for Forest Automata (LH, MH, OL, AR, TV), pp. 288–309.
EDM-2016-XuD: Boosted Decision Tree for Q-matrix Refinement (PX, MCD), pp. 551–555.
SANER-2016-MolderezR #automation: Automated Generalization and Refinement of Code Templates with Ekeko/X (TM, CDR), pp. 669–672.
FM-2016-KobayashiIH #refactoring: Refactoring Refinement Structure of Event-B Machines (TK, FI, SH), pp. 444–459.
SEFM-2016-ArcainiGR #automation #proving #smt: SMT-Based Automatic Proof of ASM Model Refinement (PA, AG, ER), pp. 253–269.
SEFM-2016-CimattiDT #contract: Tightening a Contract Refinement (AC, RD, ST), pp. 386–402.
ICFP-2016-OConnorCRALMNSK #cost analysis #verification: Refinement through restraint: bringing down the cost of verification (LO, ZC, CR, SA, JL, TCM, YN, TS, GK), pp. 89–102.
CIKM-2016-HuangCS #composition #named: BICP: Block-Incremental CP Decomposition with Update Sensitive Refinement (SH, KSC, MLS), pp. 1221–1230.
ICPR-2016-YokozukaTMB: Accurate depth-map refinement by per-pixel plane fitting for stereo vision (MY, KT, OM, AB), pp. 2807–2812.
Onward-2016-AfshariS #abstraction: Building white-box abstractions by program refinement (MA, ZS), pp. 74–81.
OOPSLA-2016-ZuoFKXL #abstraction #automation #debugging #statistics: Low-overhead and fully automated statistical debugging with abstraction refinement (ZZ0, LF, SCK, G(X, SL), pp. 881–896.
PLDI-2016-PolikarpovaKS #polymorphism #synthesis: Program synthesis from polymorphic refinement types (NP, IK, ASL), pp. 522–538.
PLDI-2016-VekrisCJ #typescript: Refinement types for TypeScript (PV, BC, RJ), pp. 310–325.
POPL-2016-GrigoreY #abstraction #probability: Abstraction refinement guided by a learnt probabilistic model (RG, HY), pp. 485–498.
ASE-2016-LiZRC #precise #semantics #slicing: Precise semantic history slicing through dynamic delta refinement (YL, CZ, JR, MC), pp. 495–506.
FSE-2016-SuiX #analysis #on-demand: On-demand strong update analysis via value-flow refinement (YS, JX), pp. 460–473.
ICSE-2016-TanCSLAXD #optimisation #probability: Optimizing selection of competing services with probabilistic hierarchical refinement (THT, MC, JS0, YL0, ÉA, YX, JSD), pp. 85–95.
ESOP-2016-KawabataI #adaptation #approach #float #lazy evaluation: Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (HK, HI), pp. 390–418.
CAV-2016-ElkaderGPS #automation #composition #reasoning: Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement (KAE, OG, CSP, SS), pp. 329–351.
CAV-2016-PrabhakarS #abstraction #analysis: Counterexample Guided Abstraction Refinement for Stability Analysis (PP, MGS), pp. 495–512.
EDM-2015-DoroudiHAB #comprehension #how #induction #learning #robust #towards: Towards Understanding How to Leverage Sense-making, Induction/Refinement and Fluency to Improve Robust Learning (SD, KH, VA, EB), pp. 376–379.
EDM-2015-MatsudaFBF #automation #data-driven #modelling #online: Machine Beats Experts: Automatic Discovery of Skill Models for Data-Driven Online Courseware Refinement (NM, TF, NB, CF), pp. 101–108.
FM-2015-DeboisHS #composition #information management #liveness #process #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 #towards #uml #verification: Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
ICFP-2015-VazouBJ #bound: Bounded refinement types (NV, AB, RJ), pp. 48–61.
ICFP-2015-ZhuNJ #learning: Learning refinement types (HZ, AVN, SJ), pp. 400–411.
ICEIS-v1-2015-SautotBJF #clustering #design #modelling #multi: 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: Untangling Result List Refinement and Ranking Quality: a Framework for Evaluation and Prediction (JH, MB, APdV, LA, MdR), pp. 293–302.
PEPM-2015-AsadaS0 #first-order #functional #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: Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.
POPL-2015-BartheGAHRS #approximate #design #difference #higher-order #privacy #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: Tractable Refinement Checking for Concurrent Objects (AB, ME, CE, JH), pp. 651–662.
POPL-2015-MelliesZ: Functors are Type Refinement Systems (PAM, NZ), pp. 3–16.
SAS-2015-HashimotoU #constraints #optimisation #type inference: Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.
SAS-2015-Terauchi #effectiveness #heuristic #verification: Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.
REFSQ-2015-LiHBG0M #requirements #specification: From Stakeholder Requirements to Formal Specifications Through Refinement (FLL, JH, AB, GG, LL, JM), pp. 164–180.
ESOP-2015-CicekGA #complexity #incremental: Refinement Types for Incremental Computational Complexity (EÇ, DG, UAA), pp. 406–431.
ESOP-2015-TerauchiU #approach: Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.
TACAS-2015-AlurMT #specification #synthesis: Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.
TACAS-2015-CassezMPS #composition #contest #named: Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.
TACAS-2015-GuanTAS0 #analysis #scalability: Scalable Timing Analysis with Refinement (NG, YT, JA, MS, WY), pp. 3–18.
CAV-2015-JainM: Skipping Refinement (MJ, PM), pp. 103–119.
CAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #source code: Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.
ISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #reliability: Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
LICS-2015-KobayashiL #abstraction #model checking: Automata-Based Abstraction Refinement for μHORS Model Checking (NK, XL), pp. 713–724.
LICS-2015-KrebsV #bound #logic: Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
VMCAI-2015-KafleG #horn clause #verification: Tree Automata-Based Refinement with Application to Horn Clause Verification (BK, JPG), pp. 209–226.
EDM-2014-DesmaraisBX #validation: The refinement of a Q-matrix: Assessing methods to validate tasks to skills mapping (MCD, BB, PX), pp. 208–311.
CSMR-WCRE-2014-HillRFM #case study #code search #query #user study: NL-based query refinement and contextualized code search results: A user study (EH, MRV, JAF, GM), pp. 34–43.
FM-2014-AntoninoSW #analysis #concurrent #csp #network #process: 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: Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
IFM-2014-MiyazawaC: Formal Refinement in SysML (AM, AC), pp. 155–170.
IFM-2014-SchneiderTWW #ltl: Managing LTL Properties in Event-B Refinement (SAS, HT, HW, DMW), pp. 221–237.
Haskell-2014-VazouSJ #experience #haskell #named: LiquidHaskell: experience with refinement types in the real world (NV, ELS, RJ), pp. 39–51.
ICFP-2014-VazouSJVJ #haskell: Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.
ICGT-2014-DanosHS: Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
DHM-2014-MeryS #semantics: The Semantics of Refinement Chart (DM, NKS), pp. 415–426.
CIKM-2014-ZhaoWLZ #framework #mining #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: A 3D Approach to Facial Landmarks: Detection, Refinement, and Tracking (JC, VF, JM), pp. 2173–2178.
ICPR-2014-OlssonUE: Local Refinement for Stereo Regularization (CO, JU, APE), pp. 4056–4061.
ICPR-2014-SaygiliMH14a #artificial reality #hybrid: Hybrid Kinect Depth Map Refinement for Transparent Objects (GS, LvdM, EAH), pp. 2751–2756.
PLDI-2014-JagannathanPVPL #compilation: Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.
PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the: On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
POPL-2014-RamsayNO #abstraction #approach #higher-order #model checking: A type-directed abstraction refinement approach to higher-order model checking (SJR, RPN, CHLO), pp. 61–72.
QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named: MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
SAS-2014-MeshmanDVY #memory management #synthesis: Synthesis of Memory Fences via Refinement Propagation (YM, AMD, MTV, EY), pp. 237–252.
FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line: Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.
SAC-2014-HoritaHSNTO #approach #modelling #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 #requirements: From requirements to statecharts via design refinement (JP, JC, JM, KA, VESS), pp. 995–1000.
DATE-2014-IannopolloNTS #contract #design #scalability: Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
DATE-2014-IliasovASM #design #safety: Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.
DATE-2014-WelpK #invariant #verification: Property directed invariant refinement for program verification (TW, AK), pp. 1–6.
FASE-2014-AnjorinSLS #graph grammar #using: Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.
TACAS-2014-Gibson-RobinsonABR #csp #named: FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.
IJCAR-2014-BerdineB #smt: Computing All Implied Equalities via SMT-Based Partition Refinement (JB, NB), pp. 168–183.
LICS-CSL-2014-LiangFS #composition #concurrent #source code #verification: Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.
CBSE-2013-KezniklBPGHH #component #design #invariant: Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.
ECSA-2013-TounsiKK #design pattern #modelling: Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
SIGMOD-2013-RoyCFRZ #information management #taxonomy: Provenance-based dictionary refinement in information extraction (SR, LC, VF, FR, HZ), pp. 457–468.
ICSM-2013-Roldan-VegaMHF #code search #named #query: CONQUER: A Tool for NL-Based Query Refinement and Contextualizing Code Search Results (MRV, GM, EH, JAF), pp. 512–515.
IFM-2013-Prehofer #behaviour #diagrams #specification: Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.
ICFP-2013-TuronDB #concurrent #higher-order #hoare #logic #reasoning: 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: Graph Rewriting with Contextual Refinement (BH).
ECIR-2013-0001S #game studies #query: 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: Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
PLDI-2013-GordonEG #alias: Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
POPL-2013-CernyHR #abstraction: Quantitative abstraction refinement (PC, TAH, AR), pp. 115–128.
PPDP-2013-MandelPP #functional: Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
ASE-2013-CimattiDT #contract #named: OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.
ESEC-FSE-2013-GambiFD #testing: Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ESOP-2013-VazouRJ: Abstract Refinement Types (NV, PMR, RJ), pp. 209–228.
ISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel: 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 #testing: Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
ITiCSE-2012-Velazquez-Iturbide #algorithm #approach #learning: Refinement of an experimental approach tocomputer-based, active learning of greedy algorithms (JÁVI), pp. 46–51.
FM-2012-AartsHKOV #abstraction #automaton #learning: Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.
FM-2012-DormoyKL #component #configuration management: When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (JD, OK, AL), pp. 171–186.
FM-2012-SpasicM #algorithm #formal method #incremental: Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
SEFM-2012-FilhoO #implementation: Implementing Tactics of Refinement in CRefine (MCF, MVMO), pp. 342–351.
AIIDE-2012-BauerP #analysis #game studies #visual notation #visualisation: RRT-Based Game Level Analysis, Visualization, and Visual Refinement (AWB, ZP).
ICPR-2012-JungN #modelling: Model-based feature refinement by ellipsoidal face tracking (SUJ, MSN), pp. 1209–1212.
ICPR-2012-YamasakiC #classification #recognition: Confidence-assisted classification result refinement for object recognition featuring TopN-Exemplar-SVM (TY, TC), pp. 1783–1786.
ICPR-2012-YuL #3d: 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: Modal ZIA, Modal Refinement Relation and Logical Characterization (ZC), pp. 525–530.
SIGIR-2012-MahdabiAKC #automation #concept #predict #query #using: Automatic refinement of patent queries using concept importance predictors (PM, LA, MK, FC), pp. 505–514.
ECMFA-2012-RiekeS #model transformation #specification: Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.
ASE-2012-Yamamoto: Property-preserving program refinement (YY), pp. 398–401.
ICSE-2012-LuciaLJB: Active refinement of clone anomaly reports (L, DL, LJ, AB), pp. 397–407.
ICSE-2012-SegallT #combinator #interactive #testing: Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.
SAC-2012-AristizabalBVP #similarity: Partition refinement for bisimilarity in CCP (AA, FB, FDV, LFP), pp. 88–93.
DAC-2012-KengV #abstraction #debugging #design #satisfiability: Path directed abstraction and refinement in SAT-based design debugging (BK, AGV), pp. 947–954.
DATE-2012-EbeidFQS #design #embedded #modelling #uml: Refinement of UML/MARTE models for the design of networked embedded systems (ESME, FF, DQ, FS), pp. 1072–1077.
FASE-2012-LongCMM #abstraction: Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.
FASE-2012-SalayFC #independence #modelling #using: Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.
CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #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: Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.
CSL-2012-ChatterjeeCK #algorithm #performance: Faster Algorithms for Alternating Refinement Relations (KC, SC, PK), pp. 167–182.
SAT-2012-JanotaKMC: Solving QBF with Counterexample Guided Refinement (MJ, WK, JMS, EMC), pp. 114–128.
HT-2011-PeraN #community: A community question-answering refinement system (MSP, YKN), pp. 251–260.
VLDB-2011-AlexeCKT #design #interactive #named: EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples (BA, BtC, PGK, WCT), pp. 1414–1417.
IFM-J-2009-SchneiderT11 #csp #interface: Changing system interfaces consistently: A new refinement strategy for CSP||B (SS, HT), pp. 837–860.
FM-2011-ChenLW #communication #process: Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
RTA-2011-Roux #dependence #higher-order: Refinement Types as Higher-Order Dependency Pairs (CR), pp. 299–312.
CIKM-2011-BoimMN #collaboration #recommendation: Diversification and refinement in collaborative filtering recommender (RB, TM, SN), pp. 739–744.
ECOOP-2011-BaltopoulosBG #database #maintenance: Maintaining Database Integrity with Refinement Types (IGB, JB, ADG), pp. 484–509.
PLDI-2011-LiangN #abstraction #scalability: Scaling abstraction refinement via pruning (PL, MN), pp. 590–601.
POPL-2011-GuptaPR #abstraction #concurrent #multi #source code #thread #verification: Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.
ESEC-FSE-2011-Baluda #abstraction #automation #testing: Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.
PDP-2011-MatsuiUMN #adaptation #parallel #simulation: MPI Parallelization of PIC Simulation with Adaptive Mesh Refinement (TM, HU, TM, MN), pp. 277–281.
FoSSaCS-2011-AtkeyJG #induction #question: When Is a Type Refinement an Inductive Type? (RA, PJ, NG), pp. 72–87.
ICLP-2011-AlrajehKRU #approach #induction: An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.
ISSTA-2011-ShahbazSE #component #embedded #specification: Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
VMCAI-2011-HowarSM #abstraction #automation #automaton #learning: Automata Learning with Automated Alphabet Abstraction Refinement (FH, BS, MM), pp. 263–277.
VLDB-2010-LiuCCJR #automation #information management: Automatic Rule Refinement for Information Extraction (BL, LC, VC, HVJ, FR), pp. 588–597.
SEFM-2010-KatzK #query #specification: User Queries for Specification Refinement Treating Shared Aspect Join Points (EK, SK), pp. 73–82.
CIKM-2010-HuangSN #graph #query #using #word: Query model refinement using word graphs (YH, LS, JYN), pp. 1453–1456.
ICPR-2010-DaubneyX #3d #image #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 #platform #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: Automatic Refinement of Foreground Regions for Robot Trail Following (MKK, CR), pp. 4077–4080.
SEKE-2010-Cao #automaton #interface: Refinement Checking for Interface Automata with Z Notation (ZC), pp. 399–404.
SAS-2010-MalkisPR #abstraction #thread: Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.
FSE-2010-Krka #approach #behaviour #incremental #modelling #requirements #specification: From requirements to partial behavior models: an iterative approach to incremental specification refinement (IK), pp. 341–344.
SAC-2010-DirgahayuQS #design #interactive: Interaction refinement in the design of business collaborations (TD, DACQ, MvS), pp. 86–93.
SAC-2010-WangWZ #component #modelling: Refinement of models of software components (ZW, HW, NZ), pp. 2311–2318.
DATE-2010-AnastasiaA #energy #image #scheduling #trade-off: Scheduling and energy-distortion tradeoffs with operational refinement of image processing (DA, YA), pp. 1719–1724.
DATE-2010-BeckerGF0PX #design: RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.
DATE-2010-HsuYC #architecture #framework: An accurate system architecture refinement methodology with mixed abstraction-level virtual platform (ZMH, JCY, IYC), pp. 568–573.
FASE-2010-BeyerHTZ #analysis: Shape Refinement through Explicit Heap Analysis (DB, TAH, GT, DZ), pp. 263–277.
TACAS-2010-BauerMSH #on the: On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.
TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability: PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
ICDAR-2009-DreuwRGN #adaptation #recognition: Writer Adaptive Training and Writing Variant Model Refinement for Offline Arabic Handwriting Recognition (PD, DR, CG, HN), pp. 21–25.
CIAA-2009-GantyMR #abstraction #automaton #fixpoint: Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.
LATA-2009-BertrandPR #consistency #specification: Refinement and Consistency of Timed Modal Specifications (NB, SP, JBR), pp. 152–163.
FM-2009-JeffordsHAL #composition #fault tolerance #formal method #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: Model Checking Linearizability via Refinement (YL, WC, YAL, JS), pp. 321–337.
FM-2009-McIverM #case study #composition #security: Sums and Lovers: Case Studies in Security, Compositionality and Refinement (AM, CCM), pp. 289–304.
FM-2009-SaidBS #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 #testing: Iterative Refinement of Reverse-Engineered Models by Model-Based Testing (NW, JD, QG), pp. 305–320.
IFM-2009-BoitenD #concurrent #modelling #relational: Modelling Divergence in Relational Concurrent Refinement (EAB, JD), pp. 183–199.
IFM-2009-SchneiderT #csp #interface: Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (SS, HT), pp. 103–117.
SEFM-2009-KawamataSIH #specification: Specifying and Checking Refinement Relationships in VDM++ (YK, CS, FI, SH), pp. 220–227.
SEFM-2009-MartinsMB: Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.
TLCA-2009-LovasP #proving: Refinement Types as Proof Irrelevance (WL, FP), pp. 157–171.
KDD-2009-MaunzHK #graph #mining #scalability #using: Large-scale graph mining using backbone refinement classes (AM, CH, SK), pp. 617–626.
KEOD-2009-GudasL #knowledge-based: Knowledge-based Refinement of Business Management Functions (SG, AL), pp. 435–442.
SEKE-2009-KongLLYW #feedback #traceability: A Requirement Traceability Refinement Method Based on Relevance Feedback (LK, JL, YL, YY, QW), pp. 37–42.
ECMDA-FA-2009-HeidenreichJKSW #modelling #syntax: Derivation and Refinement of Textual Syntax for Models (FH, JJ, SK, MS, CW), pp. 114–129.
PLDI-2009-GulwaniJK #analysis #bound #control flow #invariant: Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.
SAS-2009-HeizmannHP #abstraction: Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.
SAS-2009-SeghirPW #abstraction #array #quantifier: Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.
ESEC-FSE-2009-MaiaKUM #modelling #probability #towards #using: Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.
ICSE-2009-WangCCZ #correctness #fault #locality: Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization (XW, SCC, WKC, ZZ), pp. 45–55.
DAC-2009-NanshiS #abstraction #constraints: Constraints in one-to-many concretization for abstraction refinement (KN, FS), pp. 569–574.
DATE-2009-PurandareWK #abstraction #using: Strengthening properties using abstraction refinement (MP, TW, DK), pp. 1692–1697.
VMCAI-2009-KattenbeltKNP #abstraction #probability: Abstraction Refinement for Probabilistic Software (MK, MZK, GN, DP), pp. 182–197.
ICSM-2008-He #generative #programming #testing: Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.
FM-2008-McCombS: Introducing Objects through Refinement (TM, GS), pp. 358–373.
FM-2008-McIverMG #probability #proving: Proofs and Refutations for Probabilistic Refinement (AKM, CCM, CG), pp. 100–115.
RTA-2008-BoichutCHK #abstraction #approximate: Finer Is Better: Abstraction Refinement for Rewriting Approximations (YB, RC, PCH, OK), pp. 48–62.
SEFM-2008-OliveiraGC #calculus #named: CRefine: Support for the Circus Refinement Calculus (MO, ACG, CGdC), pp. 281–290.
FLOPS-2008-UnnoK #dependent type #on-demand: On-Demand Refinement of Dependent Types (HU, NK), pp. 81–96.
ICEIS-ISAS1-2008-LanoC #behaviour #semantics #state machine: Semantics and Refinement of Behavior State Machines (KL, DC), pp. 42–49.
ICPR-2008-ServantMHM #artificial reality #locality #visual notation: Visual planes-based simultaneous localization and model refinement for augmented reality (FS, ÉM, PH, IM), pp. 1–4.
SIGIR-2008-GuoXLC #query: A unified and discriminative model for query refinement (JG, GX, HL, XC), pp. 379–386.
SAS-2008-BalakrishnanSIWG #analysis #detection #named: SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.
ASE-2008-HartKGCL #abstraction #proving: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.
SAC-2008-DingMH #approach #specification #using: An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.
SAC-2008-Liu #framework #requirements: A requirements refinement framework (WL), pp. 658–659.
SAC-2008-NishizawaC #java: A small extension to Java for class refinement (MN, SC), pp. 160–165.
SAC-2008-RamosSM #composition #consistency #framework: Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
SAC-2008-StojanovicSM #concept #on the: On the conceptual tag refinement (NS, LS, JM), pp. 2331–2335.
GPCE-2008-ApelKL #calculus #feature model #java #programming: Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement (SA, CK, CL), pp. 101–112.
DAC-2008-ChenXY #abstraction #automation #evaluation #optimisation: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DAC-2008-GorjiaraG #architecture #automation: Automatic architecture refinement techniques for customizing processing elements (BG, DG), pp. 379–384.
DATE-2008-GruttnerONCF #modelling #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: Constraint Refinement for Online Verifiable Cross-Layer System Adaptation (MK, MOS, CLT, ND, NV), pp. 646–651.
DATE-2008-NovoBLPC #energy #fixpoint: Scenario-Based Fixed-point Data Format Refinement to Enable Energy-scalable Software Defined Radios (DN, BB, AL, LVdP, FC), pp. 722–727.
TACAS-2008-ChocklerGY #automation #performance #using: Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.
CAV-2008-BobaruPG #abstraction #automation #reasoning: Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
TestCom-FATES-2008-FaivreGGT: Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
VMCAI-2008-DSilvaPK #approximate #model checking: Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.
VMCAI-2008-RanzatoRT #abstraction #algorithm: A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.
IFM-2007-DerrickSW #proving: Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.
SEFM-2007-KahsaiRS #testing: Specification-based testing for refinement (TK, MR, BHS), pp. 237–246.
SEFM-2007-ReevesS: Feature Refinement (SR, DS), pp. 371–380.
TLCA-2007-Boulme #calculus: Intuitionistic Refinement Calculus (SB), pp. 54–69.
ICEIS-AIDSS-2007-Novacek #empirical #ontology #taxonomy: Imprecise Empirical Ontology Refinement — Application to Taxonomy Acquisition (VN), pp. 31–38.
ICEIS-EIS-2007-RychkovaW #automation #specification #towards #visual notation: Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.
ECIR-2007-RoullandKCRGPO #clustering #query #using: Query Reformulation and Refinement Using NLP-Based Sentence Clustering (FR, ANK, SC, CR, AG, KP, JO), pp. 210–221.
SIGIR-2007-WhiteCC #pseudo #query: Comparing query logs and pseudo-relevance feedbackfor web-search query refinement (RWW, CLAC, SC), pp. 831–832.
TOOLS-EUROPE-2007-ApelKLS #aspect-oriented: Aspect Refinement — Unifying AOP and Stepwise Refinement (SA, CK, TL, GS), pp. 13–33.
LOPSTR-2007-BossiPR #algebra #process #security: Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.
PADL-2007-PodelskiR #abstraction #logic #model checking #named: ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement (AP, AR), pp. 245–259.
DATE-2007-BombieriFP #design #functional #incremental #validation: Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.
DATE-2007-DestroFP #thread: A smooth refinement flow for co-designing HW and SW threads (PD, FF, GP), pp. 105–110.
DATE-2007-KroeningS #image #interactive #proving #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: Abstraction and refinement techniques in automated design debugging (SS, AGV), pp. 1182–1187.
ESOP-2007-KnowlesF #re-engineering: Type Reconstruction for General Refinement Types (KLK, CF), pp. 505–519.
TACAS-2007-AmlaM #abstraction #model checking #satisfiability: Combining Abstraction Refinement and SAT-Based Model Checking (NA, KLM), pp. 405–419.
TACAS-2007-ArmandoBM #abstraction #array #linear #source code: Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
TACAS-2007-JainKSC #abstraction #named: VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.
TACAS-2007-SebastianiTV #abstraction #clustering: Property-Driven Partitioning for Abstraction Refinement (RS, ST, MYV), pp. 389–404.
A-MOST-2007-SatpathyR #abstraction #formal method #generative #model checking #modelling #testing: Test case generation from formal models through abstraction refinement and model checking (MS, SR), pp. 85–94.
TAP-2007-GallRT #execution #symbolic computation #testing: Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
VMCAI-2007-KlaedtkeRS #abstraction #hybrid #verification: Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.
CIAA-2006-Tischler #automaton #finite #random #video: Refinement of Near Random Access Video Coding with Weighted Finite Automata (GT), pp. 46–57.
ICALP-v2-2006-AlurCZ: Preserving Secrecy Under Refinement (RA, PC, SZ), pp. 107–118.
FM-2006-McCombS #composition: Compositional Class Refinement in Object-Z (TM, GS), pp. 205–220.
FM-2006-McIver #analysis #model checking #probability: Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems (AM), pp. 131–146.
FM-2006-OliveiraR: Pointfree Factorization of Operation Refinement (JNO, CJR), pp. 236–251.
SFM-2006-Manolios #proving #theorem proving: Refinement and Theorem Proving (PM), pp. 176–210.
ICEIS-ISAS-2006-ShishkovQ #modelling #process #using: Refinement of SDBC Business Process Models Using ISDL (BS, DACQ), pp. 61–69.
ICEIS-J-2006-ShishkovQ06a #modelling #process: Combining SDBC and ISDL in the Modeling and Refinement of Business Processes (BS, DACQ), pp. 322–335.
ICPR-v1-2006-JungLYK: Radial Distortion Refinement by Inverse Mapping-Based Extrapolation (HGJ, YHL, PJY, JK), pp. 675–678.
ICPR-v2-2006-Sternby #clustering: Class Dependent Cluster Refinement (JS), pp. 833–836.
KDD-2006-YooHS #clustering #graph #integration #representation #semantics: Integration of semantic-based bipartite graph representation and mutual refinement strategy for biomedical literature clustering (IY, XH, IYS), pp. 791–796.
SAS-2006-Arnold #analysis #logic #using: Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.
SAS-2006-DhurjatiDY #analysis #data flow: Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
ASE-2006-Ireland #automation #logic #towards: Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.
DATE-2006-BartzasMPACST #data type #design #energy #network: 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 #using #verification: Verifying analog oscillator circuits using forward/backward abstraction refinement (GF, BHK, RAR), pp. 257–262.
TACAS-2006-EsparzaKS #abstraction #automaton: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
TACAS-2006-GulavaniR #abstract interpretation: Counterexample Driven Refinement for Abstract Interpretation (BSG, SKR), pp. 474–488.
TACAS-2006-JhalaM #approach: A Practical and Complete Approach to Predicate Refinement (RJ, KLM), pp. 459–473.
TACAS-2006-KonigK #abstraction #analysis #graph transformation: Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.
TACAS-2006-LiS #abstraction #bound #model checking #performance: Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking (BL, FS), pp. 227–241.
CAV-2006-JainIGSW #abstraction #invariant #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 #satisfiability: SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (JWR, KC), pp. 175–189.
CAV-2006-TzorefG #automation #detection #evaluation: Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (RT, OG), pp. 190–204.
FATES-RV-2006-ErnitsKRV #generative #model checking #modelling #testing #using: Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement (JPE, AK, KR, JV), pp. 85–99.
CSMR-2005-WardZH #abstraction #semantics #slicing: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
SEFM-2005-CarterMM #developer: Software Refinement with Perfect Developer (GC, RM, JMM), pp. 363–373.
SEFM-2005-SunW #process #realtime #semantics: Operational Semantics for Real-Time Processes with Action Refinement (XS, JW), pp. 54–63.
EDOC-2005-AlmeidaDPQS #design #interactive #modelling: Abstract Interactions and Interaction Refinement in Model-Driven Design (JPAA, RMD, LFP, DACQ, MvS), pp. 273–286.
CIKM-2005-TanCGWX #approach #categorisation #novel: A novel refinement approach for text categorization (ST, XC, MG, BW, HX), pp. 469–476.
SAS-2005-CookPR #abstraction #termination: Abstraction Refinement for Termination (BC, AP, AR), pp. 87–101.
SAS-2005-DimovskiGL #approach #game studies #semantics: Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.
ESEC-FSE-2005-Barbosa #architecture #calculus #component: A refinement calculus for software components and architectures (MAB), pp. 377–380.
DAC-2005-JainKSC #abstraction #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: Design Refinement for Efficient Cluste ing of Objects in Embedded Systems (WA, DM), pp. 718–719.
DATE-2005-ManoliosS #modelling #performance #verification: Refinement Maps for Efficient Verification of Processor Models (PM, SKS), pp. 1304–1309.
FASE-2005-EgyedSW #maintenance #uml: Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.
FoSSaCS-2005-SchaeferV #component #composition: Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.
TACAS-2005-IsobeR #csp #proving #theorem proving: A Generic Theorem Prover of CSP Refinement (YI, MR), pp. 108–123.
TACAS-2005-RanzatoT #abstract interpretation #algorithm: An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.
CAV-2005-GuptaS #abstraction #bound #model checking: Abstraction Refinement for Bounded Model Checking (AG, OS), pp. 112–124.
CAV-2005-LoginovRS #abstraction #induction #learning: Abstraction Refinement via Inductive Learning (AL, TWR, SS), pp. 519–533.
CAV-2005-PasareanuPV #model checking: Concrete Model Checking with Abstract Matching and Refinement (CSP, RP, WV), pp. 52–66.
TestCom-2005-BijlRT #consistency #testing: Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.
VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #safety #verification: Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.
WICSA-2004-BaresiHTV #architecture: Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.
WICSA-2004-EnglebertV #architecture: Attribute-Based Refinement of Software Architectures (VE, FV), pp. 301–304.
IFM-2004-BeckertS #data type #integer #verification: Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.
SEFM-2004-KammullerS #heuristic: Heuristics for Refinement Relations (FK, JWS), pp. 292–299.
SEFM-2004-MengNB #algebra #on the #perspective #semantics #uml: On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.
SEFM-2004-OliveiraXC: Refine and Gabriel: Support for Refinement and Tactics (MO, MX, AC), pp. 310–319.
SEFM-2004-WuY #ambiguity #concurrent #towards: Towards Action Refinement for Concurrent Systems with Causal Ambiguity (JW, HY), pp. 300–309.
ICPR-v3-2004-PetrovicC #recognition: Vehicle Type Recognition with Match Refinement (VSP, TFC), pp. 95–98.
UML-2004-RottgerZ #development #model transformation #modelling #non-functional: Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.
PDCL-2004-ColvinGHHNS #logic programming #source code #specification #using: Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
SAS-2004-Preda #evaluation: Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.
ICSE-2004-TanAC #heuristic: Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.
SAC-2004-WangDK: Guiding motif discovery by iterative pattern refinement (ZW, MMD, SK), pp. 162–166.
DAC-2004-MangH #abstraction #analysis: Abstraction refinement by controllability and cooperativeness analysis (FYCM, PHH), pp. 224–229.
DATE-DF-2004-KruppMO #model checking: Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
DATE-v1-2004-BjesseK #abstraction #debugging #using: Using Counter Example Guided Abstraction Refinement to Find Complex Bugs (PB, JHK), pp. 156–161.
DATE-v1-2004-DensmoreRS #architecture #development #framework #platform: Microarchitecture Development via Metropolis Successive Platform Refinement (DD, SR, ALSV), pp. 346–351.
DATE-v1-2004-GrimmHW: Refinement of Mixed-Signal Systems with Affine Arithmetic (CG, WH, KW), pp. 372–377.
FASE-2004-Egyed #adaptation #consistency #diagrams #evolution: Consistent Adaptation and Evolution of Class Diagrams during Refinement (AE), pp. 37–53.
CAV-2004-BallCLZ #abstraction #automation #named #proving #theorem proving: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement (TB, BC, SKL, LZ), pp. 457–461.
CAV-2004-ChangBD #design #interface #using #verification: Using Interface Refinement to Integrate Formal Verification into the Design Cycle (JC, SB, DLD), pp. 122–134.
ICLP-2004-KundajiS #calculus #development #semantics: Development of Semantic Debuggers Based on Refinement Calculus (RNK, RKS), pp. 460–461.
HT-2003-SugiyamaHYU #using #web: Refinement of TF-IDF schemes for web pages using their hyperlinked neighboring pages (KS, KH, MY, SU), pp. 198–207.
CSMR-2003-MoeCP #distributed #using: Using Observation and Refinement to Improve Distributed Systems Test (JM, DAC, MP), pp. 153–159.
FME-2003-KouchnarenkoL #component #verification: Refinement and Verification of Synchronized Component-Based Systems (OK, AL), pp. 341–358.
FME-2003-MammarL #automation #database #design #proving: Design of an Automatic Prover Dedicated to the Refinement of Database Applications (AM, RL), pp. 834–854.
SEFM-2003-BossiFPR #data flow #security: Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.
AGTIVE-2003-HaaseMBG03a #architecture #integration #named: Fire3: Architecture Refinement for A-posteriori Integration (TH, OM, BB, FHG), pp. 461–467.
CAiSE-2003-Stojanovic #on the #ontology #query: On the Query Refinement in the Ontology-Based Searching for Information (NS), pp. 324–339.
SIGIR-2003-Anick #feedback #using #web: Using terminological feedback for web search refinement: a log-based study (PGA), pp. 88–95.
UML-2003-HaugenS #interactive #named #semantics: STAIRS — Steps to Analyze Interactions with Refinement Semantics (ØH, KS), pp. 388–402.
ECOOP-2003-BorbaSC #algebra #object-oriented #programming: A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.
ICSE-2003-BatorySR #scalability: Scaling Step-Wise Refinement (DSB, JNS, AR), pp. 187–197.
DAC-2003-AbdiSG #automation #communication #design: Automatic communication refinement for system level design (SA, DS, DG), pp. 300–305.
DAC-2003-AgarwalBZV #bound #statistics: Computation and Refinement of Statistical Bounds on Circuit Delay (AA, DB, VZ, SBKV), pp. 348–353.
DAC-2003-PimentelE #communication: An IDF-based trace transformation method for communication refinement (ADP, CE), pp. 402–407.
DATE-2003-CoppolaCGM #communication #named: IPSIM: SystemC 3.0 Enhancements for Communication Refinement (MC, SC, MDG, GM), pp. 20106–20111.
DATE-2003-GrimmMHW: Refinement of Mixed-Signal Systems with SystemC (CG, CM, WH, KW), pp. 11170–11171.
FASE-2003-MerzWZ #logic #mobile #specification: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.
TACAS-2003-ClarkeFHKST #abstraction #hybrid #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: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.
CADE-2003-Clarke #abstraction #model checking #satisfiability: SAT-Based Counterexample Guided Abstraction Refinement in Model Checking (EMC), p. 1.
CAV-2003-HenzingerJMQ #abstraction #thread: Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
VMCAI-2003-Majster-CederbaumZF #logic #perspective: Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.
VMCAI-2003-Podelski #abstraction #model checking: Software Model Checking with Abstraction Refinement (AP), pp. 1–3.
FME-2002-CavalcantiN #simulation: Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
FME-2002-Pahl #abstraction #analysis #using: Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.
FME-2002-SampaioWC: Refinement in Circus (AS, JW, AC), pp. 451–470.
IFM-2002-BoltonD #csp: Refinement in Object-Z and CSP (CB, JD), pp. 225–244.
IFL-2002-EllmenreichL #named #parallel #programming: PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.
ICML-2002-DietterichBMS #learning #probability: Action Refinement in Reinforcement Learning by Probability Smoothing (TGD, DB, RLdM, CS), pp. 107–114.
ICPR-v4-2002-SeppH #image: Featureless 6 DoF Pose Refinement from Stereo Images (WS, GH), pp. 17–20.
KDD-2002-WuPLL #approach #categorisation: A refinement approach to handling model misfit in text categorization (HW, THP, BL, XL), pp. 207–216.
SIGIR-2002-CarmelFPS #automation #information management #query #using: Automatic query refinement using lexical affinities with maximal information gain (DC, EF, YP, AS), pp. 283–290.
SIGIR-2002-LiuGXZ #clustering #documentation: Document clustering with cluster refinement and model selection capabilities (XL, YG, WX, SZ), pp. 191–198.
LOPSTR-2002-ColvinHHS #higher-order #logic programming #source code: Refinement of Higher-Order Logic Programs (RC, IJH, DH, PAS), pp. 126–143.
SAS-2002-GallardoMP #ltl #model checking: Refinement of LTL Formulas for Abstract Model Checking (MdMG, PM, EP), pp. 395–410.
DAC-2002-SanderJ #communication #design: Transformation based communication and clock domain refinement for system design (IS, AJ), pp. 281–286.
TACAS-2002-BallPR #abstraction #model checking: Relative Completeness of Abstraction Refinement for Software Model Checking (TB, AP, SKR), pp. 158–172.
CAV-2002-ChatterjeeSG #consistency #memory management #model checking #modelling #protocol #verification: Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking (PC, HS, GG), pp. 123–136.
SAT-2002-Clarke #abstraction #logic #model checking #satisfiability: SAT based abstraction refinement in temporal logic model checking (EC), p. 26.
VMCAI-2002-HillS: A Refinement of the Escape Property (PMH, FS), pp. 154–166.
ICALP-2001-Furer #linear: Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations (MF), pp. 322–333.
FME-2001-BellegardeDJK #named: Reformulation: A Way to Combine Dynamic Properties and B Refinement (FB, CD, JJ, OK), pp. 2–19.
FME-2001-Jurjens: Secrecy-Preserving Refinement (JJ), pp. 135–152.
FME-2001-LeuschelMC #csp #how #ltl #model checking: How to Make FDR Spin LTL Model Checking of CSP by Refinement (ML, TM, AC), pp. 99–118.
TOOLS-USA-2001-HeSH #multi #requirements #standard: Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method (YH, QS, QH), pp. 253–262.
ASE-2001-PavlovicS #behaviour #composition #specification: Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.
ICSE-2001-CardoneL #framework: Comparing Frameworks and Layered Refinement (RC, CL), pp. 285–294.
DAC-2001-WangHLKZMD #abstraction #hybrid #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: Mixed-level cosimulation for fine gradual refinement of communication in SoC design (GN, SY, AAJ), pp. 754–759.
FASE-J-1998-PadbergGE01 #rule-based #safety: Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.
CAV-2001-AlurW #implementation #network #protocol #verification: Verifying Network Protocol Implementations by Symbolic Refinement Checking (RA, BYW), pp. 169–181.
ITiCSE-2000-BurgosGGMMV #design #specification: Abstract solution design by specification refinement (JMB, JG, JG, JJM, SM, DV), p. 186.
IFM-2000-DerrickS #csp: Structural Refinement in Object-Z/CSP (JD, GS), pp. 194–213.
ICML-2000-EspositoFFS: Ideal Theory Refinement under Object Identity (FE, NF, SF, GS), pp. 263–270.
ICPR-v1-2000-StevensB #comparison #image: Image Comparison Techniques in the Context of Scene Refinement (MRS, JRB), pp. 1685–1688.
ICPR-v3-2000-CamilleriP #bound: Spectral Unmixing of Mixed Pixels for Texture Boundary Refinement (KPC, MP), pp. 7096–7099.
ICPR-v3-2000-WerthS #bidirectional #correlation #framework #novel: A Novel Bidirectional Framework for Control and Refinement of Area Based Correlation Techniques (PW, SS), pp. 3738–3741.
ICPR-v3-2000-WestT: Assessing Different Features for Pose Refinement (GAWW, ET), pp. 3687–3690.
LOPSTR-2000-ColvinHS #composition #logic programming: Modular Logic Program Refinement (RC, IJH, PAS).
LOPSTR-J-2000-ColvinHS #composition #logic programming: A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.
PEPM-2000-LeviS #analysis #linear: Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.
POPL-2000-AlurG #composition: Modular Refinement of Hierarchic Reactive Machines (RA, RG), pp. 390–402.
FASE-2000-BellegardeJK #composition: Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
FASE-2000-KolanoKM #parallel #realtime: Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.
FoSSaCS-2000-EngelhardtMM #framework #reasoning: A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.
FoSSaCS-2000-HonsellLST #λ-calculus: Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.
FoSSaCS-2000-YangR #calculus #on the #semantics: On the Semantics of Refinement Calculi (HY, USR), pp. 359–374.
CAV-2000-ClarkeGJLV #abstraction: Counterexample-Guided Abstraction Refinement (EMC, OG, SJ, YL, HV), pp. 154–169.
WICSA-1999-CanalPT #architecture #specification: Specification and Refinement of Dynamic Software Architectures (CC, EP, JMT), pp. 107–126.
FM-v1-1999-Kurki-Suonio #component #interface #specification: Component and Interface Refinement in Closed-System Specifications (RKS), pp. 134–154.
FM-v1-1999-PhilippsR #architecture: Refinement of Pipe-and-Filter Architectures (JP, BR), pp. 96–115.
FM-v1-1999-Rouzaud #calculus: Interpreting the B-Method in the Refinement Calculus (YR), pp. 411–430.
FM-v2-1999-CavalcantiN #object-oriented #semantics: A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
FM-v2-1999-DerrickB: Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.
FM-v2-1999-HehnerG #semantics: Refinement Semantics and Loop Rules (ECRH, AMG), pp. 1497–1510.
IFM-1999-BoltonDW #data type #on the #process #simulation: On the Refinement and Simulation of Data Types and Processes (CB, JD, JW), pp. 273–292.
IFM-1999-LanoA #distributed: Reactive System Refinement of Distributed Systems in B (KL, KA), pp. 415–434.
IFM-1999-Paige #communication #concurrent #specification #using: Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication (RFP), pp. 353–372.
IFM-1999-StoddartD #calculus #modelling: The Refinement of Event Calculus Models (BS, SD), pp. 151–169.
AGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling: 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: Enabling the Refinement of a Software Architecture into a Design (MAA, NM), pp. 17–31.
TOOLS-ASIA-1999-WangLPZZ #approach #calculus #development #formal method: A Formal Software Development Approach Based on COOZ and Refinement Calculus (YW, BL, JP, MZ, GZ), pp. 261–266.
LOPSTR-1999-Sannella #algebra #development #specification: Algebraic Specification and Program Development by Stepwise Refinement (DS), pp. 1–9.
SAS-1999-HillS #analysis #linear: Freeness Analysis Through Linear Refinement (PMH, FS), pp. 85–100.
ASE-1999-Krustev #generative #testing #using: Software Test Generation Using Refinement Types (DNK), pp. 279–282.
ASE-1999-PoppletonB #named: Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.
DATE-1999-CmarRSVB #design #fixpoint: A Methodology and Design Environment for DSP ASIC Fixed-Point Refinement (RC, LR, PS, SV, IB), p. 271–?.
CAV-1999-HenzingerQR: Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.
CSL-1999-Hannay #specification #system f: Specification Refinement with System F (JEH), pp. 530–545.
SIGMOD-1998-AvnurHLORRRW #named #navigation #online: CONTROL: Continuous Output and Navigation Technology with Refinement On-Line (RA, JMH, BL, CO, BR, VR, TR, KW), pp. 567–569.
ICML-1998-RamachandranM #network: Theory Refinement of Bayesian Networks with Hidden Variables (SR, RJM), pp. 454–462.
KDD-1998-FayyadRB #algorithm #clustering: Initialization of Iterative Refinement Clustering Algorithms (UMF, CR, PSB), pp. 194–198.
ALP-PLILP-1998-LeviS #empirical #logic programming #source code: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs (GL, FS), pp. 152–169.
SIGAda-1998-HendrixCBM #abstraction #ada #incremental #visual notation: Visual Support for Incremental Abstraction and Refinement in Ada 95 (TDH, JHCI, LAB, KSM), pp. 152–157.
DAC-1998-YoungMSTHN #design #embedded #java #specification #using: Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (JSY, JM, MS, AT, PNH, ARN), pp. 70–75.
FASE-1998-PadbergGE #rule-based #safety: Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.
FASE-1998-Scholz #calculus: A Refinement Calculus for Statecharts (PS), pp. 285–301.
FoSSaCS-1998-Klempien-Hinrichs: Net Refinement by Pullback Rewriting (RKH), pp. 189–202.
DL-1997-CooperB #navigation #query #visual notation: Lexical Navigation: Visually Prompted Query Expansion and Refinement (JWC, RJB), pp. 237–246.
ICSM-2000-YoungerBL #concurrent #source code: A Formal Transformation and Refinement Method for Concurrent Programs (EJY, KHB, ZL), p. 287–?.
FME-1997-MikhajlovaS #interface #object-oriented #source code: Class Refinement and Interface Refinement in Object-Oriented Programs (AM, ES), pp. 82–101.
FME-1997-Stringer-CalvertSW #case study #using: Using PVS to Prove a Z Refinement: A Case Study (DWJSC, SS, IW), pp. 573–588.
SIGIR-1997-VelezWSG #effectiveness #performance #query: Fast and Effective Query Refinement (BV, RW, MAS, DKG), pp. 6–15.
ASE-1997-DimitrakosM: Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.
ASE-1997-MaharajB #on the #specification #verification: On the Verification of VDM Specification and Refinement with PVS (SM, JB), p. 280–?.
DAC-1997-XuGC #clustering: Cluster Refinement for Block Placement (JX, PNG, CKC), pp. 762–765.
TACAS-1997-SandnerM #proving #theorem proving: Theorem Prover Support for the Refinement of Stream Processing Functions (RS, OM), pp. 351–365.
TAPSOFT-1997-RensinkG #implementation: Action Refinement as an Implementation Relations (AR, RG), pp. 772–786.
CAV-1997-Klarlund #algorithm #online: An n log n Algorithm for Online BDD Refinement (NK), pp. 107–118.
CAV-1997-McMillan #composition #design #hardware: A Compositional Rule for Hardware Design Refinement (KLM), pp. 24–35.
FME-1996-BoitenDBS #consistency #specification: Consistency and Refinement for Partial Specification in Z (EAB, JD, HB, MS), pp. 287–306.
FME-1996-FidgeUKH #realtime #scheduling: Integrating Real-Time Scheduling Theory and Program Refinement (CJF, MU, PK, IJH), pp. 327–346.
ICML-1996-CarbonaraS #knowledge base #performance: Improving the Efficiency of Knowledge Base Refinement (LC, DHS), pp. 78–86.
ICPR-1996-West #verification: Assessing feature importance for verification and pose refinement (GAWW), pp. 30–34.
KR-1996-KambhampatiY #constraints #on the: On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.
SAS-1996-CoppoDG #program analysis: Refinement Types for Program Analysis (MC, FD, PG), pp. 143–158.
FSE-1996-DarimontL #requirements: Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.
CAV-1996-Gribomont #reduction #theorem: Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.
CAV-1996-PistoreS #algorithm #π-calculus: A Partition Refinement Algorithm for the π-Calculus (MP, DS), pp. 38–49.
ICML-1995-CrawH #network: Protein Folding: Symbolic Refinement Competes with Neural Networks (SC, PH), pp. 133–141.
LOPSTR-1995-SemeraroEM #datalog #source code: Ideal Refinement of Datalog Programs (GS, FE, DM), pp. 120–136.
HPDC-1995-JacobL #algorithm #performance #recursion: A Spanning Tree Based Recursive Refinement Algorithm for Fast Task Mapping (JCJ, SYL), pp. 58–65.
TAPSOFT-1995-KaraliH #composition #logic programming #semantics: A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics (IK, CH), pp. 486–500.
TAPSOFT-1995-Lano #specification: Reactive System Specification and Refinement (KL), pp. 696–710.
FME-1994-Elvang-GoranssonF: An Extended VDM Refinement Relation (MEG, REF), pp. 175–189.
FME-1994-ErasmyS #case study #using: Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.
FME-1994-Naftalin #design: Informal Strategies in Design by Refinement (MN), pp. 401–420.
FME-1994-PaechR #automaton #behaviour #concept #modelling: A new Concept of Refinement used for Behaviour Modelling with Automata (BP, BR), pp. 154–174.
FME-1994-Seidel #case study #specification: Case Study: Specification and Refinement of the PI-Bus (KS), pp. 532–546.
ICML-1994-Gil #incremental #learning: Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.
KDD-1994-HanF #concept #database #generative #information management: Dynamic Generation and Refinement of Concept Hierarchies for Knowledge Discovery in Databases (JH, YF), pp. 157–168.
KR-1994-Kambhampati #algorithm #framework: Refinement Search as a Unifying Framework for Analyzing Planning Algorithms (SK), pp. 329–340.
TOOLS-EUROPE-1994-Smith #development #framework #object-oriented #specification: A Development Framework for Object-Oriented Specification and Refinement (GS), pp. 173–183.
ICSE-1994-MiliMM #component: Storing and Retrieving Software Components: A Refinement Based System (AM, RM, RM), pp. 91–100.
SAC-1994-VaradarajanH #adaptation #algorithm #performance: An efficient dynamic load balancing algorithm for adaptive mesh refinement (RV, IH), pp. 467–472.
EDAC-1994-GajskiVN: A System-Design Methodology: Executable-Specification Refinement (DG, FV, SN), pp. 458–463.
EDAC-1994-KimCL #synthesis #testing: A Stepwise Refinement Data Path Synthesis Procedure for Easy Testability (TK, KSC, CLL), pp. 586–590.
LICS-1994-Burstall #proving: Terms, Proofs, and Refinement (RMB), pp. 2–7.
ICDAR-1993-SakodaZP #feature model #recognition #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: Algorithm Refinement with Read and Write Frames (JB), pp. 148–161.
FME-1993-CauR #fault tolerance #using: Using Relative Refinement for Fault Tolerance (AC, WPdR), pp. 19–41.
FME-1993-Fidge #realtime: Real-Time Refinement (CJF), pp. 314–331.
FME-1993-Ward #calculus #specification: Adding Specification Constructors to the Refinement Calculus (NW), pp. 652–670.
CIKM-1993-LeeK #database #summary: A Hypothesis Refinement Method for Summary Discovery in Databases (DL, MHK), pp. 274–282.
SEKE-1993-EspositoMS #information management #machine learning: Machine Learning Techniques for Knowledge Acquisition and Refinement (FE, DM, GS), pp. 319–323.
SEKE-1993-ReynoldsM #metric #process #programming language #using: 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 #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 #using: A Practical Approach to Software Engineering Using Z and the Refinement Calculus (KRW), pp. 79–88.
KBSE-1993-ZeilW #knowledge base #testing: A Knowledge Base for Software Test Refinement (SJZ, CW), p. 10.
ICALP-1992-Vogler #communication #petri net: Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
ML-1992-Tecuci #knowledge base: Cooperation in Knowledge Base Refinement (GT), pp. 445–450.
SEKE-1992-SatoMI #using: Program Refinement Using Generic Object (YS, YM, TI), pp. 18–25.
ECOOP-1992-LanoH #object-oriented #reasoning #specification: Reasoning and Refinement in Object-Oriented Specification Languages (KL, HPH), pp. 78–97.
ICALP-1991-AcetoH #algebra #finite #process: Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.
VDME-1991-ScheweSW #database #specification: Specification and Refinement in an Integrated Database Application Environment (KDS, JWS, IW), pp. 496–510.
VDME-1991-Woodcock #calculus #tutorial: A Tutorial on the Refinement Calculus (JW), pp. 79–140.
VDME-1991-Woodcock91a #calculus: The Refinement Calculus (JW), pp. 80–95.
VDME-1991-Woodcock91b: An Introduction to Refinement in Z (JW), pp. 96–117.
VDME-1991-Woodcock91c #case study: Two Refinement Case Studies (JW), pp. 118–140.
KDD-1991-SchlimmerMM: Justification-Based Refinement of Expert Knowledge (JCS, TMM, JPM), pp. 397–410.
ML-1991-Berenji #approximate #learning: Refinement of Approximate Reasoning-based Controllers by Reinforcement Learning (HRB), pp. 475–479.
ML-1991-CrawS #flexibility: The Flexibility of Speculative Refinement (SC, DHS), pp. 28–32.
ML-1991-FeldmanSK #approximate #incremental: Incremental Refinement of Approximate Domain Theories (RF, AMS, MK), pp. 500–504.
ML-1991-Hamakawa: Revision Cost for Theory Refinement (RH), pp. 514–518.
ML-1991-Jones #using: Knowledge Refinement Using a High Level, Non-Technical Vocabulary (EKJ), pp. 18–22.
ML-1991-KedarBD #approximate: The Blind Leading the Blind: Mutual Refinement of Approximate Theories (SK, JLB, CLD), pp. 308–312.
ML-1991-MooneyO #induction: Constructive Induction in Theory Refinement (RJM, DO), pp. 178–182.
PLDI-1991-FreemanP #ml: Refinement Types for ML (TF, FP), pp. 268–277.
POPL-1991-AbadiP #composition #logic: A Logical View of Composition and Refinement (MA, GDP), pp. 323–332.
CAAP-1991-Luo #specification #type system: Program Specification and Data Refinement in Type Theory (ZL), pp. 143–168.
LICS-1991-JonssonL #probability #process #specification: Specification and Refinement of Probabilistic Processes (BJ, KGL), pp. 266–277.
VDME-1990-Goguen #algebra #approach: An Algebraic Approach to Refinement (JAG), pp. 12–28.
VDME-1990-King #calculus: Z and the Refinement Calculus (SK), pp. 164–188.
VDME-1990-WoodcockM #concurrent: Refinement of State-Based Concurrent Systems (JW, CM), pp. 340–351.
ML-1990-Valtorta #complexity #knowledge base #network: More Results on the Complexity of Knowledge Base Refinement: Belief Networks (MV), pp. 419–426.
SIGIR-1990-ChenD #information retrieval #interactive #online #process #query: Online Query Refinement on Information Retrieval Systems: A Process Model of Searcher/System Interactions (HC, VD), pp. 115–133.
CAV-1990-CarringtonR: Computer Assistance for Program Refinement (DAC, KAR), pp. 312–321.
ML-1989-Ginsberg #knowledge base: Knowledge Base Refinement and Theory Revision (AG), pp. 260–265.
ML-1989-Valtorta #complexity #knowledge-based: Some Results on the Complexity of Knowledge-Based Refinement (MV), pp. 326–331.
ML-1989-WilkinsT #consistency #knowledge base: Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.
ESEC-1989-Dix #re-engineering: Software Engineering Implications for Formal Refinement (AJD), pp. 243–259.
ICSE-1989-NakagawaF #algebra #approach #composition #process: Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.
VDME-1988-KilpatrickM #specification: Software Support for the Refinement of VDM Specifications (PK, PM), pp. 459–475.
ICSE-1988-Sharp #automation #design #evaluation #named #using: KDA — A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control (HCS), pp. 407–417.
LICS-1988-AbadiL: The Existence of Refinement Mappings (MA, LL), pp. 165–175.
ESOP-1986-HeHS: Data Refinement Refined (JH, CARH, JWS), pp. 187–196.
ICSE-1981-CheathamHT: Program Refinement by Transsformation (TECJ, GHH, JAT), pp. 430–438.
CADE-1980-WosOH #named: Hyperparamodulation: A Refinement of Paramodulation (LW, RAO, LJH), pp. 208–219.
FM-1979-BoydPW79a #abstraction: Abstraction and Refinement in RDM (DLB, AP, WTW), pp. 111–149.
ICSE-1979-CheathamTH: A System for Program Refinement (TECJ, JAT, GHH), pp. 53–62.
DAC-1978-LekkosP #how #logic #pseudo #using: How to develop module logic using pseudo-code and stepwise refinement (AAL, CMP), pp. 366–370.
POPL-1977-Doeppner #correctness #parallel: Parallel Program Correctness Through Refinement (TWDJ), pp. 155–169.