BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
refinement
Google refinement

Tag #refinement

527 papers:

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