BibSLEIGH — correct stem

Used together with:

error (98)
program (74)
use (61)
base (58)
model (57)

Stem correct$ (all stems)

644 papers:

DAC-2015-JangPGB #self: Self-correcting STTRAM under magnetic field attacks (JWJ, JP, SG, SB), p. 6.
DAC-2015-RayYBB #correctness #design #security #validation: Correctness and security at odds: post-silicon validation of modern SoC designs (SR, JY, AB, SB), p. 6.
DATE-2015-HuQ #approximate #fault: A new approximate adder with low relative error and correct sign calculation (JH, WQ), pp. 1449–1454.
DATE-2015-RamachandranHHM #fault: FPGA accelerated DNA error correction (AR, YH, WmWH, JM, DC), pp. 1371–1376.
PODS-2015-AmelootGKNS #query: Parallel-Correctness and Transferability for Conjunctive Queries (TJA, GG, BK, FN, TS), pp. 47–58.
VLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency: The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.
SANER-2015-Morales #anti #automation #framework #towards: Towards a framework for automatic correction of anti-patterns (RM), pp. 603–604.
PLDI-2015-LopesMNR #optimisation: Provably correct peephole optimizations with alive (NPL, DM, SN, JR), pp. 22–32.
FM-2015-DerrickS #correctness #framework #memory management #modelling: A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
GCM-2015-Flick #correctness #graph #on the #recursion #source code: On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.
CHI-2015-OhCKL #detection #documentation #named: ScanShot: Detecting Document Capture Moments and Correcting Device Orientation (JO, WC, JK, UL), pp. 953–956.
CHI-2015-PutzeAS #design #evaluation #fault #gesture #interface #self: Design and Evaluation of a Self-Correcting Gesture Interface based on Error Potentials from EEG (FP, CA, TS), pp. 3375–3384.
HIMI-IKC-2015-NoridukiSIT #fault: Map Matching to Correct Location Error in an Electric Wheel Chair (YN, HS, SI, HT), pp. 243–252.
ICEIS-v1-2015-GruppiMAFL #heuristic #performance: An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
ICML-2015-UbaruMS #approximate #fault #matrix #rank #using: Low Rank Approximation using Error Correcting Coding Matrices (SU, AM, YS), pp. 702–710.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar: Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar: Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
ECOOP-2015-DongolDGS #architecture #concurrent #correctness #manycore: Defining Correctness Conditions for Concurrent Objects in Multicore Architectures (BD, JD, LG, GS), pp. 470–494.
OOPSLA-2015-0001SCA: Conditionally correct superoptimization (RS, ES, BRC, AA), pp. 147–162.
POPL-2015-DoddsHK #scalability #stack: A Scalable, Correct Time-Stamped Stack (MD, AH, CMK), pp. 233–246.
REFSQ-2015-DaunWP #detection #embedded #requirements: Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.
SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics: Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
ESEC-FSE-2015-ZhengMZ #capacity #constraints #identification #problem #process: A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies (QZ, AM, MZ), pp. 637–648.
ICSE-v2-2015-DialloGM #correctness: Correctness and Relative Correctness (ND, WG, AM), pp. 591–594.
CGO-2015-HasabnisQS #architecture #code generation #correctness #specification: Checking correctness of code generator architecture specifications (NH, RQ, RS), pp. 167–178.
HPCA-2015-DuweJ0 #fault #latency #predict: Correction prediction: Reducing error correction latency for on-chip memories (HD, XJ, RK), pp. 463–475.
SOSP-2015-HawblitzelHKLPR #distributed #named #proving: IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
SOSP-2015-MinKLSK #correctness #debugging #file system #semantics: Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
CADE-2015-MaricJM #correctness #higher-order #proving #using: Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (FM, PJ, MM), pp. 256–271.
CAV-2015-SinghG #predict #programming: Predicting a Correct Program in Programming by Example (RS, SG), pp. 398–414.
CAV-2015-BacchusK #satisfiability #set #using: Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets (FB, GK), pp. 70–86.
ICLP-J-2015-AngelisFPP #correctness #horn clause #imperative #proving #source code: Proving correctness of imperative programs by linearizing constrained Horn clauses (EDA, FF, AP, MP), pp. 635–650.
ISSTA-2015-QiLAR #analysis #correctness #generative: An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (ZQ, FL, SA, MCR), pp. 24–36.
RTA-2015-LepperW #performance #towards: A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.
DAC-2014-GaoXYP #named #optimisation #process: MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.
DATE-2014-AltmeyerD #analysis #correctness #on the #precise #probability: On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
DATE-2014-BelKKS #fault #multi: Improving STT-MRAM density through multibit error correction (BDB, JK, CHK, SSS), pp. 1–6.
DATE-2014-HoffmanRAA #analysis #fault #memory management: Wear-out analysis of Error Correction Techniques in Phase-Change Memory (CH, LR, RA, GA), pp. 1–4.
DATE-2014-JunsangsriLH #concurrent #detection #hybrid: A hybrid non-volatile SRAM cell with concurrent SEU detection and correction (PJ, FL, JH), pp. 1–4.
DRR-2014-LundRW #fault #how #multi #question: How well does multiple OCR error correction generalize? (WBL, EKR, DDW), p. ?–13.
DRR-2014-TaghvaA #fault #identification #web: Utilizing web data in identification and correction of OCR errors (KT, SA), pp. 902109–6.
TACAS-2014-BoenderC #algorithm #branch #correctness #on the: On the Correctness of a Branch Displacement Algorithm (JB, CSC), pp. 605–619.
FLOPS-2014-Bahr #compilation #correctness #graph #proving #using: Proving Correctness of Compilers Using Structured Graphs (PB), pp. 221–237.
CHI-2014-BiOZ #multi #optimisation: Both complete and correct?: multi-objective optimization of touchscreen keyboard (XB, TO, SZ), pp. 2297–2306.
CHI-2014-NicolauMGGH #multi: B#: chord-based correction for multitouch braille input (HN, KM, TJG, JG, VLH), pp. 1705–1708.
HILT-2014-Ball #compilation #correctness #logic #research #verification: Correctness via compilation to logic: a decade of verification at microsoft research (TB), pp. 69–70.
ICEIS-v1-2014-AmorimC #clustering #evaluation: Paired Indices for Clustering Evaluation — Correction for Agreement by Chance (MJA, MGMSC), pp. 164–170.
CIKM-2014-ProkofyevMGDC #fault #ranking: Correct Me If I’m Wrong: Fixing Grammatical Errors by Preposition Ranking (RP, RM, MG, GD, PCM), pp. 331–340.
MLDM-2014-AnanpiriyakulPV #classification #multi: Label Correction Strategy on Hierarchical Multi-Label Classification (TA, PP, PV), pp. 213–227.
SEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing: An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
ICMT-2014-OrejasP #correctness #graph grammar #incremental: Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.
OOPSLA-2014-FeldthausM #correctness #interface #javascript #library #typescript: Checking correctness of TypeScript interfaces for JavaScript libraries (AF, AM), pp. 1–16.
PADL-2014-AreiasR #correctness #logic programming #on the #performance #source code: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.
HPDC-2014-WuC #fault #named #online: FT-ScaLAPACK: correcting soft errors on-line for ScaLAPACK cholesky, QR, and LU factorization routines (PW, ZC), pp. 49–60.
LICS-CSL-2014-Ehrhard #correctness #proving: A new correctness criterion for MLL proof nets (TE), p. 10.
CBSE-2013-BurtonS #correctness #data type #mixin #using: Correctness of intrusive data structures using mixins (EB, ES), pp. 53–58.
ECSA-2013-TounsiKK #design pattern #modelling #refinement: Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
ASE-2013-HuangMM #proving #smt #using: Proving MCAPI executions are correct using SMT (YH, EM, JM), pp. 26–36.
CASE-2013-RoszkowskaG #distributed #multi: Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
DAC-2013-SalodkarRBB #automation #design #multi: Automatic design rule correction in presence of multiple grids and track patterns (NS, SR, SB, SHB), p. 6.
DAC-2013-Wang #fault #reliability: Hierarchical decoding of double error correcting codes for high speed reliable memories (ZW), p. 7.
DATE-2013-KocBKE #detection #fault: Exploiting replicated checkpoints for soft error detection and correction (FK, KB, BK, OE), pp. 1494–1497.
DATE-2013-YanLH #adaptation #fault #self: A dynamic self-adaptive correction method for error resilient application (LY, HL, ZH), pp. 943–946.
ICDAR-2013-GerdjikovMN: Extraction of Spelling Variations from Language Structure for Noisy Text Correction (SG, SM, VN), pp. 324–328.
ICDAR-2013-HaoGZXPSK #automation #detection #fault #finite #transducer: Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer (SH, ZG, MZ, YX, HP, KS, DK), pp. 763–767.
SIGMOD-2013-MoerkotteFE #on the: On the correct and complete enumeration of the core search space (GM, PF, ME), pp. 493–504.
VLDB-2013-BajajS #authentication #named #query #sql: CorrectDB: SQL Engine with Practical Query Authentication (SB, RS), pp. 529–540.
ITiCSE-2013-Luxton-ReillyDKTY #difference #on the #student: On the differences between correct student solutions (ALR, PD, DK, EDT, SYY), pp. 177–182.
ICSM-2013-Perez #design #lessons learnt #refactoring #smell #summary: Refactoring Planning for Design Smell Correction: Summary, Opportunities and Lessons Learned (JP), pp. 572–577.
WCRE-2013-SmithsonEAKB #correctness #trade-off: Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness (MS, KE, KA, AK, RB), pp. 52–61.
PEPM-2013-SulzmannNZ #abstraction #correctness #traceability: Traceability and evidence of correctness of EDSL abstractions (MS, JNF, AZ), pp. 71–74.
PLDI-2013-BlackshearL #composition #framework #semantics #specification: Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.
SAS-2013-FouilheMP #abstract domain #correctness #generative #performance: Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
STOC-2013-Ben-SassonGKKS #algebra #geometry #product line: A new family of locally correctable codes based on degree-lifted algebraic geometry codes (EBS, AG, YK, SK, SS), pp. 833–842.
ICALP-v1-2013-HemenwayOW: Local Correctability of Expander Codes (BH, RO, MW), pp. 540–551.
IFM-2013-AndriamiarinaMS #algorithm #distributed #modelling: Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.
ICFP-2013-Schmidt-SchaussS #correctness #haskell #implementation: Correctness of an STM Haskell implementation (MSS, DS), pp. 161–172.
GCM-J-2012-PoskittP #correctness #graph #source code #verification: Verifying Total Correctness of Graph Programs (CMP, DP).
CHI-2013-BiAPZ #algorithm #named #recognition: Octopus: evaluating touchscreen keyboard correction and recognition algorithms via (XB, SA, KP, SZ), pp. 543–552.
CSCW-2013-GarrettW #realtime: The promise and peril of real-time corrections to political misperceptions (RKG, BEW), pp. 1047–1058.
HCI-III-2013-IshiharaI13a: Correcting Distortion of Views into Aquarium (YI, MI), pp. 163–170.
HCI-IMT-2013-KuncMLK #speech: Speech-Based Text Correction Patterns in Noisy Environment (LK, TM, ML, JK), pp. 59–66.
HIMI-D-2013-MoriTK #adaptation: Correction Method Based on KI-VPA Model for Changes in Vibratory Perception Caused by Adaptation (YM, TT, SK), pp. 107–116.
ICML-c1-2013-ChenWC: Maximum Variance Correction with Application to A* Search (WC, KQW, YC), pp. 302–310.
ICML-c2-2013-HanczarN #clustering: Precision-recall space to correct external indices for biclustering (BH, MN), pp. 136–144.
SEKE-2013-AbdouGK #open source #process #testing: Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SIGIR-2013-HassanWW #query #self #towards #using: Toward self-correcting search engines: using underperforming queries to improve search (AHA, RWW, YMW), pp. 263–272.
AMT-2013-Gottmann0NBEEE #concurrent #correctness #graph grammar: Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (SG, FH, NN, BB, CE, HE, TE), pp. 62–71.
MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml: Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml: Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
ICSE-2013-Ciccozzi #modelling #uml: From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.
HPCA-2013-JianK #adaptation #reliability: Adaptive Reliability Chipkill Correct (ARCC) (XJ, RK), pp. 270–281.
HPDC-2013-DaviesC #fault #online: Correcting soft errors online in LU factorization (TD, ZC), pp. 167–178.
PPoPP-2013-DiceLLLM #algorithm #hardware #memory management #transaction #using: Using hardware transactional memory to correct and simplify and readers-writer lock algorithm (DD, YL, YL, VL, MM), pp. 261–270.
PPoPP-2013-LePCN #memory management #modelling #performance: Correct and efficient work-stealing for weak memory models (NML, AP, AC, FZN), pp. 69–80.
DAC-2012-ForteS #on the #proximity: On improving the uniqueness of silicon-based physically unclonable functions via optical proximity correction (DF, AS), pp. 96–105.
DAC-2012-PurandareAH #correctness #proving #regular expression: Proving correctness of regular expression accelerators (MP, KA, CH), pp. 350–355.
DATE-2012-SinhaRSB #component #design #multi: Correct-by-construction multi-component SoC design (RS, PSR, ZS, SB), pp. 647–652.
DATE-2012-TurturiciSFF #embedded #power management #realtime: Low-power embedded system for real-time correction of fish-eye automotive cameras (MT, SS, LF, EF), pp. 340–341.
ESOP-2012-BurckhardtGMY #concurrent #correctness #library #memory management: Concurrent Library Correctness on the TSO Memory Model (SB, AG, MM, HY), pp. 87–107.
ESOP-2012-HabermaierK #correctness #execution #on the: On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.
FASE-2012-MahouachiKG #classification #design #detection #fault: A New Design Defects Classification: Marrying Detection and Correction (RM, MK, KG), pp. 455–470.
STOC-2012-GalHKPV #bound: Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates (AG, KAH, MK, PP, EV), pp. 479–494.
FLOPS-2012-Hamana #category theory #haskell: Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.
FM-2012-GiorginoS #algorithm #correctness #pointer: Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (MG, MS), pp. 202–216.
ICEIS-J-2012-RenardCR12a #evaluation #fault #process #towards: Towards a Leaner Evaluation Process: Application to Error Correction Systems (AR, SC, BR), pp. 228–242.
ICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #slicing #testing: Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.
ICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification: A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.
ICEIS-v2-2012-RenardCR #documentation #fault #process: A Tool to Evaluate Error Correction Resources and Processes Suited for Documents Improvement (AR, SC, BR), pp. 27–35.
ICEIS-v2-2012-YiasemisA #automation #fault #locality #mutation testing #testing #using: Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation Testing (PSY, ASA), pp. 15–26.
CIKM-2012-BonchiFNSV #interactive: Interactive and context-aware tag spell check and correction (FB, OF, FMN, FS, HV), pp. 1869–1873.
CIKM-2012-RamanSGB #algorithm #learning #towards: Learning from mistakes: towards a correctable learning algorithm (KR, KMS, RGB, CJCB), pp. 1930–1934.
CIKM-2012-SunSL #learning #multi #performance #query: Fast multi-task learning for query spelling correction (XS, AS, PL), pp. 285–294.
ICML-2012-RavanbakhshYG #approximate #modelling #visual notation: A Generalized Loop Correction Method for Approximate Inference in Graphical Models (S(R, CNY, RG), p. 84.
ICPR-2012-FengLSPZG #monitoring #robust #statistics: Artifact correction with robust statistics for non-stationary intracranial pressure signal monitoring (MF, LYL, KS, CP, FZ, CG), pp. 557–560.
ICPR-2012-GautamSV #performance: An efficient, bolus-stage based method for motion correction in perfusion weighted MRI (RG, JS, RV), pp. 145–148.
ICPR-2012-MinagawaKTH #automation #detection: A color chart detection method for automatic color correction (AM, YK, HT, YH), pp. 1912–1915.
ICPR-2012-RadwanDG #detection #estimation: Correcting pose estimation with implicit occlusion detection and rectification (IR, AD, RG), pp. 3496–3499.
SEKE-2012-MiaoCLZZ #clustering #correctness #fault #identification #locality #testing: Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases (YM, ZC, SL, ZZ, YZ), pp. 267–272.
SIGIR-2012-LiDZ #markov #query: A generalized hidden Markov model with discriminative training for query spelling correction (YL, HD, CZ), pp. 611–620.
AMT-2012-HildebrandtLG #development #framework #graph grammar #model transformation: The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
ICMT-2012-AndovaBE #model transformation #reuse: Reusable and Correct Endogenous Model Transformations (SA, MvdB, LE), pp. 72–88.
ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety: Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.
PPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification: NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus: Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.
ICST-2012-Bandyopadhyay #correctness #fault #locality: Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization (AB), pp. 479–482.
IJCAR-2012-RauSS #correctness #problem #program transformation #termination: Correctness of Program Transformations as a Termination Problem (CR, DS, MSS), pp. 462–476.
ISSTA-2012-StaatsHKR #comprehension #correctness #invariant: Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code: The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
DAC-2011-HaddadN #analysis #grid #power management #using: Power grid correction using sensitivity analysis under an RC model (PAH, FNN), pp. 688–693.
DATE-2011-NarayananZT #correctness #pattern matching #process #using: Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching (RN, MHZ, ST), pp. 1188–1191.
DATE-2011-RossiTSM #analysis #fault #memory management #performance #reliability: Error correcting code analysis for cache memory high reliability and performance (DR, NT, MS, CM), pp. 1620–1625.
DRR-2011-Rodriguez-PineiroAPM #documentation #image: A new method for perspective correction of document images (JRP, PCA, FPG, AMG), pp. 1–10.
ICDAR-2011-KluznerT #using: Page Curling Correction for Scanned Books Using Local Distortion Information (VK, AT), pp. 890–894.
ICDAR-2011-LundR #fault #multi: Error Correction with In-domain Training across Multiple OCR System Outputs (WBL, EKR), pp. 658–662.
ICDAR-2011-LundWR #fault #multi: Progressive Alignment and Discriminative Error Correction for Multiple OCR Engines (WBL, DDW, EKR), pp. 764–768.
ICDAR-2011-MarianoLSFMT #documentation #image #multi: Correcting Specular Noise in Multiple Images of Photographed Documents (EM, RDL, GdFPeS, JF, PM, MT), pp. 915–919.
ICDAR-2011-Suwa #image: Color-Mixing Correction of Overlapped Colors in Scanner Images (MS), pp. 217–221.
ICPC-2011-KessentiniKSBO #design #detection #fault: Design Defects Detection and Correction by Example (MK, WK, HAS, MB, AO), pp. 81–90.
PLDI-2011-BurnimENS #correctness #named #nondeterminism #parallel #runtime #specification: NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
STOC-2011-BarakDYW #bound #design #geometry #matrix #rank: Rank bounds for design matrices with applications toc ombinatorial geometry and locally correctable codes (BB, ZD, AY, AW), pp. 519–528.
ICALP-v1-2011-NgoPR #matrix: Efficiently Decodable Error-Correcting List Disjunct Matrices and Applications — (Extended Abstract) (HQN, EP, AR), pp. 557–568.
ICFP-2011-HinzeJ #category theory #fixpoint #proving: Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
HCI-DDA-2011-LinDCLL: Measuring Corrective Reaction Time with the Intermittent Illumination Model (JFL, CGD, CMC, YDL, YQL), pp. 397–405.
ICEIS-v2-2011-LiOAK #fault #identification #modelling #network #using: Patterns Identification for Hitting Adjacent Key Errors Correction using Neural Network Models (JL, KO, MSA, HBK), pp. 5–12.
KMIS-2011-AndreasikCU #correctness #health #semantics #web: A Semantic Web Technologies-based System for Controlling the Correctness of Medical Procedures in Polish National Health Fund (JA, AC, SU), pp. 331–336.
MoDELS-2011-HermannEOCDX #correctness #graph grammar: Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
MoDELS-2011-HermannEOCDX #correctness #graph grammar: Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
OOPSLA-2011-WeeratungeZJ #using: Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.
POPL-2011-DimoulasFFF #contract: Correct blame for contracts: no more scapegoating (CD, RBF, CF, MF), pp. 215–226.
ICLP-2011-Kriener #logic programming #reasoning #source code: Correct Reasoning about Logic Programs (JK), pp. 280–283.
ICLP-J-2011-Antoy #correctness #on the: On the correctness of pull-tabbing (SA), pp. 713–730.
ICST-2011-LazaarGL #automation #constraints #framework #source code: A Framework for the Automatic Correction of Constraint Programs (NL, AG, YL), pp. 319–326.
TAP-2011-DrossFM: Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.
DATE-2010-AgyekumN #communication #hardware #robust: An error-correcting unordered code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 765–770.
DATE-2010-DadgourB #architecture #design #detection #novel #pipes and filters #using: Aging-resilient design of pipelined architectures using novel detection and correction circuits (HFD, KB), pp. 244–249.
TACAS-2010-KatzP #automation #verification: Code Mutation in Verification and Automatic Code Correction (GK, DP), pp. 435–450.
ICSM-2010-Haller #correctness #implementation #information management #on the: On the implementation and correctness of information system upgrades (KH), pp. 1–5.
ICSM-2010-LiSKC #empirical #maintenance: Cost drivers of software corrective maintenance: An empirical study in two companies (JL, TS, JMWK, RC), pp. 1–8.
PEPM-2010-BoustaniH #java #source code: Corrective hints for type incorrect generic Java programs (NEB, JH), pp. 5–14.
PLDI-2010-RuwaseCGM #correctness #optimisation #tool support: Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.
CIAA-2010-TirnaucaT #automaton #identification #query: Types of Trusted Information That Make DFA Identification with Correction Queries Feasible (CT, CIT), pp. 272–281.
ICALP-v1-2010-AmirELPS #detection: Cycle Detection and Correction (AA, EE, AL, EP, NS), pp. 43–54.
IFM-2010-DaumSS #correctness: From Operating-System Correctness to Pervasively Verified Applications (MD, NS, MS), pp. 105–120.
ICGT-2010-Radke #correctness #graph #source code: Correctness of Graph Programs Relative to HR⁺ Conditions (HR), pp. 410–412.
CHI-2010-ArifS #cost analysis #fault #predict: Predicting the cost of error correction in character-based text entry technologies (ASA, WS), pp. 5–14.
CHI-2010-DixonPH #feedback #named #recognition #sketching #using: iCanDraw: using sketch recognition and corrective feedback to assist a user in drawing human faces (DD, MP, TH), pp. 897–906.
CHI-2010-StavnessLF #named #polynomial: pCubee: a perspective-corrected handheld cubic display (IS, BL, SF), pp. 1381–1390.
CAiSE-2010-SidorovaST #concept #correctness #workflow: Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.
ECIR-2010-CoxZFH #approximate #correctness #query #using: Improving Query Correctness Using Centralized Probably Approximately Correct (PAC) Search (IJC, JZ, RF, LKH), pp. 265–280.
ICPR-2010-ArvanitopoulosBT #fault #linear #subclass #using: Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.
ICPR-2010-CiompiPR #approach #random #using: A Meta-Learning Approach to Conditional Random Fields Using Error-Correcting Output Codes (FC, OP, PR), pp. 710–713.
ICPR-2010-DengSS #detection #network #pattern matching #pattern recognition #recognition: Applying Error-Correcting Output Coding to Enhance Convolutional Neural Network for Target Detection and Pattern Recognition (HD, GS, CYS), pp. 4291–4294.
ICPR-2010-EscaleraMPRP #fault #framework #online: Adding Classes Online in Error Correcting Output Codes Framework (SE, DM, EP, PR, OP), pp. 2945–2948.
ICPR-2010-LuoN #classification #fault #learning #multi #problem: Employing Decoding of Specific Error Correcting Codes as a New Classification Criterion in Multiclass Learning Problems (YL, KN), pp. 4238–4241.
ICPR-2010-SmithW #analysis: A Bias-Variance Analysis of Bootstrapped Class-Separability Weighting for Error-Correcting Output Code Ensembles (RSS, TW), pp. 61–64.
KR-2010-HuL #correctness #problem #reasoning: A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).
ECOOP-2010-SchaferDSTT #concurrent #java #refactoring: Correct Refactoring of Concurrent Java Code (MS, JD, MS, ET, FT), pp. 225–249.
LOPSTR-2010-HerasPR #correctness #proving #set: Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (JH, VP, JR), pp. 37–51.
POPL-2010-Henzinger #correctness: From Boolean to quantitative notions of correctness (TAH), pp. 157–158.
SLE-2010-ErdwegO #correctness #parsing #tex: Featherweight TeX and Parser Correctness (STE, KO), pp. 397–416.
ICST-2010-MasriA #correctness #testing: Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization (WM, RAA), pp. 165–174.
DAC-2009-YanW #network: A correct network flow model for escape routing (TY, MDFW), pp. 332–335.
DATE-2009-0001BW #case study #fault #network: Error correction in single-hop wireless sensor networks — A case study (DS, MB, NW), pp. 1296–1301.
DATE-2009-BombieriFPV #generative: Correct-by-construction generation of device drivers based on RTL testbenches (NB, FF, GP, SV), pp. 1500–1505.
ICDAR-2009-AbdulkaderC #fault #learning #low cost #multi #using: Low Cost Correction of OCR Errors Using Learning in a Multi-Engine Environment (AA, MRC), pp. 576–580.
ICDAR-2009-DengSS #network #recognition: Error-Correcting Output Coding for the Convolutional Neural Network for Optical Character Recognition (HD, GS, CYS), pp. 581–585.
ICDAR-2009-FujiyoshiSU #detection: Syntactic Detection and Correction of Misrecognitions in Mathematical OCR (AF, MS, SU), pp. 1360–1364.
ICDAR-2009-SadriC #approach #documentation #optimisation: A New Approach for Skew Correction of Documents Based on Particle Swarm Optimization (JS, MC), pp. 1066–1070.
ICDAR-2009-Tanaka #documentation #image: Threshold Correction of Document Image Binarization for Ruled-line Extraction (HT), pp. 541–545.
SIGMOD-2009-SunLDC #analysis #detection #workflow: Detecting and resolving unsound workflow views for correct provenance analysis (PS, ZL, SBD, YC), pp. 549–562.
VLDB-2009-SunLNDC #analysis #detection #named #workflow: WOLVES: Achieving Correct Provenance Analysis by Detecting and Resolving Unsound Workflow Views (PS, ZL, SN, SBD, YC), pp. 1614–1617.
ICSM-2009-AnbalaganV #debugging #on the #open source #predict: On predicting the time taken to correct bug reports in open source projects (PA, MAV), pp. 523–526.
PLDI-2009-KunduTL #equivalence #optimisation #proving #using: Proving optimizations correct using parameterized program equivalence (SK, ZT, SL), pp. 327–337.
SAS-2009-Bouissou #algorithm #correctness #implementation #proving: Proving the Correctness of the Implementation of a Control-Command Algorithm (OB), pp. 102–119.
LATA-2009-PardubskaPO #automaton #communication #correctness #on the #parallel: On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata (DP, MP, FO), pp. 660–671.
FM-2009-JeffordsHAL #composition #fault tolerance #formal method #refinement #using: A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (RDJ, CLH, MA, EIL), pp. 173–189.
SEFM-2009-DaumSS #correctness #implementation #operating system #realtime: Implementation Correctness of a Real-Time Operating System (MD, NS, MS), pp. 23–32.
ICFP-2009-BentonH #compilation #correctness: Biorthogonality, step-indexing and compiler correctness (NB, CKH), pp. 97–108.
GT-VMT-2009-EhrigHS #correctness #graph grammar #model transformation: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.
GT-VMT-2009-MazanekM #diagrams #editing #generative: Generating Correctness-Preserving Editing Operations for Diagram Editors (SM, MM), pp. 38–49.
CIKM-2009-IslamI #set #using #web: Real-word spelling correction using Google web 1Tn-gram data set (AI, DI), pp. 1689–1692.
ICML-2009-JohnsonCC #representation: Orbit-product representation and correction of Gaussian belief propagation (JKJ, VYC, MC), pp. 473–480.
ICML-2009-NguyenEB #clustering #comparison #metric #question: Information theoretic measures for clusterings comparison: is a correction for chance necessary? (XVN, JE, JB), pp. 1073–1080.
KEOD-2009-SassiJG #approach #how #maintenance #ontology: How to Evolve Ontology and Maintain Its Coherence — A Corrective Operations-based Approach (NS, WJ, FG), pp. 384–387.
SIGIR-2009-WebberP #bias: Score adjustment for correction of pooling bias (WW, LAFP), pp. 444–451.
MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly: On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly: On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
TOOLS-EUROPE-2009-KastnerATKB #approach #correctness #independence #product line: Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach (CK, SA, ST, MK, DSB), pp. 175–194.
ICSE-2009-WangCCZ #correctness #fault #locality #refinement: Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization (XW, SCC, WKC, ZZ), pp. 45–55.
CGO-2009-BoissinotDRDG #correctness #performance #quality: Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.
DATE-2008-FrechetteL #algorithm #detection #fault #self: Error Detection/Correction in DNA Algorithmic Self-Assembly (SF, FL), pp. 1079–1082.
ITiCSE-2008-Saravanos: Potential benefits of corrected-errors in AVBL (AS), p. 374.
FASE-2008-AalstDGHRM #modelling #process: Correctness-Preserving Configuration of Business Process Models (WMPvdA, MD, FG, AHMtH, MLR, JM), pp. 46–61.
MSR-2008-ThomsonH #correctness #cvs: Correctness of data mined from CVS (CT, MH), pp. 117–120.
WCRE-2008-KpodjedoRGA #evolution #fault #graph: Error Correcting Graph Matching Application to Software Evolution (SK, FR, PG, GA), pp. 289–293.
PEPM-2008-Voigtlander #correctness #proving #theorem: Proving correctness via free theorems: the case of the destroy/build-rule (JV), pp. 13–20.
FM-2008-AktugDG #monitoring #runtime: Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.
ICGT-2008-EhrigE #correctness #graph #model transformation #semantics #using: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.
ICGT-2008-Pennemann08a #development #graph transformation: Development of Correct Graph Transformation Systems (KHP), pp. 508–510.
CHI-2008-ClawsonLRIS #automation #fault #type system #using: Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing (JC, KL, AR, RAI, TS), pp. 573–582.
SOFTVIS-2008-SensalireOT #maintenance #tool support #visualisation: Classifying desirable features of software visualization tools for corrective maintenance (MS, PO, ACT), pp. 87–90.
ICPR-2008-EscaleraPR: Separability of ternary Error-Correcting Output Codes (SE, OP, PR), pp. 1–4.
ICPR-2008-EscaleraPR08a: Error-Correcting output coding for chagasic patients characterization (SE, OP, PR), pp. 1–4.
ICPR-2008-LiuA #automation #recognition: Automatic eye state recognition and closed-eye photo correction (ZL, HA), pp. 1–4.
ICPR-2008-Stelldinger #re-engineering #using: Topologically correct surface reconstruction using alpha shapes and relations to ball-pivoting (PS), pp. 1–4.
SEKE-2008-PengDZ #behaviour #correctness #design pattern #implementation #verification: Verifying Behavioral Correctness of Design Pattern Implementation (TP, JD, YZ), pp. 454–459.
OOPSLA-2008-BeckmanBA #type system #verification: Verifying correct usage of atomic blocks and typestate (NEB, KB, JA), pp. 227–244.
PPDP-2008-MontenegroPS #correctness #memory management #proving #type system: A type system for safe memory management and its proof of correctness (MM, RP, CS), pp. 152–162.
FSE-2008-FischbeinU #behaviour #modelling #on the: On correct and complete strong merging of partial behaviour models (DF, SU), pp. 297–307.
ICSE-2008-FlemingKSXD #case study #concurrent #maintenance #student: A study of student strategies for the corrective maintenance of concurrent software (SDF, EK, REKS, SX, LKD), pp. 759–768.
PPoPP-2008-GuerraouiK #correctness #memory management #on the #transaction: On the correctness of transactional memory (RG, MK), pp. 175–184.
CAV-2008-GlabbeekP #algorithm #simulation: Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CAV-2008-WienandWSKG #algebra #approach #correctness #proving: An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths (OW, MW, DS, WK, GMG), pp. 473–486.
CSL-2008-Tranquilli #correctness #linear #logic #multi #semantics: A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.
ICST-2008-SeceleanuPH #resource management #scheduling: Scheduling Timed Modules for Correct Resource Sharing (CCS, PP, HH), pp. 102–111.
LICS-2008-NauroisM #correctness #multi #proving: Correctness of Multiplicative Additive Proof Structures is NL-Complete (PJdN, VM), pp. 476–485.
CASE-2007-ReveliotisR0 #algebra #concurrent #correctness #policy #programming #verification: Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming (SR, ER, JYC), pp. 200–206.
DocEng-2007-LuT #documentation #image: Thresholding of badly illuminated document images through photometric correction (SL, CLT), pp. 3–8.
DRR-2007-Fujimoto0TSN #documentation #image #parallel: Shape from parallel geodesics for distortion correction of digital camera document images (KF, JS, HT, MS, SN).
ICDAR-2007-BeaufortM #fault #finite #framework: A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR (RB, CMT), pp. 889–893.
ICDAR-2007-BertolamiUZB #recognition: Non-Uniform Slant Correction for Handwritten Text Line Recognition (RB, SU, MZ, HB), pp. 18–22.
ICDAR-2007-CaoPNM #bottom-up #fault #robust #segmentation #top-down: Robust Page Segmentation Based on Smearing and Error Correction Unifying Top-down and Bottom-up Approaches (HC, RP, PN, EM), pp. 392–396.
ICDAR-2007-QuiniouA #detection #fault #network #online #recognition: Use of a Confusion Network to Detect and Correct Errors in an On-Line Handwritten Sentence Recognition System (SQ, ÉA), pp. 382–386.
ICDAR-2007-RinglstetterRGS #fault: Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries (CR, UR, AG, KUS), pp. 639–643.
ICDAR-2007-SchulzMM #performance #precise #set: Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks (KUS, SM, PM), pp. 471–475.
ICDAR-2007-WickRL #fault #modelling #topic #using: Context-Sensitive Error Correction: Using Topic Models to Improve OCR (MLW, MGR, EGLM), pp. 1168–1172.
ICDAR-2007-ZiaratbanFE: Use of Legal Amount to Confirm or Correct the Courtesy Amount on Farsi Bank Checks (MZ, KF, ME), pp. 1123–1127.
VLDB-2007-SionBCK #correctness #named: NS2: Networked Searchable Store with Correctness (RS, SB, BC, SK), pp. 1342–1345.
VLDB-2007-WangYLLBIB #correctness #data access #database #fine-grained #on the #relational: On the Correctness Criteria of Fine-Grained Access Control in Relational Databases (QW, TY, NL, JL, EB, KI, JWB), pp. 555–566.
ITiCSE-2007-StallmannBRBGH #automaton #correctness #named #proving: ProofChecker: an accessible environment for automata theory correctness proofs (MFS, SB, RDR, SB, MCG, SDH), pp. 48–52.
PLDI-2007-NovarkBZ #automation #fault #memory management #named #probability: Exterminator: automatically correcting memory errors with high probability (GN, EDB, BGZ), pp. 1–11.
PLDI-2007-VechevYBR #automation #concurrent #named: CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors (MTV, EY, DFB, NR), pp. 456–467.
ICALP-2007-ChuKM #correctness: Checking and Spot-Checking the Correctness of Priority Queues (MC, SK, AM), pp. 728–739.
IFM-2007-CouchotD #specification: Guiding the Correction of Parameterized Specifications (JFC, FD), pp. 176–194.
IFM-2007-DunneG #correctness: Lifting General Correctness into Partial Correctness is ok (SD, AG), pp. 215–232.
SEFM-2007-Cook #automation #concurrent #proving #source code: Automatically Proving Concurrent Programs Correct (BC), pp. 269–272.
AdaEurope-2007-BordinV #approach #correctness #metamodelling #realtime: Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach (MB, TV), pp. 114–127.
SIGAda-2007-Chapman07a #correctness: Correctness by construction: putting engineering (back) into software (RC), p. 100.
SIGAda-2007-NettletonIM #ada #compilation #towards: Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.
ICEIS-DISI-2007-CarterO #correctness #on the #workflow: On correctness criteria for workflow (BMC, MEO), pp. 315–322.
CIKM-2007-BrodianskiyC #query #self #xml: Self-correcting queries for xml (TB, SC), pp. 11–20.
SEKE-2007-FuDASH #approach #correctness #java #validation: An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
SIGIR-2007-NtoulasC #correctness #policy: Pruning policies for two-tiered inverted index with correctness guarantee (AN, JC), pp. 191–198.
SIGIR-2007-TanW #categorisation: Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.
ICSE-2007-AutiliINT #automation #component #distributed #named #synthesis: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
CC-2007-LeeRBM #constraints #control flow #graph #using: Correcting the Dynamic Call Graph Using Control-Flow Constraints (BL, KR, MDB, KSM), pp. 80–95.
HPCA-2007-LiY #correctness #fault tolerance: Application-Level Correctness and its Impact on Fault Tolerance (XL, DY), pp. 181–192.
ISMM-2007-KeroNL #garbage collection #incremental: A correct and useful incremental copying garbage collector (MK, JN, PL), pp. 129–140.
CSL-2007-NauroisM #correctness #exponential #multi #proving: Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete (PJdN, VM), pp. 435–450.
ICLP-2007-PettorossiPS #automation #correctness #logic programming #program transformation #proving: Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.
LICS-2007-RabinST #correctness #performance #proving: Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications (MOR, RAS, CT), pp. 63–76.
RTA-2007-Schmidt-Schauss #calculus #correctness: Correctness of Copy in Calculi with Letrec (MSS), pp. 329–343.
SAT-2007-StaberB #fault #locality: Fault Localization and Correction with QBF (SS, RB), pp. 355–368.
DATE-2006-Morin-AlloryB #monitoring #specification: Proven correct monitors from PSL specifications (KMA, DB), pp. 1246–1251.
DATE-2006-NepalBMPZ #design #fault #memory management: Designing MRF based error correcting circuits for memory elements (KN, RIB, JLM, WRP, AZ), pp. 792–793.
ICSM-2006-NgoT #fault #maintenance: A Method to Aid Recovery and Maintenance of the Input Error Correction Features (MNN, HBKT), pp. 360–369.
WCRE-2006-KnieselB #analysis #aspect-oriented #correctness #weaving: An Analysis of the Correctness and Completeness of Aspect Weaving (GK, UB), pp. 324–333.
PLDI-2006-VechevYB #algorithm #concurrent #garbage collection: Correctness-preserving derivation of concurrent garbage collection algorithms (MTV, EY, DFB), pp. 341–353.
CIAA-2006-MesserschmidtMOP #complexity #correctness: Correctness Preservation and Complexity of Simple RL-Automata (HM, FM, FO, MP), pp. 162–172.
FM-2006-BannwartM #refactoring #source code #specification: Changing Programs Correctly: Refactoring with Specifications (FB, PM), pp. 492–507.
CHI-2006-BurkeAI #fault: Error correction of voicemail transcripts in SCANMail (MB, BA, PLI), pp. 339–348.
ICML-2006-WarmuthLR #algorithm: Totally corrective boosting algorithms that maximize the margin (MKW, JL, GR), pp. 1001–1008.
ICPR-v2-2006-ChenH #bound #composition #image #segmentation: Boundary correction for total variation regularized L^1 function with applications to image decomposition and segmentation (TC, TSH), pp. 316–319.
ICPR-v2-2006-HeLL #bias #robust #segmentation: Robust Partial Volume Segmentation with Bias Field Correction in Brain MRI (HH, BL, KL), pp. 175–178.
ICPR-v2-2006-TakiguchiOM #case study #comprehension #fault #recognition: A Study on Character Recognition Error Correction at Higher Level Recognition Step for Mathematical Formulae Understanding (YT, MO, YM), pp. 966–969.
ICPR-v3-2006-ChenCL #multi #video: YUV Correction for Multi-View Video Compression (YC, CC, JL), pp. 734–737.
ICPR-v3-2006-ShinozakiUGR #image #using: Correction of intensity of a color image using a range intensity image (MS, KU, GG, MR), pp. 774–777.
ICPR-v3-2006-WillamowskiC #automation #detection #probability: Probabilistic Automatic Red Eye Detection and Correction (JW, GC), pp. 762–765.
ICPR-v4-2006-EscaleraPR #fault: Forest Extension of Error Correcting Output Codes and Boosted Landmarks (SE, OP, PR), pp. 104–107.
ICPR-v4-2006-Gonzalez-JimenezA #authentication: Pose Correction and Subject-Specific Features for Face Authentication (DGJ, JLAC), pp. 602–605.
SEKE-2006-ZhaoGQC #abstraction #constraints #prolog #semantics: A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics (LZ, TG, JQ, GC), pp. 359–362.
MoDELS-2006-Baar #modelling #syntax #visual notation: Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
MoDELS-2006-Baar #modelling #syntax #visual notation: Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
POPL-2006-DanielssonHJG #performance #reasoning: Fast and loose reasoning is morally correct (NAD, JH, PJ, JG), pp. 206–217.
SAC-2006-ErshovNM #architecture #precise: Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.
SAC-2006-MendlingRRA #generative: Generating correct EPCs from configured C-EPCs (JM, JR, MR, WMPvdA), pp. 1505–1510.
ICSE-2006-JiangS #c #correctness #named #source code #type system #validation: Osprey: a practical type system for validating dimensional unit correctness of C programs (LJ, ZS), pp. 262–271.
PPoPP-2006-VafeiadisHHS #correctness #proving: Proving correctness of highly-concurrent linearisable objects (VV, MH, CARH, MS), pp. 129–136.
LICS-2006-VaraccaV #logic #model checking: Temporal Logics and Model Checking for Fairly Correct Systems (DV, HV), pp. 389–398.
RTA-2006-AntoyBC #correctness #on the: On the Correctness of Bubbling (SA, DWB, SHC), pp. 35–49.
ASE-2005-Grov #algorithm #approach #correctness #deduction #reasoning #source code #verification: Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning (GG), pp. 444–447.
ASE-2005-InverardiMTA #adaptation #approach #automation #component #distributed #synthesis: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.
DATE-2005-BaleaniFMSFSW #design #development #embedded #modelling: Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development (MB, AF, LM, ALSV, UF, ES, HJW), pp. 1044–1049.
DATE-2005-ChiangKSXZ #detection: Bright-Field AAPSM Conflict Detection and Correction (CC, ABK, SS, XX, AZ), pp. 908–913.
DATE-2005-GillNWPG #design #detection #performance: An Efficient BICS Design for SEUs Detection and Correction in Semiconductor Memories (BSG, MN, FGW, CAP, SLG), pp. 592–597.
DATE-2005-KaulSBMA #design #fault: DVS for On-Chip Bus Designs Based on Timing Error Correction (HK, DS, DB, TNM, TMA), pp. 80–85.
ICDAR-2005-DongPKS #word: Cursive word skew/slant corrections based on Radon transform (JxD, DP, AK, CYS), pp. 478–483.
ICDAR-2005-MonnierHSA #documentation: Sequential Correction of Perspective Warp in Camera-based Documents (CM, SH, MS, VA), pp. 394–398.
ICDAR-2005-RinglstetterSML #fault: The Same is Not The same — Post Correction of Alphabet Confusion Errors in Mixed-Alphabet OCR Recognation (CR, KUS, SM, KL), pp. 406–410.
ICDAR-2005-ZhouS #approach #fault #recognition #using: Unconstrained Numeral Pair Recognition Using Enhanced Error Correcting Output Coding: A Holistic Approach (JZ, CYS), pp. 484–488.
SIGMOD-2005-LingaCGS #correctness: Guaranteeing Correctness and Availability in P2P Range Indices (PL, AC, JG, JS), pp. 323–334.
VLDB-2005-AkalTSBGV #correctness #fine-grained #replication #scheduling: Fine-Grained Replication and Scheduling with Freshness and Correctness Guarantees (FA, CT, HJS, YB, TG, LV), pp. 565–576.
CSMR-2005-PighinM #maintenance: Reducing Corrective Maintenance Effort Considering Module’s History (MP, AM), pp. 232–235.
STOC-2005-DodisS #fault: Correcting errors without leaking partial information (YD, AS), pp. 654–663.
CIAA-2005-FerroPF #robust: Robust Spelling Correction (MVF, JOP, JVF), pp. 319–328.
FM-2005-Gaudel #approximate #correctness #formal method #testing: Formal Methods and Testing: Hypotheses, and Correctness Approximations (MCG), pp. 2–8.
SEFM-2005-OlssonW #correctness #imperative #induction #proving #source code: Customised Induction Rules for Proving Correctness of Imperative Programs (OO, AW), pp. 180–189.
SEFM-2005-Trentelman #correctness #proving #using: Proving Correctness of JavaCard DL Taclets using Bali (KT), pp. 160–169.
ICFP-2005-WestbrookSW #approach #imperative #programming: A language-based approach to functionally correct imperative programming (EMW, AS, IW), pp. 268–279.
ICML-2005-SunTLW #framework: Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.
SEKE-2005-SenachakSOF #java: Provably Correct Translation from CafeOBJ into Java (JS, TS, KO, KF), pp. 614–619.
PADL-2005-WangGL #code generation #continuation #logic #semantics #towards: Towards Provably Correct Code Generation via Horn Logical Continuation Semantics (QW, GG, ML), pp. 98–112.
PADL-2005-YangDRS #compilation #mobile #model checking #performance #process: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes (PY, YD, CRR, SAS), pp. 113–127.
SAC-2005-Lu #correctness #declarative: Use of correctness assertions in declarative diagnosis (LL), pp. 1404–1408.
SAC-2005-WieringaG #coordination #correctness #design #process #trust: Value-oriented design of service coordination processes: correctness and trust (RW, JG), pp. 1320–1327.
ICSE-2005-ErwigACK #automation #generative #maintenance #spreadsheet: Automatic generation and maintenance of correct spreadsheets (ME, RA, IC, SK), pp. 136–145.
ICSE-2005-KoAM #design #elicitation #ide #maintenance #requirements: Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks (AJK, HHA, BAM), pp. 126–135.
COCV-J-2005-BlechGLM #code generation #comparison #correctness #higher-order #optimisation #proving: Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL (JOB, SG, JL, SM), pp. 33–51.
COCV-J-2005-SalcianuA #analysis #correctness #data flow #proving: Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses (AS, KA), pp. 53–68.
PPoPP-2005-YangBHM #correctness #monitoring #source code #trust #verification: Trust but verify: monitoring remotely executing programs for progress and correctness (SY, ARB, YCH, SPM), pp. 196–205.
VMCAI-2005-Hymans #abstract interpretation #fault #verification: Verification of an Error Correcting Code by Abstract Interpretation (CH), pp. 330–345.
CBSE-2004-KulkarniB #adaptation #component #correctness: Correctness of Component-Based Adaptation (SSK, KNB), pp. 48–58.
CBSE-2004-TivoliIPFS #assembly #component #data transformation: Correct Components Assembly for a Product Data Management Cooperative System (MT, PI, VP, AF, MS), pp. 84–99.
DAC-2004-BhattacharyaJHS #design #scalability: Correct-by-construction layout-centric retargeting of large analog designs (SB, NJ, RH, CJRS), pp. 139–144.
DAC-2004-HuangW #proximity: Optical proximity correction (OPC): friendly maze routing (LDH, MDFW), pp. 186–191.
DAC-2004-KappS #automation #behaviour #control flow #scheduling #synthesis: Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis (KK, VKS), pp. 61–66.
DAC-2004-McCullen: Phase correct routing for alternating phase shift masks (KWM), pp. 317–320.
DAC-2004-NookalaS: A method for correcting the functionality of a wire-pipelined circuit (VN, SSS), pp. 570–575.
DATE-v1-2004-GinesPR #fault #pipes and filters: Digital Background Gain Error Correction in Pipeline ADCs (AJG, EJP, AR), pp. 82–87.
DATE-v2-2004-LeiningerGM #configuration management: Diagnosis of Scan-Chains by Use of a Configurable Signature Register and Error-Correcting Code (AL, MG, PM), pp. 1302–1309.
DATE-v2-2004-RahimiBD #adaptation #optimisation: Timing Correction and Optimization with Adaptive Delay Sequential Element (KR, SB, CD), p. 1416.
FoSSaCS-2004-Leivant #correctness #logic: Partial Correctness Assertions Provable in Dynamic Logics (DL), pp. 304–317.
CSMR-2004-TrifuSG #automation #design #object-oriented: Automated Design Flaw Correction in Object-Oriented Systems (AT, OS, TG), pp. 174–183.
PEPM-2004-PettorossiP #formal method #logic programming #program transformation: A theory of totally correct logic program transformations (AP, MP), pp. 159–168.
PEPM-2004-PopeeaC #correctness #protocol #proving #type system #verification: A type system for resource protocol verification and its correctness proof (CP, WNC), pp. 135–146.
IFM-2004-SeceleanuP #approach #design #uml: Constituent Elements of a Correctness-Preserving UML Design Approach (TS, JP), pp. 227–246.
ICFP-2004-ColazzoGMS #correctness #query #xml: Types for path correctness of XML queries (DC, GG, PM, CS), pp. 126–137.
ICEIS-v1-2004-LuciaPS #empirical #maintenance #modelling #predict: Assessing Effort Prediction Models for Corrective Software Maintenance — An Empirical Study (ADL, EP, SS), pp. 383–390.
ICPR-v2-2004-LuoYT #algorithm #automation #detection #performance: An Efficient Automatic Redeye Detection and Correction Algorithm (HL, JY, DT), pp. 883–886.
ICPR-v2-2004-RennaCMAD: Color Correction for the Virtual Recomposition of Fragmented Frescos (FR, GC, NM, GA, AD), pp. 907–910.
ICPR-v3-2004-YuCS #quality: Vignetting Distortion Correction Method for High Quality Digital Imaging (WY, YC, JS), pp. 666–669.
PDCL-2004-LauO #composition #development #logic #specification: Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.
POPL-2004-Benton #analysis #correctness #program transformation #proving #relational: Simple relational correctness proofs for static analyses and program transformations (NB), pp. 14–25.
SAC-2004-AlbaC #fault #heuristic #hybrid #parallel #problem: Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
ICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet #validation: Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.
DAC-2003-GuptaKSY #off the shelf #tool support: A cost-driven lithographic correction methodology based on off-the-shelf sizing tools (PG, ABK, DS, JY), pp. 16–21.
DRR-2003-HauserSSDST #dataset: Correcting OCR text by association with historical datasets (SEH, JS, TFS, DDF, SS, GRT), pp. 84–93.
DRR-2003-JinZH #documentation #information retrieval #probability: Information retrieval for OCR documents: a content-based probabilistic correction model (RJ, CZ, AGH), pp. 128–135.
DRR-2003-NartkerTYBC #documentation: OCR correction based on document level knowledge (TAN, KT, RY, JB, AC), pp. 103–110.
ICDAR-2003-MalerbaEACB #approach #documentation #layout #machine learning: Correcting the Document Layout: A Machine Learning Approach (DM, FE, OA, MC, MB), p. 97–?.
ICDAR-2003-ZhangT #documentation #image: Correcting Document Image Warping Based on Regression of Curved Text Lines (ZZ, CLT), pp. 589–593.
ITiCSE-2003-Gegg-HarrisonBGOW #contract #correctness: Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.
ITiCSE-2003-Gegg-HarrisonBGOW03a #correctness: Studying program correctness in ProVIDE (TSGH, GRB, RDG, CMO, JDW), p. 262.
ESOP-2003-AlpuenteBCF #functional #logic programming #source code: Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.
ESOP-2003-ReddyY #correctness #data transformation #data type: Correctness of Data Representations Involving Heap Data Structures (USR, HY), pp. 223–237.
CSMR-2003-EvancoV #architecture #maintenance: Some Optimal Object-Based Architectural Features for Corrective Maintenance (WME, JMV), pp. 281–280.
PLDI-2003-LernerMC #automation #compilation #correctness #optimisation #proving: Automatically proving the correctness of compiler optimizations (SL, TDM, CC), pp. 220–231.
FME-2003-BurdyRL #approach #correctness #developer #java: Java Applet Correctness: A Developer-Oriented Approach (LB, AR, JLL), pp. 422–439.
FME-2003-DenneyF #correctness #policy #safety: Correctness of Source-Level Safety Policies (ED, BF), pp. 894–913.
FME-2003-Glesner: Program Checking with Certificates: Separating Correctness-Critical Code (SG), pp. 758–777.
FME-2003-Henderson #correctness #proving #using: Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method (NH), pp. 244–263.
SEFM-2003-WatsonF #assembly #modelling #semantics #source code: A Partial-Correctness Semantics for Modelling Assembler Programs (GW, CJF), pp. 82–90.
SFM-2003-InverardiT #architecture #assembly #component: Software Architecture for Correct Components Assembly (PI, MT), pp. 92–121.
IFL-2003-SeguraP #analysis #correctness #nondeterminism: Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.
AGTIVE-2003-CordesHK #collaboration #diagrams #interactive #sequence chart #uml: UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.
CHI-2003-WilsonBBGCCDR #correctness #programming: Harnessing curiosity to increase correctness in end-user programming (AW, MMB, LB, OG, LC, CRC, MD, GR), pp. 305–312.
ICEIS-v2-2003-MontesTDBO: A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace (DM, JT, ED, RB, FO), pp. 197–201.
ICML-2003-BerardiCEM #analysis #layout #learning #logic programming #source code: Learning Logic Programs for Layout Analysis Correction (MB, MC, FE, DM), pp. 27–34.
SEKE-2003-FresaAF #case study #development #maintenance #process: Corrective Maintenance Process: a Case Study from a Telecom Software Development and Maintenance Organization (AF, MCA, FF), pp. 39–45.
LOPSTR-2003-LauO #logic #object-oriented: Correct OO Systems in Computational Logic (KKL, MO), pp. 34–53.
REFSQ-J-2002-ZowghiG03 #consistency #correctness #evolution #on the #requirements: On the interplay between consistency, completeness, and correctness in requirements evolution (DZ, VG), pp. 993–1009.
ICSE-2003-ZageZ #analysis #fault #process #scalability: An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model (DMZ, WMZ), pp. 570–577.
SAT-2003-Bruni #fault #satisfiability #scalability #set: Solving Error Correction for Large Data Sets by Means of a SAT Solver (RB), pp. 229–241.
CBSE-2002-InverardiT #approach #architecture #assembly #automation #component #off the shelf: Correct and automatic assembly of COTS components: an architectural approach (PI, MT), p. 3.
CBSE-2003-DijkmanAQ #component #correctness #process #verification: Verifying the Correctness of Component-Based Applications that Support Business Processes (RMD, JAA, DAQ), p. 8.
CBSE-2003-InverardiT #assembly #component #composition #synthesis: A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.
DATE-2002-VenerisLAA #fault #incremental #multi: Incremental Diagnosis and Correction of Multiple Faults and Errors (AGV, JBL, MA, MSA), pp. 716–721.
FoSSaCS-2002-BoerGM #concurrent #constraints #correctness #proving #source code: Proving Correctness of Timed Concurrent Constraint Programs (FSdB, MG, MCM), pp. 37–51.
WRLA-2002-AlpuenteEL: Correct and Complete (Positive) Strategy Annotations for OBJ (MA, SE, SL), pp. 70–89.
ICSM-2002-Kajko-Mattsson #maintenance #maturity #problem: Corrective Maintenance Maturity Model: Problem Management (MKM), pp. 486–490.
ICSM-2002-RaoS #empirical #maintenance #outsourcing #process: Applicability of IEEE Maintenance Process for Corrective Maintenance Outsourcing — An Empirical Study (BSR, NLS), pp. 74–83.
ICSM-2002-Schneidewind #detection #fault: An Integrated Failure Detection and Fault Correction Model (NFS), pp. 238–241.
WCRE-2002-TanT #fault #program analysis #transaction #verification: Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
FLOPS-2002-Iranzo #correctness #on the: On the Correctness of the Factoring Transformation (PJI), pp. 119–133.
FME-2002-Hall #correctness #development #process: Correctness by Construction: Integrating Formality into a Commercial Development Process (AH), pp. 224–233.
IFL-2002-DowseSB #haskell #proving: Proving Make Correct: I/O Proofs in Haskell and Clean (MD, GS, AB), pp. 68–83.
CIKM-2002-LiuYC #bias #classification #induction: Boosting to correct inductive bias in text classification (YL, YY, JGC), pp. 348–355.
ICPR-v1-2002-ShakunagaS #image #normalisation: Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.
ICPR-v1-2002-ZhuY #classification #documentation: A New Textual/Non-Textual Classifier for Document Skew Correction (XZ, XY), pp. 480–482.
ICPR-v3-2002-NishidaS #analysis #documentation #image #multi: Correcting Show-Through Effects on Document Images by Multiscale Analysis (HN, TS), pp. 65–68.
SEKE-2002-LuciaPS #estimation #maintenance: Effort estimation for corrective software maintenance (ADL, EP, SS), pp. 409–416.
SIGIR-2002-Tseng #fault: Error correction in a Chinese OCR test collection (YHT), pp. 429–430.
LOPSTR-2002-LauO #design #framework #logic #object-oriented #towards: Towards Correct Object-Oriented Design Frameworks in Computational Logic (KKL, MO), pp. 260–261.
POPL-2002-LaceyJWF #compilation #correctness #logic #optimisation #proving: Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.
SAC-2002-FerriPR #correctness #database #query #semantics: The syntactic and semantic correctness of pictorial configurations to query geographic databases by PQL (FF, EP, MR), pp. 432–437.
SAC-2002-Ruch #ambiguity #information retrieval: Information retrieval and spelling correction: an inquiry into lexical disambiguation (PR), pp. 699–703.
ICSE-2002-PonsB #correctness #development #process #reasoning: Reasoning about the correctness of software development process (CP, GB), p. 708.
ICDAR-2001-DingOKM #recognition: Application of Slant Correction to Handwritten Japanese Address Recognition (YD, MO, FK, YM), pp. 670–674.
ICDAR-2001-UchidaTS #programming #using: Nonuniform Slant Correction Using Dynamic Programming (SU, ET, HS), pp. 434–438.
CSMR-2001-Evanco #fault #modelling #predict: Prediction Models for Software Fault Correction Effort (WME), pp. 114–120.
ICSM-2001-Kajko-Mattsson #documentation #maintenance: The State of Documentation Practice within Corrective Maintenance (MKM), pp. 354–363.
CIAA-2001-Savary #finite #nearest neighbour: Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction (AS), pp. 251–260.
FME-2001-StoySA #correctness #protocol #proving: Proofs of Correctness of Cache-Coherence Protocols (JES, XS, A), pp. 43–71.
IFL-2001-ButterfieldS #comparison #correctness #paradigm #proving #source code: Proving Correctness of Programs with IO — A Paradigm Comparison (AB, GS), pp. 72–87.
IFL-2001-EncinaP #correctness #proving: Proving the Correctness of the STG Machine (AdlE, RP), pp. 88–104.
ICEIS-v2-2001-CaleroPG #metric: Method for Obtaining Correct Metrics (CC, MP, MG), pp. 779–784.
ICML-2001-DobraG #bias #classification: Bias Correction in Classification Tree Construction (AD, JG), pp. 90–97.
SEKE-2001-BarberGH #architecture #correctness #model checking #simulation #using: Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking (KSB, TJG, JH), pp. 19–28.
TOOLS-USA-2001-GueheneucA #constraints #design pattern #detection #fault #using: Using Design Patterns and Constraints to Automate the Detection and Correction of Inter-Class Design Defects (YGG, HAA), pp. 296–306.
LOPSTR-2001-LauO #logic #object-oriented: Correct Object-Oriented Systems in Computational Logic (KKL, MO), pp. 168–190.
POPL-2001-Calcagno #calculus #correctness #safety #semantics: Stratified operational semantics for safety and correctness of the region calculus (CC), pp. 155–165.
POPL-2001-UnyapothS #communication #framework #mobile: Nomadic pict: correct communication infrastructure for mobile computation (AU, PS), pp. 116–127.
ICSE-2001-Kajko-MattssonFO #education #maintenance #maturity: Corrective Maintenance Maturity Model (CM³): Maintainer’s Education and Training (MKM, SF, UHO), pp. 610–619.
CSL-2001-Mogbil #commutative #correctness #logic #polynomial: Quadratic Correctness Criterion for Non-commutative Logic (VM), pp. 69–83.
ICLP-2001-DrabentM #approach #correctness #declarative #proving #source code: Proving Correctness and Completeness of Normal Programs — A Declarative Approach (WD, MM), pp. 284–299.
LICS-2001-KozenT #correctness #linear #logic: Intuitionistic Linear Logic and Partial Correctness (DK, JT), pp. 259–268.
ASE-2000-Monroy #abduction #recursion: The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures (RM), pp. 91–100.
DAC-2000-LachMP #debugging #detection #fault #locality #performance: Efficient error detection, localization, and correction for FPGA-based debugging (JL, WHMS, MP), pp. 207–212.
DATE-2000-HoffmannK #fault #multi: Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits (DWH, TK), p. 758.
ESOP-2000-DenneyJ #correctness #java #logic: Correctness of Java Card Method Lookup via Logical Relations (ED, TPJ), pp. 104–118.
ESOP-2000-Hughes #correctness: The Correctness of Type Specialisation (JH), pp. 215–229.
ICSM-2000-GibsonDM #correctness #maintenance: The Application of Correctness Preserving Transformations to Software Maintenance (JPG, TFD, BAM), p. 108–?.
STOC-2000-KatzT #on the #performance: On the efficiency of local decoding procedures for error-correcting codes (JK, LT), pp. 80–86.
ICML-2000-Ghani #classification #using: Using Error-Correcting Codes for Text Classification (RG), pp. 303–310.
ICPR-v2-2000-AmengualV #estimation #on the #parametricity: On the Estimation of Error-Correcting Parameters (JCA, EV), pp. 2883–2886.
ICPR-v2-2000-KosmalaRB #execution #online #recognition: On-Line Handwritten Formula Recognition with Integrated Correction Recognition and Execution (AK, GR, AB), pp. 2590–2593.
ICPR-v3-2000-TomazevicLP #comparison: A Comparison of Retrospective Shading Correction Techniques (DT, BL, FP), pp. 3568–3571.
ICPR-v4-2000-Perez-CortesAAL #parsing #probability: Stochastic Error-Correcting Parsing for OCR Post-Processing (JCPC, JCA, JA, RL), pp. 4405–4408.
OOPSLA-2000-RubyL #subclass: Safely creating correct subclasses without seeing superclass code (CR, GTL), pp. 208–228.
SAIG-2000-FischbachH #correctness #specification: Specification and Correctness of λ Lifting (AF, JH), pp. 108–128.
WICSA-1999-Riemenschneider #architecture #correctness: Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures (RAR), pp. 65–82.
ASE-1999-MiceliSG #design #detection #metric: A Metric Based Technique for Design Flaws Detection and Correction (TM, HAS, RG), pp. 307–310.
ICDAR-1999-BansalS99a #clustering #string #taxonomy: Partitioning and Searching Dictionary for Correction of Optically Read Devanagari Character Strings (VB, RMKS), pp. 653–656.
ICDAR-1999-JeeKL #fault #using: Error Correction of Korean Courtesy Amounts in Bank Slips using Rule Information and cross-referencing (TCJ, EJK, YL), pp. 95–98.
ICDAR-1999-MoritaFBGS: Mathematical Morphology and Weighted Least Squares to Correct Handwriting Baseline Skew (MEM, JF, FB, SJAG, RS), pp. 430–433.
ICDAR-1999-RichyL #online #web: On-line Correction of Web Pages (HR, GL), pp. 581–584.
PODS-1999-AlonsoFPS #component #correctness #transaction: Correctness in General Configurations of Transactional Components (GA, AF, GP, HJS), pp. 285–293.
ICSM-1999-Kajko-Mattsson99a #concept #maintenance: Common Concept Apparatus Within Corrective Software Maintenance (MKM), pp. 287–296.
FM-v1-1999-MoninK #algorithm #consistency #correctness #proving #standard: Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.
FM-v2-1999-LevyT #approach #education: A PVS-Based Approach for Teaching Constructing Correct Iterations (ML, LT), pp. 1859–1860.
CHI-1999-KaratHHK #recognition #scalability #speech: Patterns of Entry and Correction in Large Vocabulary Continuous Speech Recognition System (CMK, CH, DBH, JK), pp. 568–575.
CHI-1999-SuhmMW #empirical #evaluation #fault #interactive #modelling #multimodal: Model-Based and Empirical Evaluation of Multimodal Interactive Error Correction (BS, BAM, AW), pp. 584–591.
HCI-CCAD-1999-NumanoMTMNFM #fault #reduction: Reduction of human errors in plant operation utilizing human error correction function as an individual and crew (MN, KM, KT, HM, YN, JF, YM), pp. 1206–1210.
HCI-EI-1999-HorgenA: Optometric Examination and Correction of VDU Workers (GH, AA), pp. 46–50.
HCI-EI-1999-SakaiN #automation #documentation #image #mobile: OCR-Oriented Automatic Document Orientation Correcting Technique for Mobile Image Scanners (KS, TN), pp. 223–227.
ICML-1999-Teng #semistructured data: Correcting Noisy Data (CMT), pp. 239–248.
UML-1999-TortBHW #constraints #interface #ocl: Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.
TOOLS-ASIA-1999-GensslerL #composition #distributed: Correct Composition of Distributed Systems (TG, WL), pp. 296–305.
SAC-1999-ArakiIK #detection: Detection and Correction of Mutually Interfered Erroneous Characters in Japanese Texts (TA, SI, YK), pp. 36–40.
LICS-1999-Guerrini #correctness #linear #multi #proving: Correctness of Multiplicative Proof Nets Is Linear (SG), pp. 454–463.
LICS-1999-Paulson #protocol #proving #security: Proving Security Protocols Correct (LCP), pp. 370–381.
DATE-1998-MendiasH #formal method #perspective #synthesis: Correct High-Level Synthesis: a Formal Perspective (JMM, RH), pp. 977–978.
ICSM-1998-Hissam #case study #experience #information management #off the shelf: Experience Report: Correcting System Failure in a COTS Information System (SAH), pp. 170–176.
SAS-1998-HillBZ #correctness: The Correctness of Set-Sharing (PMH, RB, EZ), pp. 99–114.
STOC-1998-ShokrollahiW #algebra #bound #geometry: Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound (MAS, HW), pp. 241–248.
ICALP-1998-Peleg #distributed: Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees (DP), pp. 164–175.
FM-1998-BalserRSS: KIV 3.0 for Provably Correct Systems (MB, WR, GS, KS), pp. 330–337.
FM-1998-GoerigkH #compilation #correctness #how #implementation: Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct (WG, UH), pp. 122–136.
ICPR-1998-GotoA #detection #framework: A framework for detecting and selecting text line candidates of correct orientation (HG, HA), pp. 1074–1076.
ICPR-1998-SuriHS #automation #bound #classification #polynomial: Automatic quadratic calibration for correction of pixel classification boundaries to an accuracy of 2.5 millimeters: an application in cardiac imaging (JSS, RMH, FHS), pp. 30–33.
SIGIR-1998-NgZ #fault #retrieval #speech #using: Speech Retrieval Using Phonemes with Error Correction (CN, JZ), pp. 365–366.
ECOOP-1998-FerreiraS #algorithm #correctness #distributed #garbage collection #modelling #proving: Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof (PF, MS), pp. 234–259.
POPL-1998-AriolaS #calculus #call-by #correctness #imperative #monad: Correctness of Monadic State: An Imperative Call-by-Need Calculus (ZMA, AS), pp. 62–74.
POPL-1998-Blanchet #analysis #correctness #implementation #proving: Escape Analysis: Correctness Proof, Implementation and Experimental Results (BB), pp. 25–37.
SAC-1998-McGuireS #algorithm #linear #search-based #using: Using a genetic algorithm to find good linear error-correcting codes (KMM, RES), pp. 332–337.
ICSE-1998-AlmeidaLM #modelling: An Investigation on the Use of Machine Learned Models for Estimating Correction Costs (MAdA, HL, WLM), pp. 473–476.
CAV-1998-Balarin #approach #concurrent #correctness #modelling #verification: Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models (FB), pp. 391–402.
CAV-1998-HosabettuSG #correctness #pipes and filters #proving: Decomposing the Proof of Correctness of pipelined Microprocessors (RH, MKS, GG), pp. 122–134.
ASE-1997-FlenerLO #source code #synthesis: Correct-Schema-Guided Synthesis of Steadfast Programs (PF, KKL, MO), p. 153–?.
EDTC-1997-EisenbieglerKB #approach #correctness #towards: A constructive approach towards correctness of synthesis-application within retiming (DE, RK, CB), pp. 427–431.
EDTC-1997-WahbaB #fault: Connection error location and correction in combinational circuits (AMW, DB), pp. 235–241.
ICDAR-1997-Ali #documentation #image: An Object/Segment Oriented Skew-Correction Technique for Document Images (MBHA), pp. 671–674.
ICDAR-1997-BunkeGM #documentation: A Tool for Versatile and User-friendly Document Correction (HB, RG, DM), pp. 433–438.
ICDAR-1997-SunS #documentation #image #using: Skew and Slant Correction for Document Images Using Gradient Direction (CS, DS), pp. 142–146.
PODS-1997-AlonsoBFS #correctness #parallel: Correctness and Parallelism of Composite Systems (GA, SB, AF, HJS), pp. 197–208.
ICSM-1997-MayrhauserV #comprehension #maintenance #process #scalability: Hypothesis-Driven Understanding Processes During Corrective Maintenance of Large Scale Software (AvM, AMV), pp. 12–20.
STOC-1997-Pan #equation #performance: Faster Solution of the Key Equation for Decoding BCH Error-Correcting Codes (VYP), pp. 168–175.
FME-1997-TejW #csp #higher-order: A Corrected Failure Divergence Model for CSP in Isabelle/HOL (HT, BW), pp. 318–337.
HCI-CC-1997-HorgenA: Optometric Examination and Correction of VDU Workers (GH, AA), pp. 651–654.
ICML-1997-ManguB #automation: Automatic Rule Acquisition for Spelling Correction (LM, EB), pp. 187–194.
LOPSTR-1997-FlenerLO #on the: On Correct Program Schemas (PF, KKL, MO), pp. 128–147.
LOPSTR-1997-RichardsonF #development #prolog #source code: Development of Correct Transformation Schemata for Prolog Programs (JR, NEF), pp. 263–281.
CADE-1997-ReifSS #correctness #proving: Proving System Correctness with KIV 3.0 (WR, GS, KS), pp. 69–72.
CAV-1997-CimattiGPPPRTY #certification #embedded #safety #verification: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.
DAC-1996-HuangCC #fault #verification: Error Correction Based on Verification Techniques (SYH, KCC, KTC), pp. 258–261.
DAC-1996-KantrowitzN #analysis #correctness #simulation #verification #what: I’m Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor (MK, LMN), pp. 325–330.
SAS-1996-BoerGP #constraints #correctness #logic programming #proving #scheduling #source code: Proving Correctness of Constraint Logic Programs with Dynamic Scheduling (FSdB, MG, CP), pp. 83–97.
STOC-1996-KosarajuD #assembly #scalability #string: Large-Scale Assembly of DNA Strings and Space-Efficient Construction of Suffix Trees (Correction) (SRK, ALD), p. 659.
FME-1996-KleukerT #development #distributed #incremental #specification: The Incremental Development of Correct Specifications for Distributed Systems (SK, HT), pp. 479–498.
FME-1996-KolyangSW #implementation: Correct and User-Friendly Implementations of Transformation Systems (K, TS, BW), pp. 629–648.
AFP-1996-SwierstraD96 #combinator #parsing: Deterministic, Error-Correcting Combinator Parsers (SDS, LD), pp. 184–207.
ICML-1996-GoldingR: Applying Winnow to Context-Sensitive Spelling Correction (ARG, DR), pp. 182–190.
ICPR-1996-ChaudhuriP #detection #fault: OCR error detection and correction of an inflectional Indian language script (BBC, UP), pp. 245–249.
ICPR-1996-JiangHF #approach #detection #documentation #performance: A fast approach to detect and correct skew documents (HFJ, CCH, KCF), pp. 742–746.
ICPR-1996-Muraki #fault #learning #statistics: Error correction scheme augmented with statistical and lexical learning capability, for Japanese OCR (KM), pp. 560–564.
ICPR-1996-SuriHS #automation #bound #fault: Correction of systematic errors in automatically produced boundaries from low-contrast ventriculograms (JSS, RMH, FHS), pp. 361–365.
ICPR-1996-WatzelBHZS #segmentation: Restoration of dendrites and spines with the objective of topologically correct segmentation (RW, KB, AH, WZ, HS), pp. 472–476.
POPL-1996-HughesPS #correctness #proving #using: Proving the Correctness of Reactive Systems Using Sized Types (JH, LP, AS), pp. 410–423.
ICSE-1996-HartP #automation #process #scalability: A Scalable, Automated Process for Year 2000 System Correction (JMH, AP), pp. 475–484.
LICS-1996-AlurMP #concurrent #correctness #model checking: Model-Checking of Correctness Conditions for Concurrent Objects (RA, KLM, DP), pp. 219–228.
ICDAR-v1-1995-BunkeL #classification #documentation #parsing #using: Classification and postprocessing of documents using an error-correcting parser (HB, RL), pp. 222–226.
ICDAR-v2-1995-HisamitsuMSFN #fault: Optimal techniques in OCR error correction for Japanese texts (TH, KM, YS, HF, YN), pp. 1014–1017.
ICDAR-v2-1995-TsuruokaWMKMS #recognition #word: Base line correction for handwritten word recognition (ST, NW, NM, FK, YM, MS), pp. 902–905.
SIGMOD-1995-HouZ #approach #correctness #database #statistics: Enhancing Database Correctness: a Statistical Approach (WCH, ZZ), pp. 223–232.
ICSM-1995-AbdullahKW #integration #testing: Correcting for unreliable regression integration testing (KA, JEKJ, LJW), pp. 232–241.
STOC-1995-Spielman #linear: Linear-time encodable and decodable error-correcting codes (DAS), pp. 388–397.
ICALP-1995-BlumCGS #self: Self-Correcting for Function Fields Transcendental Degree (MB, BC, PG, TS), pp. 547–557.
ICALP-1995-JurgensenK #fault: Variable-Length Codes for Error Correction (HJ, SK), pp. 581–592.
FPCA-1995-Wand #compilation #correctness #parallel: Compiler Correctness for Parallel Languages (MW), pp. 120–134.
ICML-1995-KongD #bias: Error-Correcting Output Coding Corrects Bias and Variance (EBK, TGD), pp. 313–321.
SEKE-1995-BernardeschiFP #architecture #correctness #interactive #specification #user interface: Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications (CB, AF, FP), pp. 234–243.
PLILP-1995-Hatcliff #correctness #verification: Mechanically Verifying the Correctness of an Offline Partial Evaluator (JH), pp. 279–298.
POPL-1995-Sands #correctness #program transformation: Total Correctness by Local Improvement in Program Transformation (DS), pp. 221–232.
SAC-1995-VagelatosTTC: Utilization of a lexicon for spelling correction in modern Greek (AV, TT, CT, DC), pp. 267–271.
ICLP-1995-Hirata #correctness #haskell #proving #π-calculus: Proving Correctness of Translation from Moded Flat GHC to π-Calculus (KH), p. 818.
ILPS-1995-FerrandL #composition #correctness #logic programming #proving #source code: A Compositional Proof Method of Partial Correctness for Normal Logic Programs (GF, AL), pp. 209–223.
ILPS-1995-LauOPP #correctness #logic programming #program transformation #termination: Correctness of Logic Program Transformations Based on Existential Termination (KKL, MO, AP, MP), pp. 480–494.
ILPS-1995-MalfonF #approach #semantics #source code: Type Correct programs: A semantic approach (BM, GF), pp. 576–590.
EDAC-1994-HuijbregtsEJ #design #on the: On Design Rule Correct Maze Routing (EPH, JTJvE, JAGJ), pp. 407–411.
ICSM-1994-LanningK #canonical #complexity #fault #modelling #process: Canonical Modeling of Software Complexity and Fault Correction Activity (DLL, TMK), pp. 374–381.
ICALP-1994-VergauwenL #correctness #equation #performance: Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems (BV, JL), pp. 304–315.
CIKM-1994-Al-AnziS #behaviour #concurrent #modelling #towards: Modeling Behavior, A Step Towards Defining Functionally Correct Views of Complex Objects in Concurrent Engineering (FSAA, DLS), pp. 1–9.
LOPSTR-1994-Dunin-Keplicz #architecture #development #multi #source code: An Architecture with Multiple Meta-Levels for the Development of Correct Programs (BDK), pp. 293–310.
PLILP-1994-HamelG #compilation #towards: Towards a Provably Correct Compiler for OBJ3 (LHH, JAG), pp. 132–146.
POPL-1994-BoerGMP #concurrent #constraints #proving #source code: Proving Concurrent Constraint Programs Correct (FSdB, MG, EM, CP), pp. 98–108.
POPL-1994-Ramsey #correctness #implementation: Correctness of Trap-Based Breakpoint Implementations (NR), pp. 15–24.
FSE-1994-MoriconiQ #architecture #composition #correctness: Correctness and Composition of Software Architectures (MM, XQ), pp. 164–174.
CC-1994-FranzleM #code generation #programming language #realtime #towards: Towards Provably Correct Code Generation for a Hard Real-Time Programming Language (MF, MMO), pp. 294–308.
CC-1994-LammelR #correctness #prototype: Provable Correctness of Prototype Interpreters in LDL (RL, GR), pp. 218–232.
ISSTA-1994-Marcus #composition #correctness #testing #verification: The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract) (LM), p. 197.
DAC-1993-ChungWH #design #fault #logic: Diagnosis and Correction of Logic Design Errors in Digital Circuits (PYC, YMW, INH), pp. 503–508.
ICDAR-1993-CullenE #documentation #image #segmentation: Weak model-dependent page segmentation and skew correction for processing document images (JFC, KE), pp. 757–760.
ICDAR-1993-LeeKM #algorithm #fault #performance #recognition: Efficient postprocessing algorithms for error correction in handwritten Hangul address and human name recognition (SWL, ESK, BWM), pp. 232–235.
ICDAR-1993-SekiT: Relationship between the construction of Chinese character and the correct ratio of writer indentification (YS, NT), pp. 838–841.
ICDAR-1993-TungL #detection #recognition: 2-stage character recognition by detection and correction of erroneously-identified characters (CHT, HJL), pp. 834–837.
PODS-1993-RastogiMBKS #correctness #on the: On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.
PEPM-1993-Lange #code generation #correctness: The Correctness of an Optimized Code Generation (TPL), pp. 167–178.
WSA-1993-BruynoogheC #correctness: Freeness, Sharing, Linearity and Correctness — All at Once (MB, MC), pp. 153–164.
FME-1993-RaoPS #compilation #development #tool support #verification: Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
HCI-SHI-1993-ChoMHM #algorithm #comprehension #development #recognition: A Pen-Based System to Input Correct Answers to Assist in the Development of Recognition and Understanding Algorithms of Ink Data (YC, TM, SH, SM), pp. 68–73.
PLILP-1993-BurnM #analysis #compilation #correctness #optimisation #proving #strict: Proving the Correctness of Compiler Optimizations Based on Strictness Analysis (GLB, DLM), pp. 346–364.
POPL-1993-Wand #analysis #correctness #specification: Specifying the Correctness of Binding-Time Analysis (MW), pp. 137–143.
ICSE-1993-BastaniDP #correctness #evaluation #using: Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation (FBB, GD, AP), pp. 45–54.
ICLP-1993-CodishDFB #analysis #correctness #logic programming #question #source code: Freeness Analysis for Logic Programs — And Correctness? (MC, DD, GF, MB), pp. 116–131.
ILPS-1993-KirschenbaumS #prolog #proving #source code: Enhancement Structures for Proving Prolog Programs Correct (MK, LS), p. 631.
RTA-1993-ChakrabartiY #algorithm #correctness #distributed #memory management #on the: On the Correctness of a Distributed Memory Gröbner basis Algorithm (SC, KAY), pp. 77–91.
ESOP-1992-Palsberg #compilation #generative: A Provably Correct Compiler Generator (JP), pp. 418–434.
STOC-1992-AttiyaF #correctness #multi: A Correctness Condition for High-Performance Multiprocessors (Extended Abstract) (HA, RF), pp. 679–690.
LFP-1992-WandO #correctness #proving: Proving the Correctness of Storage Representations (MW, DO), pp. 151–160.
SEKE-1992-Reif #correctness #first-order #specification: Correctness of Full First-Order Specifications (WR), pp. 276–283.
SIGIR-1992-RobertsonW #database #using: Searching for Historical Word-Forms in a Database of 17th-Century English Text Using Spelling-Correction Methods (AMR, PW), pp. 256–265.
TOOLS-USA-1992-Weber #correctness #how: Getting Class Correctness and System Correctness Equivalent (How to get covariance right) (FW), pp. 199–213.
CC-1992-ButhBFKLLM #compilation #development #implementation: Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.
CADE-1992-BoyerY #automation #correctness #proving #source code: Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor (RSB, YY), pp. 416–430.
CAV-1992-Larsen #correctness #performance: Efficient Local Correctness Checking (KGL), pp. 30–43.
JICSLP-1992-FerrandD #correctness #logic programming #proving #source code: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs (GF, PD), pp. 161–174.
PEPM-1991-McNerney #abstract interpretation #compilation #correctness #using #verification: Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation (TSM), pp. 106–115.
STOC-1991-GemmellLRSW #approximate #self: Self-Testing/Correcting for Polynomials and for Approximate Functions (PG, RJL, RR, MS, AW), pp. 32–42.
ML-1991-VanLehnJ #correctness #learning #physics: Learning Physics Via Explanation-Based Learning of Correctness and Analogical Search Control (KV, RMJ), pp. 110–114.
CAV-1991-Mutz #behaviour #correctness #proving #term rewriting #using: Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior (MM), pp. 277–287.
CSL-1991-BeierleB #correctness #proving: Correctness Proof For the WAM with Types (CB, EB), pp. 15–34.
ICLP-1991-ColussiM #axiom #correctness #logic programming #proving #semantics #source code #using: Proving Correctness of Logic Programs Using Axiomatic Semantics (LC, EM), pp. 629–642.
STOC-1990-BlumLR #problem #self: Self-Testing/Correcting with Applications to Numerical Problems (MB, ML, RR), pp. 73–83.
ICALP-1990-Schwartzbach #correctness: Static Correctness of Hierarchical Procedures (MIS), pp. 32–45.
VDME-1990-HaastrupG #correctness #in the small: Correctness in the Small (PH, CG), pp. 72–98.
CAiSE-1990-SouveyetR #concept: Correction of Conceptual Schemas (CS, CR), pp. 152–174.
ML-1990-LairdHYT #using: Correcting and Extending Domain Knowledge using Outside Guidance (JEL, MH, ESY, CMT), pp. 235–243.
ALP-1990-Farres-Casals #correctness #proving #specification: Proving Correctness wrt Specifications with Hidden Parts (JFC), pp. 25–39.
PLILP-1990-BoeckC #analysis #correctness #prolog #static typing: Static Type Analysis of Prolog Procedures for Ensuring Correctness (PDB, BLC), pp. 222–237.
POPL-1990-Gunter #correctness #nondeterminism #source code: Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs (CAG), pp. 306–319.
CSL-1990-Mundici #adaptation #complexity: The Complexity of Adaptive Error-Correcting Codes (DM), pp. 300–307.
PODS-1989-FaloutsosM #clustering #fault #using: Declustering Using Error Correcting Codes (CF, DNM), pp. 253–258.
SIGMOD-1989-MarkowitzS #correctness #on the #relational #representation: On the Correctness of Representing Extended Entity-Relationship Structures in the Relational Model (VMM, AS), pp. 430–439.
VLDB-1989-AgrawalJ #configuration management #on the #version control: On Correctly Configuring Versioned Objects (RA, HVJ), pp. 367–374.
VLDB-1989-DuE #concurrent #correctness: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase (WD, AKE), pp. 347–355.
ML-1989-DrastalMR #fault #induction: Error Correction in Constructive Induction (GD, RM, SR), pp. 81–83.
OOPSLA-1989-CookP #correctness #inheritance #semantics: A Denotational Semantics of Inheritance and its Correctness (WRC, JP), pp. 433–443.
ASPLOS-1989-GibsonHKKP #array #scalability: Failure Correction Techniques for Large Disk Arrays (GAG, LH, RMK, RHK, DAP), pp. 123–132.
NACLP-1989-HermenegildoR #correctness #independence #logic programming #on the #performance #source code: On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs (MVH, FR), pp. 369–389.
TAV-1989-RosenblumL #correctness #specification #testing: Testing the Correctness of Tasking Supervisors with TSL Specifications (DSR, DCL), pp. 187–196.
DAC-1988-MadreB #behaviour #comparison #correctness #proving #using: Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour (JCM, JPB), pp. 205–210.
SIGMOD-1988-KorthS #correctness #formal method: Formal Model of Correctness Without Serializability (HFK, GDS), pp. 379–386.
VDME-1988-ButhB #code generation #correctness #proving #specification #term rewriting #using: Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting (BB, KHB), pp. 406–433.
VDME-1988-Naftalin #correctness: Correctness for Beginners (MN), pp. 26–47.
SIGIR-1988-Veronis #fault #interface #natural language: Correction of Phonographic Errors in Natural Language Interfaces (JV), pp. 101–115.
POPL-1988-MontenyohlW #analysis #continuation #semantics: Correct Flow Analysis in Continuation Semantics (MM, MW), pp. 204–218.
LICS-1988-HoareG #correctness #logic: Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic (CARH, MJCG), pp. 28–36.
PODS-1987-GelderT #calculus #relational #safety: Safety and Correct Translation of Relational Calculus Formulas (AVG, RWT), pp. 313–327.
ESEC-1987-Obst #string: Delta Technique and String-to-String Correction (WO), pp. 64–68.
ESOP-1986-Nielson #code generation #correctness #metalanguage: Correctness of Code Generation from a Two-Level Meta-Language (FN), pp. 30–40.
ICALP-1986-Stirling #composition #concurrent #correctness #logic: A Compositional Reformulation of Owicki-Gries’s Partial Correctness Logic for a Concurrent While Language (CS), pp. 407–415.
LICS-1986-Brookes #concurrent #correctness #csp #proving #semantics: A Semantically Based Proof System for Partial Correctness and Deadlock in CSP (SDB), pp. 58–65.
LICS-1986-Csirmaz #correctness #finite: Program Correctness on Finite Fields (LC, BH), pp. 4–10.
PODS-1985-CasanovaMT #correctness #on the: On the Correctness of a Local Storage Subsystem (MAC, AVM, LT), pp. 123–134.
PODS-1985-TuzhilinS #approach #concurrent #correctness #semantics #transaction: A Semantic Approach to Correctness of Concurrent Transaction Executions (AT, PGS), pp. 85–95.
SIGIR-1985-ItoY #optimisation: Optimization of a Hierarchical File Organization for Spelling Correction (TI, CTY), pp. 131–137.
DAC-1984-GuillaumeK #named #proximity: MINUPROX — an advanced proximity correction technique for the IBM EL-2 electron beam tool (WJG, AK), pp. 452–453.
STOC-1984-DolevMMU #fault #memory management: Correcting Faults in Write-Once Memory (DD, DM, HGM, JDU), pp. 225–229.
ICSE-1984-Chyou #correctness #proving: Structure Charts and Program Correctness Proofs (SCC), pp. 486–498.
DAC-1982-Leinwand #correctness #logic: Logical correctness by construction (SML), pp. 825–831.
POPL-1982-GansnerHKMS #correctness #query #semantics: Semantics and Correctness of a Query Language Translation (EG, JRH, CMRK, DJM, PS), pp. 289–298.
DAC-1981-McFarland #automation #correctness #design #on the #optimisation #proving: On proving the correctness of optimizing transformations in a digital design automation system (MCM), pp. 90–97.
VLDB-1981-FussellKS #database #formal method #protocol: A Theory of Correct Locking Protocols for Database Systems (DSF, ZMK, AS), pp. 112–124.
STOC-1981-Yannakakis #concurrent #correctness #database: Issues of Correctness in Database Concurrency Control by Locking (MY), pp. 363–367.
PS-1981-ColemanG #correctness #distributed #source code: Partial Correctness of Distributed Programs (DC, RMG), pp. 138–180.
DAC-1980-CoryC #correctness #design #tutorial #verification: Developments in verification of design correctness (A Tutorial) (WEC, WMvC), pp. 156–164.
ICALP-1980-EhrigKP #algebra #concept #correctness #data type #implementation #semantics #syntax: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.
ICALP-1980-EmersonC #correctness #fixpoint #parallel #source code #using: Characterizing Correctness Properties of Parallel Programs Using Fixpoints (EAE, EMC), pp. 169–181.
ICALP-1980-Mosses #approach #compilation #correctness: A Constructive Approach to Compiler Correctness (PDM), pp. 449–469.
POPL-1980-BuddDLS #correctness #functional #source code #using: Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs (TAB, RAD, RJL, FGS), pp. 220–233.
SDCG-1980-Mosses #approach #compilation #correctness: A constructive approach to compiler correctness (PDM), pp. 189–210.
SDCG-1980-ThatcherWW #compilation #proving: More on advice on structuring compilers and proving them correct (JWT, EGW, JBW), pp. 165–188.
CADE-1980-Gloess #correctness #empirical #parsing #proving #theorem proving: An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions (PYG), pp. 154–169.
DAC-1979-CarterJB #design #simulation: Symbolic simulation for correct machine design (WCC, WHJJ, DB), pp. 280–286.
ICALP-1979-DuncanY #algorithm #correctness #proving: Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness (AGD, LY), pp. 218–229.
ICALP-1979-ThatcherWW #compilation #proving: More on Advice on Structuring Compilers and Proving Them Correct (JWT, EGW, JBW), pp. 596–615.
FM-1979-BergFM #bibliography #correctness #perspective: Correctness of Software — An Overview (HKB, WRF, TGM), pp. 237–354.
POPL-1979-GoodC #proving #source code: Principles of Proving Programs Correct in Gypsy (DIG, RMC, JKW), pp. 42–52.
ICALP-1978-Gallier #correctness #nondeterminism #recursion #semantics #source code: Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures (JHG), pp. 251–267.
POPL-1977-Doeppner #correctness #parallel #refinement: Parallel Program Correctness Through Refinement (TWDJ), pp. 155–169.
SOSP-1977-Ellis #consistency #correctness #database: Consistency and Correctness of Duplicate Database Systems (CAE), pp. 67–84.
DAC-1976-IkemotoSIK: Correction and wiring check-system for master-slice LSI (YI, TS, KI, HK), pp. 336–343.
ICALP-1976-Schwarz #proving #reasoning #source code #termination: Event Based Reasoning — A System for Proving Correct Termination of Programs (JS), pp. 131–146.
POPL-1976-Geller #correctness #proving #testing: Test Data as an Aid in Proving Program Correctness (MMG), pp. 209–218.
ICSE-1976-Gries #correctness #proving #source code: An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract) (DG), p. 200.
ICSE-1976-MannaW #correctness #proving: Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.
STOC-1975-Wagner #complexity #on the #problem #string: On the Complexity of the Extended String-to-String Correction Problem (RAW), pp. 218–223.
POPL-1975-Gerhart #program transformation: Correctness-Preserving Program Transformations (SLG), pp. 54–66.
STOC-1973-Vuillemin #implementation #programming language #recursion: Correct and Optimal Implementations of Recursion in a Simple Programming Language (JV), pp. 224–239.
POPL-1973-Morris73a #compilation #proving: Advice on Structuring Compilers and Proving Them Correct (FLM), pp. 144–152.
SIGFIDET-1972-HawryszkiewyczD #approach #correctness #database #proving: An Approach to Proving the Correctness of Data Base Operations (IH, JBD), pp. 323–348.
SOSP-1971-Kahn #approach #correctness: An Approach to System Correctness (GK), pp. 86–94.
STOC-1970-McGowan #correctness: The Correctness of a Modified SECD Machine (CLM), pp. 149–157.