BibSLEIGH — symbol stem

Used together with:

execut (130)
model (130)
use (123)
check (99)
analysi (95)

Stem symbol$ (all stems)

813 papers:

CASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using: Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, KÅ, SAR), pp. 799–806.
DAC-2015-HerdtLD #simulation #using #verification: Verifying SystemC using stateful symbolic simulation (VH, HML, RD), p. 6.
DATE-2015-AndradeMVAPL #analysis #data flow #modelling: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis: A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
DATE-2015-Ibing #architecture #execution #symbolic computation: Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
DRR-2015-StalnakerZ #retrieval #using: Math expression retrieval using an inverted index over symbol pairs (DS, RZ), p. 940207.
PODS-2015-GottlobPS #dependence: Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking: Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
TACAS-2015-Sankur #analysis #automaton #robust: Symbolic Quantitative Robustness Analysis of Timed Automata (OS), pp. 484–498.
TACAS-2015-Thierry-Mieg #model checking #using: Symbolic Model-Checking Using ITS-Tools (YTM), pp. 231–237.
SCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation #testing: Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
SCAM-2015-BanerjeeMS #equivalence #framework #validation: A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
PLDI-2015-EmmiEH #monitoring #reasoning #refinement: Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.
FM-2015-SolovyevJRG #estimation #fault #float: Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.
ICFP-2015-BahrBE #contract #multi: Certified symbolic management of financial multi-party contracts (PB, JB, ME), pp. 315–327.
HIMI-IKD-2015-KashimAO #design #visual notation #web: Exploring Cultural Symbols in Nigeria for Contemporary Applications in Web Visual Design (IBK, OSA, SOO), pp. 215–225.
ICEIS-v3-2015-IatskiuGC #automation #generative: Automatic Generation of LIBRAS Signs by Graphic Symbols of SignWriting (CEAI, LSG, RdPC), pp. 71–78.
SEKE-2015-ElerDE #exception #execution #generative #symbolic computation #testing: Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
SEKE-2015-WangSZ #detection #execution #symbolic computation: Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.
MoDELS-2015-KhalilD #evolution #execution #incremental #state machine #symbolic computation: Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.
POPL-2015-Pous #algebra #algorithm #equivalence #testing: Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
POPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity: Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation: Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
ESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation: Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
ESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation: Targeted program transformations for symbolic execution (CC), pp. 906–909.
ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread: Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ESEC-FSE-2015-SenNGC #execution #multi #named #summary #symbolic computation #using: MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.
ICSE-v1-2015-Ben-DavidSAB #model checking #product line #requirements #satisfiability #using: Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.
ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation: Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing: Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation #testing: DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation: Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
SOSP-2015-RaychevMM #execution #symbolic computation #using: Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.
CAV-2015-GleissenthallKR #verification: Symbolic Polytopes for Quantitative Interpolation and Verification (KvG, BK, AR), pp. 178–194.
CAV-2015-ChakrabortyKSGH #evaluation: Word-Level Symbolic Trajectory Evaluation (SC, ZK, CJHS, RG, TH, DC, RM), pp. 128–143.
ICST-2015-CseppentoM #symbolic computation #tool support: Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.
ICST-2015-Holleis #development #embedded #industrial #testing #workflow: Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICST-2015-HonfiVM #execution #named #symbolic computation #visualisation: SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.
ICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #uml #using: Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.
ICST-2015-YiYGWLZ #execution #symbolic computation: Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
ISSTA-2015-JiaGY #constraints #execution #reuse #symbolic computation: Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.
ISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing: Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.
ASE-2014-DingesA #execution #generative #using: Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASE-2014-KauslerS #constraints #evaluation #execution #string #symbolic computation #theorem proving: Evaluation of string constraint solvers in the context of symbolic execution (SK, ES), pp. 259–270.
ASE-2014-LiC #runtime #validation: Symbolic state validation through runtime data (YL, SCC), pp. 187–198.
ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation: Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing: Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASE-2014-RomanoE #library #memory management #named #runtime: symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.
CASE-2014-WantiaLR #approach #industrial: Symbolic planning for industrial applications — the eRobotics approach (NW, DL, JR), pp. 367–372.
DAC-2014-SiyoumGC #analysis #data flow: Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.
DATE-2014-FerentD #comparison #mining #novel #synthesis #using: Novel circuit topology synthesis method using circuit feature mining and symbolic comparison (CF, AD), pp. 1–4.
DATE-2014-RadojicicGMP #analysis: Semi-symbolic analysis of mixed-signal systems including discontinuities (CR, CG, JM, XP), pp. 1–4.
TACAS-2014-DudkaPV #contest #graph #memory management #named: Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.
TACAS-2014-HuangM #semantics #specification #synthesis: Symbolic Synthesis for Epistemic Specifications with Observational Semantics (XH, RvdM), pp. 455–469.
TACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using: Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
PLDI-2014-TorlakB #lightweight #virtual machine: A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
FM-2014-KordyLMP #algorithm #analysis #automaton #robust: A Symbolic Algorithm for the Analysis of Robust Timed Automata (PK, RL, SM, JWP), pp. 351–366.
SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing: Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
GRAPHITE-2014-KantP #game studies #generative: Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.
ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation: Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
DUXU-DI-2014-ChangH: Effect of Perception-Compatibility, Learning-Factor, and Symbol-Carrier on Single LED Symbol System Recognizing (CCC, TKPH), pp. 417–424.
HCI-AS-2014-MwangiKK #communication #online: Textual Emotion Communication with Non-verbal Symbols in Online Environments (ENM, SK, MK), pp. 42–48.
ICPR-2014-AlvaroSB #network: Offline Features for Classifying Handwritten Math Symbols with Recurrent Neural Networks (FA, JAS, JMB), pp. 2944–2949.
ICPR-2014-SalmonW #on the #recognition #scalability: On the Scalability of Graphic Symbol Recognition (JPS, LW), pp. 533–537.
OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread: Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
OOPSLA-2014-NazareMSBGP #analysis #memory management #validation: Validation of memory accesses through symbolic analyses (HN, IM, WS, LB, LG, FMQP), pp. 791–809.
POPL-2014-DAntoniV #automaton: Minimization of symbolic automata (LD, MV), pp. 541–554.
POPL-2014-LiAKGC #optimisation #smt: Symbolic optimization with SMT solvers (YL, AA, ZK, AG, MC), pp. 607–618.
RE-2014-LetychevskyiW #requirements #verification: Symbolic verification of requirements in VRS system (OL, TW), pp. 331–332.
SAC-PL-J-2013-MaierST14 #design #reliability #scalability #symbolic computation: Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
FSE-2014-FilieriPVG #execution #statistics #symbolic computation: Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
FSE-2014-LiAG #automation #javascript #named #testing #web: SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
ICSE-2014-AvgerinosRCB #execution #symbolic computation: Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
ICSE-2014-HeWYZ #learning #reasoning: Symbolic assume-guarantee reasoning through BDD learning (FH, BYW, LY, LZ), pp. 1071–1082.
ASPLOS-2014-BucurKC #execution #prototype #symbolic computation: Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
CAV-2014-BinghamL #bound #fault #simulation #using #verification: Verifying Relative Error Bounds Using Symbolic Simulation (JB, JLH), pp. 277–292.
CAV-2014-CavadaCDGMMMRT #model checking: The nuXmv Symbolic Model Checker (RC, AC, MD, AG, AM, AM, SM, MR, ST), pp. 334–342.
CAV-2014-DAntoniA #automaton: Symbolic Visibly Pushdown Automata (LD, RA), pp. 209–225.
CAV-2014-Hagemann #analysis #hybrid #orthogonal #reachability #using: Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections (WH), pp. 407–423.
CAV-2014-MadhavanK #bound #functional #source code: Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.
ICST-2014-BardinKC #execution #performance #symbolic computation #test coverage: Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ICST-2014-PotetMPD #approach #control flow #evaluation #injection #named #robust: Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections (MLP, LM, MP, LD), pp. 213–222.
ISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based #symbolic computation: Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.
ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using: Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
SMT-2014-PalikarevaC #execution #multi #symbolic computation: Multi-solver Support in Symbolic Execution (HP, CC), p. 15.
TAP-2014-HentschelHB #bound #execution #symbolic computation #visualisation: Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.
ASE-2013-LiRSDC #data flow #generative #named #source code: SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing: Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
DAC-2013-LeGHD #simulation #using #verification: Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
DocEng-2013-Esposito #documentation #machine learning: Symbolic machine learning methods for historical document processing (FE), pp. 1–2.
DRR-2013-NayefB #geometry: Combining geometric matching with SVM to improve symbol spotting (NN, TMB).
DRR-2013-NayefB13a #performance #retrieval: Efficient symbol retrieval by building a symbol index from a collection of line drawings (NN, TMB).
DRR-2013-SimistiraPKC #analysis #online: Structural analysis of online handwritten mathematical symbols based on support vector machines (FS, VP, VK, GC).
DRR-2013-ZhuHZ #image #recognition #retrieval #using: Rotation-robust math symbol recognition and retrieval using outer contours and image subsampling (SZ, LH, RZ).
ICDAR-2013-0001LBP #approximate #documentation #graph #string #visual notation: Near Convex Region Adjacency Graph and Approximate Neighborhood String Matching for Symbol Spotting in Graphical Documents (AD, JL, HB, UP), pp. 1078–1082.
ICDAR-2013-AlvaroSB #classification #hybrid #network #online: Classification of On-Line Mathematical Symbols with Hybrid Features and Recurrent Neural Networks (FA, JAS, JMB), pp. 1012–1016.
ICDAR-2013-DoTT #approach #recognition #representation: New Approach for Symbol Recognition Combining Shape Context of Interest Points with Sparse Representation (THD, ST, ORT), pp. 265–269.
ICDAR-2013-HuZ #multi #using: Segmenting Handwritten Math Symbols Using AdaBoost and Multi-scale Shape Context Features (LH, RZ), pp. 1180–1184.
ICDAR-2013-NayefB: Constructing a Hierarchical Structure from Symbol Alphabets of Technical Line Drawings (NN, TMB), pp. 773–777.
ICDAR-2013-PhamDBR #consistency #geometry #locality #performance #robust: Robust Symbol Localization Based on Junction Features and Efficient Geometry Consistency Checking (TAP, MD, SB, JYR), pp. 1083–1087.
ICDAR-2013-SantoshWL #retrieval: Relation Bag-of-Features for Symbol Retrieval (KCS, LW, BL), pp. 768–772.
ICDAR-2013-SuL #learning #recognition: Discriminative Weighting and Subspace Learning for Ensemble Symbol Recognition (FS, TL), pp. 1088–1092.
ICDAR-2013-TatawRK #clustering #using: Clustering of Symbols Using Minimal Description Length (OMT, TR, EJK), pp. 180–184.
TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation: Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
ICSM-2013-AnandEKSBK #abstraction #analysis #bytecode #framework #memory management #stack: An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables (KA, KE, AK, MS, RB, ADK), pp. 90–99.
SCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing: A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
WCRE-2013-Pichler #execution #specification #symbolic computation: Specification extraction by symbolic execution (JP), pp. 462–466.
SAS-2013-PelegSYY #automaton #mining #specification: Symbolic Automata for Static Specification Mining (HP, SS, EY, HY), pp. 63–83.
CIAA-2013-Veanes #automaton #finite: Applications of Symbolic Finite Automata (MV), pp. 16–23.
LATA-2013-NakamuraI #automaton #linear #stack: Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars (KN, KI), pp. 444–455.
SEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation: Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
SEFM-2013-VanspauwenJ #preprocessor: Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.
HCI-IMT-2013-ShimizuNS #algorithm #generative #search-based #using: System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.
HIMI-HSM-2013-NgoVGS #visual notation: A Visual Discrimination Task for Symbols in Air Traffic Management (MKN, KPLV, TG, TZS), pp. 540–547.
OOPSLA-2013-LiSWL #execution #symbolic computation: Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
PPDP-2013-CalauttiGT #decidability #detection #logic programming #source code: Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.
POPL-2013-BotincanB #learning #specification: Sigma*: symbolic learning of input-output specifications (MB, DB), pp. 443–456.
SAC-2013-MaierST #design #reliability #scalability #symbolic computation: Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting: Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.
ICSE-2013-FilieriPV #analysis #reliability: Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
ICSE-2013-HatcliffRCB #execution #framework #symbolic computation #verification: Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
ICSE-2013-Le #analysis: Segmented symbolic analysis (WL), pp. 212–221.
ICSE-2013-YangKP #execution #named #symbolic computation: Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
SLE-2013-ArusoaieLR #execution #framework #symbolic computation: A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification: Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
CAV-2013-DAntoniV #equivalence #finite #transducer: Equivalence of Extended Symbolic Finite Transducers (LD, MV), pp. 624–639.
CAV-2013-MeierSCB #analysis #protocol #proving #security: The TAMARIN Prover for the Symbolic Analysis of Security Protocols (SM, BS, CC, DAB), pp. 696–701.
CAV-2013-PalikarevaC #execution #multi #symbolic computation: Multi-solver Support in Symbolic Execution (HP, CC), pp. 53–68.
CAV-2013-UhlerD #automation #named #query #smt #symbolic computation: Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries (RU, ND), pp. 678–683.
ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination: Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.
ICST-2013-BagnaraCGG #float #generative #source code #testing: Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICTSS-2013-Ibing #eclipse #execution #parallel #symbolic computation: Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.
ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using: Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.
ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning: Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
TAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing: Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
ASE-2012-JamrozikFTH #execution #symbolic computation: Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.
CASE-2012-FeiMAL #approach #automaton #finite #scalability: A symbolic approach to large-scale discrete event systems modeled as finite automata with variables (ZF, SM, KÅ, BL), pp. 502–507.
DAC-2012-ChouHHH #design #model checking: Symbolic model checking on SystemC designs (CNC, YSH, CH, CY(H), pp. 327–333.
DRR-2012-LiMV #visual notation: Quantify spatial relations to discover handwritten graphical symbols (JL, HM, CVG).
FASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using: Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.
TACAS-2012-VeanesB #automaton #tool support: Symbolic Automata: The Toolkit (MV, NB), pp. 472–477.
SCAM-2012-Vidal #execution #symbolic computation #termination #verification: Closed Symbolic Execution for Verifying Program Termination (GV), pp. 34–43.
PEPM-2012-Xu #contract #hybrid: Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
PLDI-2012-GodefroidT #automation #encoding #synthesis: Automated synthesis of symbolic instruction encodings from I/O samples (PG, AT), pp. 441–452.
PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation: Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
SAS-2012-GiannakopoulouRR #component #interface #learning: Symbolic Learning of Component Interfaces (DG, ZR, VR), pp. 248–264.
SAS-2012-ThakurER #abstraction #algorithm: Bilateral Algorithms for Symbolic Abstraction (AVT, ME, TWR), pp. 111–128.
LATA-2012-BoigelotBD: Automata-Based Symbolic Representations of Polyhedra (BB, JB, JFD), pp. 3–20.
ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance: Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
ICPR-2012-BattiatoFGP #classification #modelling: Aligning Bags of Shape Contexts for Blurred Shape Model based symbol classification (SB, GMF, OG, GP), pp. 1598–1601.
ICPR-2012-DuttaGLBP #documentation #graph #kernel #random #visual notation: Combination of product graph and random walk kernel for symbol spotting in graphical documents (AD, JG, JL, HB, UP), pp. 1663–1666.
ICPR-2012-LeeKD #induction #learning: Learning action symbols for hierarchical grammar induction (KL, TKK, YD), pp. 3778–3782.
ICPR-2012-NayefAB #learning: Learning feature weights of symbols, with application to symbol spotting (NN, MZA, TMB), pp. 2371–2374.
ICPR-2012-SuYL #recognition: Ensemble symbol recognition with Hough forest (FS, LY, TL), pp. 1659–1662.
ICPR-2012-TirkazYS #memory management #recognition #sketching: Memory conscious sketched symbol recognition (CT, BAY, TMS), pp. 314–317.
ICPR-2012-WeberT #approach #documentation #performance: Symbol spotting for technical documents: An efficient template-matching approach (JW, ST), pp. 669–672.
MLDM-2012-GlodekSP #detection #process #recognition: Detecting Actions by Integrating Sequential Symbolic and Sub-symbolic Information in Human Activity Recognition (MG, FS, GP), pp. 394–404.
OOPSLA-2012-SiddiquiK #analysis #execution #scalability #symbolic computation #using: Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.
OOPSLA-2012-Tobin-HochstadtH #contract #execution #higher-order #symbolic computation: Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
LOPSTR-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting: Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (JG, TS, PSK, FE, CF), p. 1.
PPDP-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting: Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs (JG, TS, PSK, FE, CF), pp. 1–12.
PADL-2012-AlbertAG #concurrent #execution #symbolic computation: Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.
PADL-2012-Tarau #declarative #specification: A Declarative Specification of Tree-Based Symbolic Arithmetic Computations (PT), pp. 273–288.
POPL-2012-VeanesHLMB #algorithm #finite #transducer: Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.
SAC-2012-SiddiquiK #execution #staged #symbolic computation: Staged symbolic execution (JHS, SK), pp. 1339–1346.
SAC-2012-SousaC #framework #modelling #named #open source #symbolic computation: SageRobotics: open source framework for symbolic computation of robot models (CDS, RC), pp. 262–267.
SAC-2012-ZurowskaD #execution #state machine #symbolic computation #uml: Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
ICSE-2012-MarinescuC #execution #symbolic computation #testing: make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
ICSE-2012-TamrawiNNN #analysis #evaluation #symbolic computation: Build code analysis with symbolic evaluation (AT, HAN, HVN, TNN), pp. 650–660.
CGO-2012-MatosevicA #analysis #bottom-up #data access #performance #summary: Efficient bottom-up heap analysis for symbolic path-based data access summaries (IM, TSA), pp. 252–263.
LCTES-2012-YuYWCC #consistency #parallel #source code: Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.
CAV-2012-JaffarMNS #execution #named #symbolic computation #verification: TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
CAV-2012-MajumdarZ #approximate #modelling: Approximately Bisimilar Symbolic Models for Digital Control Systems (RM, MZ), pp. 362–377.
CAV-2012-ThakurR #symbolic computation: A Method for Symbolic Computation of Abstract Operations (AVT, TWR), pp. 174–192.
ICLP-2012-GrecoST #logic programming #on the #source code #termination: On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.
ICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards: Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation: Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
ICST-2012-DustmannSW #distributed #testing: Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ICST-2012-PasareanuB #analysis #statechart: Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.
ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using: Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
ICTSS-2012-BannourEGG #consistency #generative #modelling #testing: Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
ISSTA-2012-CoughlinCDS #source code #what: Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
ISSTA-2012-GeldenhuysDV #execution #probability #symbolic computation: Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
ISSTA-2012-YangPK #execution #symbolic computation: Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
LICS-2012-AgrawalAGT #approximate #markov #verification: Approximate Verification of the Symbolic Dynamics of Markov Chains (MA, SA, BG, PST), pp. 55–64.
TAP-2012-Pasareanu #execution #model checking #symbolic computation #testing: Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
VMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation: Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
ASE-2011-AnandH #execution #java #source code #symbolic computation: Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
ASE-2011-BaarsHHLMTV #search-based #testing: Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
ASE-2011-Ganai #analysis #precise #scalability: Scalable and precise symbolic analysis for atomicity violations (MKG), pp. 123–132.
ASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread: BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
ASE-2011-ZurowskaD #analysis #modelling #named #uml: SAUML: A tool for symbolic analysis of UML-RT models (KZ, JD), pp. 604–607.
CASE-2011-Bonhomme #petri net #realtime #scheduling: A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.
DAC-2011-ReimannLGHT #constraints #realtime #string #synthesis: Symbolic system synthesis in the presence of stringent real-time constraints (FR, ML, MG, CH, JT), pp. 393–398.
DATE-2011-FerentD #automation #design #similarity: A symbolic technique for automated characterization of the uniqueness and similarity of analog circuit design features (CF, AD), pp. 1212–1217.
DRR-2011-KunduHBCFJM #online #recognition #tablet #using: Online medical symbol recognition using a Tablet PC (AK, QH, SB, CC, RF, SJ, SM), pp. 1–10.
ICDAR-2011-DelayeA #fuzzy #recognition: Fuzzy Relative Positioning Templates for Symbol Recognition (AD, ÉA), pp. 1220–1224.
ICDAR-2011-DuttaLP #graph: Symbol Spotting in Line Drawings through Graph Paths Hashing (AD, JL, UP), pp. 982–986.
ICDAR-2011-HuZ #online #recognition #using: HMM-Based Recognition of Online Handwritten Mathematical Symbols Using Segmental K-Means Initialization and a Modified Pen-Up/Down Feature (LH, RZ), pp. 457–462.
ICDAR-2011-LiMV #visual notation: Symbol Knowledge Extraction from a Simple Graphical Language (JL, HM, CVG), pp. 608–612.
ICDAR-2011-MarinaiMS11a #distance #retrieval #using: Using Earth Mover’s Distance in the Bag-of-Visual-Words Model for Mathematical Symbol Retrieval (SM, BM, GS), pp. 1309–1313.
ICDAR-2011-MedjkouneMPV #recognition: Handwritten and Audio Information Fusion for Mathematical Symbol Recognition (SM, HM, SP, CVG), pp. 379–383.
ICDAR-2011-NayefB #statistics: Statistical Grouping for Segmenting Symbols Parts from Line Drawings, with Application to Symbol Spotting (NN, TMB), pp. 364–368.
ICDAR-2011-NobileHSLS #verification: Digit/Symbol Pruning and Verification for Arabic Handwritten Digit/Symbol Spotting (NN, CLH, MWS, LL, CYS), pp. 648–652.
ICDAR-2011-SuLY #multi #recognition: Symbol Recognition by Multiresolution Shape Context Matching (FS, TL, RY), pp. 1319–1323.
ITiCSE-2011-Urquiza-FuentesMVR #animation #compilation #education: Improving compilers education through symbol tables animations (JUF, FM, JÁVI, MRS), pp. 203–207.
FASE-2011-VanoverbergheP #aspect-oriented #composition #execution #symbolic computation: Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.
TACAS-2011-Ehlers #bound #named #synthesis: Unbeast: Symbolic Bounded Synthesis (RE), pp. 272–275.
PASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards: Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.
PLDI-2011-PersonYRK #execution #incremental #symbolic computation: Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
SAS-2011-MaKFH #execution #symbolic computation: Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.
LATA-2011-Schluter #automaton #lookahead: Restarting Automata with Auxiliary Symbols and Small Lookahead (NS), pp. 499–510.
FM-2011-RozierV #approach #encoding #ltl #multi #satisfiability: A Multi-encoding Approach for LTL Symbolic Satisfiability Checking (KYR, MYV), pp. 417–431.
SIGAda-2011-BeltHRCHD #contract #execution #symbolic computation #using: Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
CIKM-2011-PimentelCS #clustering #data-driven #database #kernel #metric: A partitioning method for symbolic interval data based on kernelized metric (BAP, AFBFdC, RMCRdS), pp. 2189–2192.
KDIR-2011-BorcheninovO #embedded #programming #search-based #symbolic computation: Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.
KDIR-2011-LiVM #graph #learning #relational #using #visual notation: Unsupervised Handwritten Graphical Symbol Learning — Using Minimum Description Length Principle on Relational Graph (JL, CVG, HM), pp. 172–178.
KDIR-2011-SanJuan #graph: Mapping Knowledge Domains — Combining Symbolic Relations with Graph Theory (ES), pp. 527–536.
Onward-2011-Bierhoff #automation #lightweight #reasoning #verification: Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.
LOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation: Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
PPDP-2011-BourdierC #analysis #network #policy #security #term rewriting #using: Symbolic analysis of network security policies using rewrite systems (TB, HC), pp. 77–88.
ESEC-FSE-2011-QiNR: Path exploration based on symbolic output (DQ, HDTN, AR), pp. 278–288.
ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing: Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
ICSE-2011-ClassenHSL #model checking #product line: Symbolic model checking of software product lines (AC, PH, PYS, AL), pp. 321–330.
ICSE-2011-GeTXT #execution #named #symbolic computation #verification: DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
HPCA-2011-LeeSNY #analysis #order: Offline symbolic analysis to infer Total Store Order (DL, MS, SN, ZY), pp. 357–358.
ISMM-2011-Tarau #memory management #multi #prolog: Integrated symbol table, engine and heap memory management in multi-engine prolog (PT), pp. 129–138.
PPoPP-2011-FischerMR #concurrent #modelling: Symbolically modeling concurrent MCAPI executions (TF, EM, NR), pp. 307–308.
CADE-2011-AlbertiAR #analysis #automation #named #policy #security: ASASP: Automated Symbolic Analysis of Security Policies (FA, AA, SR), pp. 26–33.
CAV-2011-ChatterjeeHJS #algorithm #analysis #automaton #markov #process: Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives (KC, MH, MJ, NS), pp. 260–276.
CAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing: KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
CAV-2011-MorbePS #automaton #model checking: Fully Symbolic Model Checking for Timed Automata (GM, FP, CS), pp. 616–632.
ICTSS-2011-SchwarzlAW #composition #random testing #testing #using: Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.
ISSTA-2011-PasareanuRV #execution #symbolic computation: Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.
RTA-2011-DuranEEMT #maude #reachability #unification: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.
TAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service: Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.
ASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation: A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.
ASE-2010-PasareanuR #bytecode #execution #java #symbolic computation: Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
CASE-2010-OuedraogoKMA #approach #automaton #finite: Symbolic approach to nonblocking and safe control of Extended Finite Automata (LO, RK, RM, KÅ), pp. 471–476.
TACAS-2010-WangLGG #analysis: Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.
ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing: Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
PEPM-2010-MossP #implementation #performance: Bridging the gap between symbolic and efficient AES implementations (AM, DP), pp. 101–110.
PLDI-2010-KhooCF #execution #symbolic computation #type checking: Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.
SAS-2010-GurfinkelC #abstract domain #named: Boxes: A Symbolic Abstract Domain of Boxes (AG, SC), pp. 287–303.
CIAA-2010-CimattiMRT #automaton #nondeterminism #regular expression: From Sequential Extended Regular Expressions to NFA with Symbolic Labels (AC, SM, MR, ST), pp. 87–94.
CIAA-2010-ForysOB #automaton #infinity: Symbolic Dynamics, Flower Automata and Infinite Traces (WF, PO, SB), pp. 135–142.
DLT-2010-Schluter #automaton #lookahead #on the: On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (Extended Abstract) (NS), pp. 440–441.
IFM-2010-BouchenebIN #algorithm #model checking #replication: Symbolic Model-Checking of Optimistic Replication Algorithms (HB, AI, MN), pp. 89–104.
SEFM-2010-EscobedoGGC #approach #testing #web #web service: Testing Web Service Orchestrators in Context: A Symbolic Approach (JPE, CG, PLG, ARC), pp. 257–267.
SEFM-2010-TudoseO #design pattern #execution #symbolic computation #testing #using: A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution (CT, RO), pp. 113–117.
ICGT-2010-OrejasL #constraints #graph transformation #theorem proving: Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.
CHI-2010-LiMW: A model of symbol size discrimination in scatterplots (JL, JBM, JJvW), pp. 2553–2562.
ICPR-2010-AlvaroS #recognition: Comparing Several Techniques for Offline Recognition of Printed Mathematical Symbols (FA, JAS), pp. 1953–1956.
ICPR-2010-DeufemiaRT #recognition #sketching: Sketched Symbol Recognition with a Latent-Dynamic Conditional Model (VD, MR, GT), pp. 1100–1103.
ICPR-2010-FornesELV #classification #using: Symbol Classification Using Dynamic Aligned Shape Descriptor (AF, SE, JL, EV), pp. 1957–1960.
ICPR-2010-SantoshWL #using #visual notation: Using Spatial Relations for Graphical Symbol Description (KCS, LW, BL), pp. 2041–2044.
ICPR-2010-SuLY #recognition: Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings (FS, TL, RY), pp. 1892–1895.
ICPR-2010-ZhangSW #classification #online: A SVM-HMM Based Online Classifier for Handwritten Chemical Symbols (YZ, GS, KW), pp. 1888–1891.
KDIR-2010-Diday #data analysis: Extracting Knowledge from Complex Data by Symbolic Data Analysis (ED), pp. 5–6.
KDIR-2010-Seifert #knowledge-based #mining #music: Knowledge-based Mining of Patterns and Structure of Symbolic Music Files (FS0), pp. 358–363.
OOPSLA-2010-DilligDA #abstraction #axiom #invariant #memory management: Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.
FSE-2010-LiCK #analysis #detection #effectiveness: Practical and effective symbolic analysis for buffer overflow detection (LL, CC, NK), pp. 317–326.
ICSE-2010-HussainC #data type: Dynamic symbolic data structure repair (IH, CC), pp. 215–218.
ICSE-2010-ReisnerSMFP #behaviour #configuration management #evaluation #symbolic computation #using: Using symbolic evaluation to understand behavior in configurable software systems (ER, CS, KKM, JSF, AP), pp. 445–454.
PPoPP-2010-DashD #distributed #memory management #transaction: Symbolic prefetching in transactional distributed shared memory (AD, BD), pp. 331–332.
PPoPP-2010-LiGKQ #source code #verification: A symbolic verifier for CUDA programs (GL, GG, RMK, DQ), pp. 357–358.
CAV-2010-AlbarghouthiGWC #analysis #symbolic computation: Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.
CAV-2010-BlomPW #distributed #named #reachability: LTSmin: Distributed and Symbolic Reachability (SB, JvdP, MW), pp. 354–359.
CAV-2010-Ehlers #bound #synthesis: Symbolic Bounded Synthesis (RE), pp. 365–379.
CAV-2010-KunduGW #analysis #concurrent #named #testing: Contessa: Concurrency Testing Augmented with Symbolic Analysis (SK, MKG, CW), pp. 127–131.
ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing: When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.
ICST-2010-VeanesHT #named #regular expression: Rex: Symbolic Regular Expression Explorer (MV, PdH, NT), pp. 498–507.
ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving: FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.
IJCAR-2010-ChevalCD #analysis #automation #constraints #equivalence #security: Automating Security Analysis: Symbolic Equivalence of Constraint Systems (VC, HCL, SD), pp. 412–426.
IJCAR-2010-HoderKV: Interpolation and Symbol Elimination in Vampire (KH, LK, AV), pp. 188–195.
IJCAR-2010-MouraB #debugging #development #reasoning: Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development (LMdM, NB), pp. 400–411.
ISSTA-2010-DanielGM #execution #on the #symbolic computation #using: On test repair using symbolic execution (BD, TG, DM), pp. 207–218.
ISSTA-2010-SantelicesH #dependence #execution #multi #scalability #symbolic computation: Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.
ISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing: Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
VMCAI-2010-Dubrovin #bound #reachability: Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.
ASE-2009-DeshmukhES #analysis #concurrent #library: Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (JVD, EAE, SS), pp. 480–491.
ASE-2009-YuAB #analysis #generative #source code #string #using: Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (FY, MA, TB), pp. 605–609.
DATE-2009-DarbariAFB #design #simulation #using: Selective state retention design using symbolic simulation (AD, BMAH, DF, JB), pp. 1644–1649.
DATE-2009-KravetsM #logic #synthesis #using: Sequential logic synthesis using symbolic bi-decomposition (VNK, AM), pp. 1458–1463.
DATE-2009-LiuX09a #framework #reduction: A generic framework for scan capture power reduction in fixed-length symbol-based test compression environment (XL, QX), pp. 1494–1499.
ICDAR-2009-AlyUFS #classification #statistics: Statistical Classification of Spatial Relationships among Mathematical Symbols (WA, SU, AF, MS), pp. 1350–1354.
ICDAR-2009-BodicLAHLK #detection #graph #integer #linear #programming #using: Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming (PLB, HL, SA, PH, YL, AK), pp. 1320–1324.
ICDAR-2009-GolubitskyW #multi #online #orthogonal #recognition: Online Recognition of Multi-Stroke Symbols with Orthogonal Series (OG, SMW), pp. 1265–1269.
ICDAR-2009-HassanCG #documentation #image #recognition: Shape Descriptor Based Document Image Indexing and Symbol Recognition (EH, SC, MG), pp. 206–210.
ICDAR-2009-LuqmanBR #classification #graph #network #recognition #using: Graphic Symbol Recognition Using Graph Based Signature and Bayesian Network Classifier (MML, TB, JYR), pp. 1325–1329.
ICDAR-2009-MarinaiMS #clustering #order #using: Mathematical Symbol Indexing Using Topologically Ordered Clusters of Shape Contexts (SM, BM, GS), pp. 1041–1045.
ICDAR-2009-NguyenTB #approach #visual notation: A Symbol Spotting Approach Based on the Vector Model and a Visual Vocabulary (TON, ST, AB), pp. 708–712.
ICDAR-2009-SantoshLR #induction #logic programming #recognition: Inductive Logic Programming for Symbol Recognition (KCS, BL, JPR), pp. 1330–1334.
ICDAR-2009-SidereHR #classification #graph #representation: Vector Representation of Graphs: Application to the Classification of Symbols and Letters (NS, PH, JYR), pp. 681–685.
ICDAR-2009-ZhangSY #online #recognition: HMM-Based Online Recognition of Handwritten Chemical Symbols (YZ, GS, JY), pp. 1255–1259.
ESOP-2009-BonchiM #algorithm #similarity: Minimization Algorithm for Symbolic Bisimilarity (FB, UM), pp. 267–284.
TACAS-2009-YuBI #analysis #string #verification: Symbolic String Verification: Combining String Analysis and Size Analysis (FY, TB, OHI), pp. 322–336.
CSMR-2009-Laitila #analysis #comprehension #named: SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension (EL), pp. 325–326.
ICALP-v1-2009-ValleeCFF: The Number of Symbol Comparisons in QuickSort and QuickSelect (BV, JC, JAF, PF), pp. 750–763.
FM-2009-WangKGG #analysis #concurrent #predict #source code: Symbolic Predictive Analysis for Concurrent Programs (CW, SK, MKG, AG), pp. 256–272.
IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
IFM-2009-VossSE #network #scheduling: SAL-Based Symbolic Scheduling in Time-Triggered Networks (SV, MS, KE), pp. 200–214.
HIMI-II-2009-IbrahimN #design #online #quote #web: “Online Legitimacy”: Defining Institutional Symbolisms for the Design of Information Artifact in the Web Mediated Information Environment (W-MIE) (ENMI, NLMN), pp. 65–73.
ICEIS-DISI-2009-SofokleousAK #execution #generative #symbolic computation #testing: Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
CIKM-2009-YangLJ #monitoring #scalability: Scalable continuous range monitoring of moving objects in symbolic indoor space (BY, HL, CSJ), pp. 671–680.
ESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation #symbolic computation: Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
ESEC-FSE-2009-WangCGY #concurrent: Symbolic pruning of concurrent program executions (CW, SC, AG, YY), pp. 23–32.
CADE-2009-KovacsV: Interpolation and Symbol Elimination (LK, AV), pp. 199–213.
CAV-2009-BaslerMWK #abstraction #concurrent: Symbolic Counter Abstraction for Concurrent Software (GB, MM, TW, DK), pp. 64–78.
CAV-2009-Gulwani #analysis #bound #complexity #named: SPEED: Symbolic Complexity Bound Analysis (SG), pp. 51–62.
CAV-2009-KahlonWG #partial order #reduction: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique (VK, CW, AG), pp. 398–413.
CAV-2009-KanadeAIRSS #generative #modelling: Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation: Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
MBT-2009-DadeauT #animation #named #testing: jSynoPSys — A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines (FD, RT), pp. 117–132.
SAT-2009-Vardi #satisfiability: Symbolic Techniques in Propositional Satisfiability Solving (MYV), pp. 2–3.
TAP-2009-GriesmayerAJS #distributed #execution #symbolic computation #testing: Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
TAP-2009-Rapin #bound #execution #model checking #symbolic computation: Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.
TestCom-FATES-2009-BentakoukPZ #distributed #framework #testing: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.
ASE-2008-InkumsahX #execution #object-oriented #source code #symbolic computation #testing: Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (KI, TX), pp. 297–306.
DAC-2008-AhmadiZ #analysis #approach #hardware #optimisation: Symbolic noise analysis approach to computational hardware optimization (AA, MZ), pp. 391–396.
DAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DATE-2008-AronsEOSS #low level #performance #simulation: Efficient Symbolic Simulation of Low Level Software (TA, EE, SO, JS, ES), pp. 825–830.
DATE-2008-FeinsteinTM #detection #equivalence #logic #using: Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits (DYF, MAT, DMM), pp. 1378–1381.
DATE-2008-GlassLRHT #analysis #network #optimisation #reliability: Symbolic Reliability Analysis and Optimization of ECU Networks (MG, ML, FR, CH, JT), pp. 158–163.
FoSSaCS-2008-BonchiM #revisited #semantics: Symbolic Semantics Revisited (FB, UM), pp. 395–412.
TACAS-2008-AnandGT #composition #execution #symbolic computation: Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
TACAS-2008-SankaranarayananDI #hybrid #model checking #using: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (SS, TD, FI), pp. 188–202.
TACAS-2008-WahlBE #named #symmetry #verification: SVISS: Symbolic Verification of Symmetric Systems (TW, NB, EAE), pp. 459–462.
PASTE-2008-LoM #mining #modelling #specification: Specification mining of symbolic scenario-based models (DL, SM), pp. 29–35.
ICEIS-HCI-2008-IbrahimNM #trust #web: Wisdom on the Web: On Trust, Institution and Symbolisms — A Preliminary Investigation (ENMI, NLMN, SM), pp. 13–20.
ICPR-2008-ShiS #graph #recognition: A symbol graph based handwritten math expression recognition (YS, FKS), pp. 1–4.
ECMDA-FA-2008-GronmoSMK #aspect-oriented #interactive #semantics: A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol (RG, FS, BMP, SK), pp. 262–277.
SAC-2008-FabreS: Combining symbolic and numerical solvers to simplify indecomposable systems solving (AF, PS), pp. 1838–1842.
SAC-2008-LasserreLR #algebra #algorithm: Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
SAC-2008-OlarteV #concurrent #constraints #security #semantics: Universal concurrent constraint programing: symbolic semantics and applications to security (CO, FDV), pp. 145–150.
FSE-2008-PersonDEP #difference #execution #symbolic computation: Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
FSE-2008-YuWGB #composition #encoding #performance #summary #using #verification #web #web service: Modular verification of web services using efficient symbolic encoding and summarization (FY, CW, AG, TB), pp. 192–202.
ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation: DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ICSE-2008-GabelS #mining #specification: Symbolic mining of temporal specifications (MG, ZS), pp. 51–60.
ICLP-2008-BaseliceB #source code: Composing Normal Programs with Function Symbols (SB, PAB), pp. 425–439.
ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation: Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing: Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
TestCom-FATES-2008-FaivreGGT #refinement: Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
VMCAI-2008-MorgensternS #automaton #ltl: From LTL to Symbolically Represented Deterministic Automata (AM, KS), pp. 279–293.
ASE-2007-MajumdarX #generative #testing #using: Directed test generation using symbolic grammars (RM, RGX), pp. 134–143.
DATE-2007-Al-SammaneZT #design #verification: A symbolic methodology for the verification of analog and mixed signal designs (GAS, MHZ, ST), pp. 249–254.
ICDAR-2007-BabuPSRB #online #recognition: HMM-Based Online Handwriting Recognition System for Telugu Symbols (VB, LP, RS, GVR, AB), pp. 63–67.
ICDAR-2007-CharW #approximate #functional #representation: Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation (BWC, SMW), pp. 1198–1202.
ICDAR-2007-CostagliolaDR #diagrams #grammarware #sketching #using: Using Grammar-Based Recognizers for Symbol Completion in Diagrammatic Sketches (GC, VD, MR), pp. 1078–1082.
ICDAR-2007-KeshariW #hybrid #recognition #using: Hybrid Mathematical Symbol Recognition Using Support Vector Machines (BK, SMW), pp. 859–863.
ICDAR-2007-Renaudin #collaboration: A General Method of Segmentation-Recognition Collaboration Applied to Pairs of Touching and Overlapping Symbols (CR), pp. 659–663.
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-RusinolLD #detection #visual notation: Camera-Based Graphical Symbol Detection (MR, JL, PD), pp. 884–888.
ICDAR-2007-ShiLS #framework #recognition #segmentation: A Unified Framework for Symbol Segmentation and Recognition of Handwritten Mathematical Expressions (YS, HL, FKS), pp. 854–858.
ICDAR-2007-WendlingR #recognition #using: Symbol Recognition Using a 2-class Hierarchical Model of Choquet Integrals (LW, JR), pp. 634–638.
ICDAR-2007-YuZL #approach #recognition: A New Syntactic Approach to Graphic Symbol Recognition (YY, WZ, WL), pp. 516–520.
ICDAR-2007-ZhangL #recognition: A New Vectorial Signature for Quick Symbol Indexing, Filtering and Recognition (WZ, WL), pp. 536–540.
WRLA-J-2004-MeseguerT07 #analysis #encryption #protocol #reachability #using #verification: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (JM, PT), pp. 123–160.
FoSSaCS-2007-HagueO #analysis #automaton #higher-order: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems (MH, CHLO), pp. 213–227.
TACAS-2007-AnandOH #analysis #execution #program transformation #symbolic computation: Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
TACAS-2007-AnandPV #execution #java #named #symbolic computation: JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
TACAS-2007-Derisavi #algorithm #markov: A Symbolic Algorithm for Optimal Markov Chain Lumping (SD), pp. 139–154.
SAS-2007-SankaranarayananIG #program analysis #using: Program Analysis Using Symbolic Ranges (SS, FI, AG), pp. 366–383.
CIAA-J-2006-BloemCPR07 #automaton #implementation: Symbolic Implementation of Alternating Automata (RB, AC, IP, MR), pp. 727–743.
CIAA-J-2006-NicartCCGK07 #automaton #multi: Labelling Multi-Tape Automata with Constrained Symbol Classes (FN, JMC, TC, TG, AK), pp. 847–858.
SEFM-2007-DengRH #algorithm #execution #object-oriented #source code #symbolic computation #towards: Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (XD, R, JH), pp. 273–282.
HCI-IDU-2007-Janlert #concept #human-computer #interactive #interface: The Evasive Interface — The Changing Concept of Interface and the Varying Role of Symbols in Human-Computer Interaction (LEJ), pp. 117–126.
HIMI-IIE-2007-IbrahimNM #concept #framework #online #trust #web: “Seeing Is Not Believing But Interpreting”, Inducing Trust Through Institutional Symbolism: A Conceptual Framework for Online Trust Building in a Web Mediated Information Environment (ENMI, NLMN, SM), pp. 64–73.
SAC-2007-BarratT #learning #recognition: A progressive learning method for symbols recognition (SB, ST), pp. 627–631.
ESEC-FSE-2007-MajumdarX #generative #testing #using: Directed test generation using symbolic grammars (RM, RGX), pp. 553–556.
ESEC-FSE-2007-RoychoudhuryGS #sequence chart: Symbolic message sequence charts (AR, AG, BS), pp. 275–284.
CAV-2007-EzekielLC #generative: Parallelising Symbolic State-Space Generators (JE, GL, GC), pp. 268–280.
CSL-2007-Alfaro #approach #game studies: The Symbolic Approach to Repeated Games (Abstract) (LdA), p. 3.
RTA-2007-EscobarM #infinity #model checking #using: Symbolic Model Checking of Infinite-State Systems Using Narrowing (SE, JM), pp. 153–168.
TAP-2007-GallRT #execution #refinement #symbolic computation #testing: Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
TestCom-FATES-2007-FaivreGG #component #modelling #testing: Symbolic Model Based Testing for Component Oriented Systems (AF, CG, PLG), pp. 90–106.
VMCAI-2007-McMillan #model checking: Interpolants and Symbolic Model Checking (KLM), pp. 89–90.
ASE-2006-DengLR #bound #execution #named #symbolic computation: Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (XD, JL, R), pp. 157–166.
DAC-2006-PeranandamNRWKR #bound #performance: Fast falsification based on symbolic bounded property checking (PMP, PKN, JR, RJW, TK, WR), pp. 1077–1082.
DATE-2006-McConaghyG #canonical #modelling #performance: Double-strength CAFFEINE: fast template-free symbolic modeling of analog circuits via implicit canonical form functions and explicit introns (TM, GGEG), pp. 269–274.
DATE-2006-YangV #analysis #evaluation #performance #synthesis: Efficient temperature-dependent symbolic sensitivity analysis and symbolic performance evaluation in analog circuit synthesis (HY, RV), pp. 283–284.
DRR-2006-LoprestiNJ #correlation #generative #graph: Match graph generation for symbolic indirect correlation (DPL, GN, AJ).
ITiCSE-2006-Urquiza-FuentesGGV #visualisation: Visualizing the symbol table (JUF, MGC, FGB, JÁVI), p. 341.
FoSSaCS-2006-BackesMPV #analysis #encryption: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario (MB, SM, BP, LV), pp. 428–445.
TACAS-2006-EsparzaKS #abstraction #automaton #refinement: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
TACAS-2006-ThomasCP #performance #reachability #using: Efficient Guided Symbolic Reachability Using Reachability Expressions (DT, SC, PKP), pp. 120–134.
CIAA-2006-BloemCPRS #automaton #implementation: Symbolic Implementation of Alternating Automata (RB, AC, IP, MR, SS), pp. 208–218.
CIAA-2006-NicartCCGK #automaton #multi: Multi-tape Automata with Symbol Classes (FN, JMC, TC, TG, AK), pp. 126–136.
CIAA-2006-RoyC #finite #infinity #model checking: A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems (SR, BC), pp. 277–278.
ICALP-v1-2006-LeeLT #independence: Deterministic Extractors for Independent-Symbol Sources (CJL, CJL, SCT), pp. 84–95.
ICALP-v2-2006-DelauneLLT #analysis #morphism #protocol: Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (SD, PL, DL, RT), pp. 132–143.
FM-2006-JohnstonWBSR #model checking #modelling #order #performance: Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.
SFM-2006-ClaessenR #evaluation: An Introduction to Symbolic Trajectory Evaluation (KC, JWR), pp. 56–77.
IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using: On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
ICPR-v1-2006-IshidaTIMM #generative #identification #learning: Identification of degraded traffic sign symbols by a generative learning method (HI, TT, II, YM, HM), pp. 531–534.
ICPR-v2-2006-FloreaBRB #image #representation #using: Using texture-based symbolic features for medical image representation (FF, EB, AR, AB), pp. 946–949.
ICPR-v2-2006-ToyamaSM #recognition: Symbol Recognition of Printed Piano Scores with Touching Symbols (FT, KS, JM), pp. 480–483.
ICPR-v3-2006-BarbuRLAHT #algorithm #classification #graph #recognition #search-based #using: Graph Classification Using Genetic Algorithm and Graph Probing Application to Symbol Recognition (EB, RR, HL, SA, PH, ÉT), pp. 296–299.
ICPR-v3-2006-JoshiNLS #approach #correlation: A Maximum-Likelihood Approach to Symbolic Indirect Correlation (AJ, GN, DPL, SCS), pp. 99–103.
POPL-2006-BishopFNSSW #implementation #logic #specification #testing: Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (SB, MF, MN, PS, MS, KW), pp. 55–66.
SAC-2006-Capron #bound #static analysis: Static analysis of time bounded reactive properties of Boolean symbols (GC), pp. 1827–1834.
ICSE-2006-BeckerBGKS #adaptation #invariant #verification: Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
ICSE-2006-ChangJ #declarative #model checking #modelling #relational: Symbolic model checking of declarative relational models (FSHC, DJ), pp. 312–320.
CAV-2006-KahlonGS #concurrent #model checking #on the fly #partial order #source code #transaction #using: Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (VK, AG, NS), pp. 286–299.
CAV-2006-RoordaC #abstraction #evaluation #refinement #satisfiability: SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (JWR, KC), pp. 175–189.
CAV-2006-TzorefG #automation #detection #evaluation #refinement: Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (RT, OG), pp. 190–204.
FATES-RV-2006-FrantzenTW #framework #modelling #testing: A Symbolic Framework for Model-Based Testing (LF, JT, TACW), pp. 40–54.
ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #symbolic computation #using #verification: Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.
SAT-2006-JussilaSB #proving #quantifier #satisfiability: Extended Resolution Proofs for Symbolic SAT Solving with Quantification (TJ, CS, AB), pp. 54–60.
TestCom-2006-BouazizK #on the fly #realtime #testing: Symbolic and on the Fly Testing with Real-Time Observers (RB, OK), pp. 306–323.
TestCom-2006-GastonGRT #execution #symbolic computation: Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.
VMCAI-2006-Mine #abstract domain #precise: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
DAC-2005-Li #analysis #grid #performance #power management #simulation: Power grid simulation via efficient sampling-based sensitivity analysis and hierarchical symbolic relaxation (PL), pp. 664–669.
DATE-2005-BalakrishnanT #configuration management #linear #using: Reconfigurable Linear Decompressors Using Symbolic Gaussian Elimination (KJB, NAT), pp. 1130–1135.
DATE-2005-McConaghyEG #canonical #generative #named #programming #search-based: CAFFEINE: Template-Free Symbolic Model Generation of Analog Circuits via Canonical Form Functions and Genetic Programming (TM, TE, GGEG), pp. 1082–1087.
ICDAR-2005-BarbuHAT #clustering #documentation #image #representation #using: Clustering document images using a bag of symbols representation (EB, PH, SA, ÉT), pp. 1216–1220.
ICDAR-2005-GarainC #analysis #approach #multi #segmentation: Segmentation of Touching Symbols for OCR of Printed Mathematical Expressions: An Approach based on Multifactorial Analysis (UG, BBC), pp. 177–181.
ICDAR-2005-GarainD #approach #documentation: An Approach for Stemming in Symbolically Compressed Indian Language Imaged Documents (UG, AKD), pp. 1080–1084.
ICDAR-2005-SuzukiUN #database #image: A Ground-Truthed Mathematical Character and Symbol Image Database (MS, SU, AN), pp. 675–679.
ICDAR-2005-WattX #recognition #scalability #set: Recognition for Large Sets of Handwritten Mathematical Symbols (SMW, XX), pp. 740–744.
ITiCSE-2005-Gallego-CarrilloGUV #named #visualisation: SOTA: a visualization tool for symbol tables (MGC, FGB, JUF, JÁVI), p. 385.
WRLA-2004-MeseguerT05 #analysis #encryption #protocol #reachability #using #verification: Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols (JM, PT), pp. 153–182.
TACAS-2005-BouquetDLU #ml #named #specification #using: JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP (FB, FD, BL, MU), pp. 551–556.
TACAS-2005-JeannetJRZ #analysis #approximate #testing: Symbolic Test Selection Based on Approximate Analysis (BJ, TJ, VR, EZ), pp. 349–364.
TACAS-2005-SchuppanB #ltl #model checking: Shortest Counterexamples for Symbolic Model Checking of LTL with Past (VS, AB), pp. 493–509.
TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.
PASTE-2005-HampapuramYD #analysis #data flow #simulation: Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
PASTE-2005-KhurshidS #execution #library #symbolic computation: Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.
WCRE-2005-CaretteC #assembly #legacy: Symbolic Interpretation of Legacy Assembly Language (JC, PKC), pp. 23–32.
CIAA-2005-JurdzinskiO #automaton #strict: Restricting the Use of Auxiliary Symbols for Restarting Automata (TJ, FO), pp. 176–187.
DLT-2005-AlhazovFO: Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells (AA, RF, MO), pp. 100–111.
DLT-2005-JurdzinskiMOP: Monotone Deterministic RL-Automata Don’t Need Auxiliary Symbols (TJ, FM, FO, MP), pp. 284–295.
FM-2005-BouquetDLU #animation #ml #specification: Symbolic Animation of JML Specifications (FB, FD, BL, MU), pp. 75–90.
FM-2005-IyerSEJ #clustering #model checking #on the: On Partitioning and Symbolic Model Checking (SKI, DS, EAE, JJ), pp. 497–511.
ICEIS-v2-2005-HuangK #network #online #recognition: A Recurrent Neural Network Recogniser for Online Recognition of Handwritten Symbols (BQH, MTK), pp. 27–34.
ICEIS-v2-2005-WindridgeST #information management #representation #taxonomy: Symbolic Knowledge Representation in Transcript Based Taxonomies (PCW, BS, GT), pp. 267–272.
SAC-2005-EgidiT #approach #database #flexibility: A flexible approach to user-defined symbolic granularities in temporal databases (LE, PT), pp. 592–597.
SAC-2005-VogiazouEDK #community #game studies #scalability: From buddyspace to CitiTag: large-scale symbolic presence for community building and spontaneous play (YV, ME, MD, JK), pp. 1600–1606.
SAT-J-2004-PanV05 #satisfiability: Search vs. Symbolic Techniques in Satisfiability Solving (GP, MYV), pp. 235–250.
CAV-2005-AlurMN #composition #learning #verification: Symbolic Compositional Verification by Learning Assumptions (RA, PM, WN), pp. 548–562.
CAV-2005-Kaivola #component #induction #invariant #simulation #verification: Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
CAV-2005-LahiriBC #abstraction: Predicate Abstraction via Symbolic Decision Procedures (SKL, TB, BC), pp. 24–38.
CAV-2005-SebastianiTV #hybrid #ltl #model checking: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking (RS, ST, MYV), pp. 350–363.
ICLP-2005-SahaR #data type #evaluation #graph #incremental #performance: Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.
SAT-2005-AudemardS #approach #quantifier: A Symbolic Search Based Approach for Quantified Boolean Formulas (GA, LS), pp. 16–30.
ASE-2004-HallZ #behaviour #requirements #validation: Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.
DAC-2004-ChauhanCK #algorithm #satisfiability #simulation: A SAT-based algorithm for reparameterization in symbolic simulation (PC, EMC, DK), pp. 524–529.
DAC-2004-HungSYYP #analysis #logic #quantum #reachability #synthesis: Quantum logic synthesis by symbolic reachability analysis (WNNH, XS, GY, JY, MAP), pp. 838–841.
DAC-2004-SchueleS #abstraction #analysis #assembly #execution #source code: Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
DAC-2004-TanGQ #analysis #approach #scalability: Hierarchical approach to exact symbolic analysis of large analog circuits (SXDT, WG, ZQ), pp. 860–863.
DATE-v1-2004-NathkeBHB #automation #behaviour #generative: Hierarchical Automatic Behavioral Model Generation of Nonlinear Analog Circuits Based on Nonlinear Symbolic Techniques (LN, VB, LH, EB), pp. 442–447.
DATE-v1-2004-RanjanVASVG #modelling #performance #synthesis #using: Fast, Layout-Inclusive Analog Circuit Synthesis using Pre-Compiled Parasitic-Aware Symbolic Performance Models (MR, WV, AA, HS, RV, GGEG), pp. 604–609.
TACAS-2004-QianN #abstraction #database #invariant #model checking: Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases (KQ, AN), pp. 497–511.
TACAS-2004-YorshRS #analysis: Symbolically Computing Most-Precise Abstract Operations for Shape Analysis (GY, TWR, SS), pp. 530–545.
CSMR-2004-Latendresse #evaluation #preprocessor #symbolic computation #term rewriting: Rewrite Systems for Symbolic Evaluation of C-like Preprocessing (ML), pp. 165–173.
PLDI-2004-ZhuC #analysis #pointer #revisited: Symbolic pointer analysis revisited (JZ, SC), pp. 145–157.
SAS-2004-Preda #evaluation #refinement: Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.
SEFM-2004-Roy #finite #infinity #using #verification: Symbolic Verification of Infinite Systems using a Finite Union of DFAs (SR), pp. 56–66.
SEFM-2004-ZhangXW #constraints #execution #generative #symbolic computation #testing #theorem proving #using: Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.
ICPR-v1-2004-GarainCG #classification #multi #recognition: A Multiple-Classifier System for Recognition of Printed Mathematical Symbols (UG, BBC, RPG), pp. 380–383.
ICPR-v1-2004-HseN #recognition #sketching #using: Sketched Symbol Recognition using Zernike Moments (HHH, ARN), pp. 367–370.
ICPR-v2-2004-TabboneW #adaptation #recognition: Recognition of Symbols in Grey Level Line-drawings from an Adaptation of the Radon Transform (ST, LW), pp. 570–573.
ICPR-v2-2004-ToyozumiYMKMST #case study #recognition #segmentation #using: A Study of Symbol Segmentation Method for Handwritten Mathematical Formula Recognition using Mathematical Structure Information (KT, NY, KM, TK, KM, YS, TT), pp. 630–633.
ICPR-v3-2004-FritschHS #gesture #recognition: Combining Sensory and Symbolic Data for Manipulative Gesture Recognition (JF, NH, GS), pp. 930–933.
KDD-2004-TinoKS #approach #generative #probability #sequence #set #visualisation: A generative probabilistic approach to visualizing sets of symbolic sequences (PT, AK, YS), pp. 701–706.
PADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation: Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
POPL-2004-Rival #compilation: Symbolic transfer function-based approaches to certified compilation (XR), pp. 1–13.
SAC-2004-AlexanderF #image #representation: Symbol representation in map image compression (AA, PF), pp. 29–34.
CC-2004-ClaussT #approach #optimisation #program analysis: A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization (PC, IT), pp. 120–133.
CAV-2004-GoelB #abstraction #functional #model checking #order #simulation: Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors (AG, REB), pp. 255–267.
CAV-2004-Lange #model checking: Symbolic Model Checking of Non-regular Properties (ML), pp. 83–95.
CAV-2004-Wang #analysis #hybrid #linear #parametricity #safety: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
FATES-2004-BruckerW #generative #recursion #testing: Symbolic Test Case Generation for Primitive Recursive Functions (ADB, BW), pp. 16–32.
FATES-2004-FrantzenTW #generative #specification #testing: Test Generation Based on Symbolic Specifications (LF, JT, TACW), pp. 1–15.
FATES-2004-LopezNR #testing: Testing of Symbolic-Probabilistic Systems (NL, MN, IR), pp. 49–63.
SAT-2004-PanV #satisfiability: Search vs. Symbolic Techniques in Satisfiability Solving (GP, MYV), pp. 137–146.
VMCAI-2004-RepsSY #implementation: Symbolic Implementation of the Best Transformer (TWR, SS, GY), pp. 252–266.
DAC-2003-GoelHB #order #representation: Symbolic representation with ordered function templates (AG, GH, REB), pp. 431–435.
DAC-2003-KangP #bound #model checking #satisfiability: SAT-based unbounded symbolic model checking (HJK, ICP), pp. 840–843.
DAC-2003-MantheLS #analysis: Symbolic analysis of analog circuits with hard nonlinearity (AM, ZL, CJRS), pp. 542–545.
DATE-2003-GoelB #analysis #functional #reachability #set: Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis (AG, REB), pp. 10816–10821.
DATE-2003-LogothetisS #analysis #source code: Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration (GL, KS), pp. 10196–10203.
DATE-2003-MantheLSM #analysis: Symbolic Analysis of Nonlinear Analog Circuits (AM, ZL, CJRS, KM), pp. 11108–11109.
DATE-2003-ZivkovicKWD #architecture #multi #performance #source code: Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs (VDZ, EAdK, PvdW, EFD), pp. 10656–10661.
ICDAR-2003-DelalandreNTO #recognition #representation #xml: Symbols Recognition by Global-Local Structural Approaches, Based on the Scenarios Use, and with a XML Representation of Data (MD, SN, ÉT, JMO), pp. 1002–1006.
ICDAR-2003-HendersonS #analysis #approach: Symbolic Pruning in a Structural Approach to Engineering Drawing Analysis (TH, LS), pp. 180–184.
ICDAR-2003-PearceA #algorithm #segmentation: An Evolutionary Algorithm for General Symbol Segmentation (SP, MA), pp. 726–730.
ICDAR-2003-TerradesV #representation: Radon Transform for Lineal Symbol Representation (ORT, EV), p. 195–?.
TACAS-2003-KhurshidPV #execution #model checking #symbolic computation #testing: Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
CSMR-2003-Latendresse #c #c++ #evaluation #performance #preprocessor #symbolic computation #using: Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
CSMR-2003-SciascioDMP #design #maintenance #model checking #using #web: Web Applications Design and Maintenance Using Symbolic Model Checking (EDS, FMD, MM, GP), pp. 63–72.
CIAA-2003-WallmeierHT #finite #specification #synthesis: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications (NW, PH, WT), pp. 11–22.
DLT-2003-FalcoGL #modelling #probability: Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models (DdF, MG, VL), pp. 242–253.
AdaEurope-2003-BliebergerB #evaluation #symbolic computation #using: Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.
ICEIS-v2-2003-El-SayedP: Symbolic Management of Imprecision (MES, DP), pp. 66–73.
PADL-2003-HuetC #algorithm #performance: Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics (GPH), pp. 17–18.
ESEC-FSE-2003-XieCE #analysis #detection #fault #memory management #named #using: ARCHER: using symbolic, path-sensitive analysis to detect memory access errors (YX, AC, DRE), pp. 327–336.
CADE-2003-GulwaniN #random: A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols (SG, GCN), pp. 167–181.
CAV-2003-Abu-HaimedBD #consistency #invariant #testing: Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.
CAV-2003-CiardoS #model checking: Structural Symbolic CTL Model Checking of Asynchronous Systems (GC, RS), pp. 40–53.
CAV-2003-LahiriBC #abstraction #approach: A Symbolic Approach to Predicate Abstraction (SKL, REB, BC), pp. 141–153.
CAV-2003-SeshiaB #automaton #bound #model checking #using: Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods (SAS, REB), pp. 154–166.
CSL-2003-Buchberger #logic #symbolic computation: Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture) (BB), pp. 98–99.
ICLP-2003-Fages #model checking: Symbolic Model-Checking for Biochemical Systems (FF), p. 102.
RTA-2003-Lincoln #biology: Invited Talk: Symbolic Systems Biology (PL), p. 1.
DAC-2002-BertaccoO #performance #representation #simulation: Efficient state representation for symbolic simulation (VB, KO), pp. 99–104.
DAC-2002-KolblKAD #simulation: Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
DAC-2002-PeymandoustMS #algebra #embedded #library #using: Complex library mapping for embedded software using symbolic algebra (AP, GDM, TS), pp. 325–330.
DATE-2002-CabodiCQ #clustering #image #scheduling: Dynamic Scheduling and Clustering in Symbolic Image Computation (GC, PC, SQ), pp. 150–156.
DATE-2002-CiesielskiKZR #canonical #diagrams #representation #verification: Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification (MJC, PK, ZZ, BR), pp. 285–289.
DATE-2002-DaemsGS #approach #linear #performance: A Fitting Approach to Generate Symbolic Expressions for Linear and Nonlinear Analog Circuit Performance Characteristics (WD, GGEG, WMCS), pp. 268–273.
DATE-2002-Hieu #analysis #design #feedback #linear #optimisation: Optimization Techniques for Design of General and Feedback Linear Analog Amplifier with Symbolic Analysis (TcH), p. 1104.
DATE-2002-LuchettaMP #comparison #fault: Critical Comparison among Some Analog Fault Diagnosis Procedures Based on Symbolic Techniques (AL, SM, MCP), p. 1105.
DATE-2002-PeymandoustSM #algebra #embedded #optimisation #power management #using: Low Power Embedded Software Optimization Using Symbolic Algebra (AP, TS, GDM), pp. 1052–1058.
DATE-2002-PoppOHB #analysis #automation #parametricity: Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits (RP, JO, LH, EB), pp. 274–278.
DATE-2002-VanasscheGS #behaviour #matrix #modelling #using: Constructing Symbolic Models for the Input/Output Behavior of Periodically Time-Varying Systems Using Harmonic Transfer Matrices (PV, GGEG, WMCS), pp. 279–284.
TACAS-2002-ClarkeJRZ #generative #named #testing: STG: A Symbolic Test Generation Tool (DC, TJ, VR, EZ), pp. 470–475.
TACAS-2002-JinKS #analysis #reachability #scheduling: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis (HJ, AK, FS), pp. 312–326.
TACAS-2002-KwiatkowskaNP #approach #hybrid #model checking #probability: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
DLT-2002-Frougny #online: On-Line Odometers for Two-Sided Symbolic Dynamical Systems (CF), pp. 405–416.
ICALP-2002-Cachat #automaton #game studies #graph #synthesis: Symbolic Strategy Synthesis for Games on Pushdown Graphs (TC), pp. 704–715.
CIKM-2002-MulhemL #retrieval: Symbolic photograph content-based retrieval (PM, JHL), pp. 94–101.
ICPR-v2-2002-KimJKS #clustering #detection #segmentation #word: Word Segmentation of Printed Text Lines Based on Gap Clustering and Special Symbol Detection (SHK, CBJ, HKK, CYS), pp. 320–323.
ICPR-v3-2002-TabboneW #2d #recognition #using: Technical Symbols Recognition Using the Two-Dimensional Radon Transform (ST, LW), pp. 200–203.
OOPSLA-2002-MarellyHK #execution #multi #sequence chart: Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
SAC-2002-DolinBR #co-evolution #distributed #effectiveness: Co-evolving an effective fitness sample: experiments in symbolic regression and distributed robot control (BD, FHBI, EGR), pp. 553–559.
LCTES-SCOPES-2002-MohantyPND #agile #design #embedded #multi #simulation #using: Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation (SM, VKP, SN, JRD), pp. 18–27.
CAV-2002-BarnerG #approximate #model checking #reduction #symmetry: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
CAV-2002-BarnerGG #backtracking #locality #re-engineering #reduction: Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
CAV-2002-CimattiCGGPRST #model checking: NuSMV 2: An OpenSource Tool for Symbolic Model Checking (AC, EMC, EG, FG, MP, MR, RS, AT), pp. 359–364.
CAV-2002-Henzinger #approach #hybrid: The Symbolic Approach to Hybrid Systems (TAH), p. 57.
CAV-2002-McMillan #bound #model checking #satisfiability: Applying SAT Methods in Unbounded Symbolic Model Checking (KLM), pp. 250–264.
ISSTA-2002-ChenTZ #evaluation #named #symbolic computation #testing: Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing (TYC, THT, ZZ), pp. 191–195.
RTA-2002-DeharbeMR #logic #model checking: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae (DD, AMM, CR), pp. 207–221.
VMCAI-2002-CharatonikMP #analysis #composition #termination: Compositional Termination Analysis of Symbolic Forward Analysis (WC, SM, AP), pp. 109–125.
DAC-2001-KolblKD #simulation: Symbolic RTL Simulation (AK, JHK, RFD), pp. 47–52.
DAC-2001-McDonaldB #analysis #simulation #using: Computing Logic-Stage Delays Using Circuit Simulation and Symbolic Elmore Analysis (CBM, REB), pp. 283–288.
DAC-2001-PeymandoustM #algebra #algorithm #synthesis #using: Using Symbolic Algebra in Algorithmic Level DSP Synthesis (AP, GDM), pp. 277–282.
DAC-2001-VerhaegenG #analysis #linear #performance #scalability: Efficient DDD-based Symbolic Analysis of Large Linear Analog Circuits (WV, GGEG), pp. 139–144.
DATE-2001-CabodiCQ #process: Biasing symbolic search by means of dynamic activity profiles (GC, PC, SQ), pp. 9–15.
DATE-2001-DoboliV #analysis #network #scalability: A regularity-based hierarchical symbolic analysis method for large-scale analog networks (AD, RV), p. 806.
ICDAR-2001-SanchezL #graph grammar: A Graph Grammar to Recognize Textured Symbols (GS, JL), pp. 465–469.
ICDAR-2001-ValvenyM #learning #using: Learning of Structural Descriptions of Graphic Symbols Using Deformable Template Matching (EV, EM), pp. 455–459.
TACAS-2001-ChechikDE #implementation #model checking #multi: Implementing a Multi-valued Symbolic Model Checker (MC, BD, SME), pp. 404–419.
TACAS-2001-CiardoLS #generative #named #performance: Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation (GC, GL, RS), pp. 328–342.
TACAS-2001-CimattiRB #automaton #model checking #set: Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking (AC, MR, PB), pp. 313–327.
TACAS-2001-FislerFVY #algorithm #detection #question: Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.
TACAS-2001-Yavuz-KahveciTB #library: A Library for Composite Symbolic Representations (TYK, MT, TB), pp. 52–66.
DLT-2001-KudlekR #turing machine: A Universal Turing Machine with 3 States and 9 Symbols (MK, YR), pp. 311–318.
ICALP-2001-Boreale #analysis #encryption #protocol: Symbolic Trace Analysis of Cryptographic Protocols (MB), pp. 667–681.
LOPSTR-2001-AlbertV #declarative #multi #profiling: Symbolic Profiling for Multi-paradigm Declarative Languages (EA, GV), pp. 148–167.
ESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification: STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.
ESEC-FSE-2001-Coen-PorisiniDGP #execution #safety #symbolic computation #using #verification: Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.
CC-2001-Engelen #analysis #compilation #optimisation #performance: Efficient Symbolic Analysis for Optimizing Compilers (RvE), pp. 118–132.
CAV-2001-AlurW #implementation #network #protocol #refinement #verification: Verifying Network Protocol Implementations by Symbolic Refinement Checking (RA, BYW), pp. 169–181.
CAV-2001-Cabodi #named #representation: Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions (GC), pp. 118–130.
CAV-2001-DelzannoRB #explosion: Attacking Symbolic State Explosion (GD, JFR, LVB), pp. 298–310.
CAV-2001-GrumbergHS #calculus #distributed #model checking #μ-calculus: Distributed Symbolic Model Checking for μ-Calculus (OG, TH, AS), pp. 350–362.
CAV-2001-Moore #execution #modelling #state machine #symbolic computation: Rewriting for Symbolic Execution of State Machine Models (JSM), pp. 411–422.
ICLP-2001-BasuMRRV #bisimulation #constraints #logic programming #using: Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming (SB, MM, CRR, IVR, RMV), pp. 166–180.
LICS-2001-Jeffrey #induction #lts #type system: A Symbolic Labelled Transition System for Coinductive Subtyping of Fμ≤ Types (AJ), pp. 323–333.
RTA-2001-Ringeissen #question: Matching with Free Function Symbols — A Simple Extension of Matching? (CR), pp. 276–290.
DAC-2000-BloemRS #model checking: Symbolic guided search for CTL model checking (RB, KR, FS), pp. 29–34.
DAC-2000-McDonaldB #clustering #scheduling #simulation #using: Symbolic timing simulation using cluster scheduling (CBM, REB), pp. 254–259.
DAC-2000-PiS #analysis #approach #diagrams #multi: Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits (TP, CJRS), pp. 19–22.
DAC-2000-WilsonD #reliability #simulation #using #verification: Reliable verification using symbolic simulation with scalar values (CW, DLD), pp. 124–129.
DAC-2000-YangT #lazy evaluation #model checking: Lazy symbolic model checking (JY, AT), pp. 35–38.
DATE-2000-GuerraRFR #analysis #approach #scalability: A Hierarchical Approach for the Symbolic Analysis of Large Analog Integrated Circuits (OG, ER, FVF, ÁRV), pp. 48–52.
TACAS-2000-AbdullaBE #analysis #reachability: Symbolic Reachability Analysis Based on SAT-Solvers (PAA, PB, NE), pp. 411–425.
TACAS-2000-AlfaroKNPS #model checking #probability #process #representation #using: Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (LdA, MZK, GN, DP, RS), pp. 395–410.
TACAS-2000-DelzannoR #representation #set: Symbolic Representation of Upward-Closed Sets (GD, JFR), pp. 426–440.
TACAS-2000-HenzingerM #hybrid #model checking: Symbolic Model Checking for Rectangular Hybrid Systems (TAH, RM), pp. 142–156.
TACAS-2000-Wang #data type #performance #realtime #verification: Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems (FW), pp. 157–171.
ICSM-2000-HuMDL #analysis #c #c++ #compilation #execution #symbolic computation #using: C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
PEPM-2000-ScholzBF #analysis #detection #memory management #pointer: Symbolic Pointer Analysis for Detecting Memory Leaks (BS, JB, TF), pp. 104–113.
PLDI-2000-RuginaR #analysis #array #bound #memory management #pointer: Symbolic bounds analysis of pointers, array indices, and accessed memory regions (RR, MCR), pp. 182–195.
IFM-2000-RusuBJ #approach #generative #testing: An Approach to Symbolic Test Generation (VR, LdB, TJ), pp. 338–357.
AdaEurope-2000-BliebergerBS #ada #analysis #data flow #detection #source code: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.
ICML-2000-BoschZ #in memory #learning #multi: Unpacking Multi-valued Symbolic Features and Classes in Memory-Based Language Learning (AvdB, JZ), pp. 1055–1062.
ICPR-v1-2000-NealS #3d #detection #representation: A Symbolic Representation for 3-D Object Feature Detection (PJN, LGS), pp. 1221–1224.
ICPR-v2-2000-LuoH #algorithm #composition #graph #using: Symbolic Graph Matching Using the EM Algorithm and Singular Value Decomposition (BL, ERH), pp. 2141–2144.
ICPR-v2-2000-ParkerPR #recognition: Vector Templates for Symbol Recognition (JRP, JP, DR), pp. 2602–2605.
ICPR-v2-2000-ValvenyM #documentation #framework #recognition #using: Hand-Drawn Symbol Recognition in Graphic Documents Using Deformable Template Matching and a Bayesian Framework (EV, EM), pp. 2239–2242.
ICPR-v4-2000-LiangCPH: A Methodology for Special Symbol Recognitions (JL, VC, ITP, RMH), pp. 4011–4014.
KR-2000-Chalupsky #named: OntoMorph: A Translation System for Symbolic Knowledge (HC), pp. 471–482.
TOOLS-PACIFIC-2000-PowerM #c++: Symbol Table Construction and Name Lookup in ISO C++ (JFP, BAM), pp. 57–69.
ICSE-2000-DangK #approximate #infinity #model checking #realtime: Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems (ZD, RAK), pp. 345–354.
CAV-2000-AnnichiniAB #parametricity #reasoning: Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems (AA, EA, AB), pp. 419–434.
CAV-2000-WilliamsBCG #diagrams #model checking #performance #satisfiability: Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking (PFW, AB, EMC, AG), pp. 124–138.
CL-2000-NilssonL #constraints #logic programming #model checking: Constraint Logic Programming for Local and Symbolic Model-Checking (UN, JL), pp. 384–398.
DAC-1999-BertaccoDQ #simulation: Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits (VB, MD, SQ), pp. 391–396.
DAC-1999-BiereCCFZ #model checking #satisfiability #using: Symbolic Model Checking Using SAT Procedures instead of BDDs (AB, AC, EMC, MF, YZ), pp. 317–320.
DAC-1999-CabodiCQ #process #traversal: Improving Symbolic Traversals by Means of Activity Profiles (GC, PC, SQ), pp. 306–311.
DAC-1999-DaemsGS #analysis #complexity #reduction: Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits (WD, GGEG, WMCS), pp. 958–963.
DAC-1999-HoskoteKHZ #estimation #model checking: Coverage Estimation for Symbolic Model Checking (YVH, TK, PHH, XZ), pp. 300–305.
DATE-1999-FerrandiFGS #functional #generative #specification: Symbolic Functional Vector Generation for VHDL Specifications (FF, FF, LG, DS), p. 442–?.
DATE-1999-HongB #analysis #finite #reachability #scalability #state machine #using: Symbolic Reachability Analysis of Large Finite State Machines Using Don’t Cares (YH, PAB), p. 13–?.
DATE-1999-MartinezAQH #algorithm #encoding #using: An Algorithm for Face-Constrained Encoding of Symbols Using Minimum Code Length (MM, MJA, JMQ, JLH), pp. 521–525.
DATE-1999-MeinelS #model checking #order #performance: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering (CM, CS), pp. 760–761.
DATE-1999-MillanEECC #logic #optimisation: Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization (ESM, LE, JAE, SC, FC), pp. 516–520.
DATE-1999-RibasC #clustering #modelling: Digital MOS Circuit Partitioning with Symbolic Modeling (LR, JC), pp. 503–508.
DATE-1999-StrehlT #diagrams #model checking #petri net: Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
DATE-1999-TanS #diagrams #scalability #using: Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.
ICDAR-1999-LeeH #detection #documentation: Duplicate Detection in Symbolically Compressed Documents (DSL, JJH), pp. 305–308.
ICDAR-1999-TakatsukaCWV #distributed #representation: Symbolic Representation and Distributed Matching Strategies for Schematics (MT, TC, GAWW, SV), pp. 693–696.
ICDAR-1999-ValvenyM #architecture #recognition: Application of Deformable Template Matching to Symbol Recognition in Hand-written Architectural Drawings (EV, EM), pp. 483–486.
TACAS-1999-AbdullaAB #bound #protocol #verification: Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol (PAA, AA, AB), pp. 208–222.
TACAS-1999-BiereCCZ #model checking: Symbolic Model Checking without BDDs (AB, AC, EMC, YZ), pp. 193–207.
WIA-1999-AndaryCCDFL #automaton #named: SEA: A Symbolic Environment for Automata Theory (PA, PC, JMC, GD, MF, ÉL), pp. 13–26.
FM-v1-1999-DeharbeM #fixpoint #model checking: Symbolic Model Checking with Fewer Fixpoint Computations (DD, AMM), pp. 272–288.
FM-v1-1999-ReffelE #detection #fault #model checking: Error Detection with Directed Symbolic Model Checking (FR, SE), pp. 195–211.
HCI-CCAD-1999-WeberLZ #using: Symbolic tele-communication using the WWW (HW, FL, KJZ), pp. 802–806.
HCI-EI-1999-PiamonteAO #testing #visual notation: Testing Videophone Graphical Symbols in Southeast Asia (TPDP, JDAA, KO), pp. 793–797.
HCI-EI-1999-PiamonteOA #empirical #evaluation: An Empirical Evaluation of Videophone Symbols: An International Study (TPDP, KO, JDAA), pp. 798–802.
AdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code #symbolic computation: Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.
MLDM-1999-AltamuraELM #documentation #learning: Symbolic Learning Techniques in Paper Document Processing (OA, FE, FAL, DM), pp. 159–173.
PPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming: Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
ICSE-1999-ChanABJNW #model checking #performance: Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts (WC, RJA, PB, DHJ, DN, WEW), pp. 142–151.
CADE-1999-AdamsGLM #named: VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.
CADE-1999-Nieuwenhuis #constraints #deduction: Invited Talk: Rewrite-based Deduction and Symbolic Constraints (RN), pp. 302–313.
CAV-1999-BiereCRZ #model checking #safety #using: Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs (AB, EMC, RR, YZ), pp. 60–71.
CAV-1999-Chou #evaluation: The Mathematical Foundation fo Symbolic Trajectory Evaluation (CTC), pp. 196–207.
CAV-1999-CimattiCGR #named #verification: NUSMV: A New Symbolic Model Verifier (AC, EMC, FG, MR), pp. 495–499.
CAV-1999-YangSBO #constraints #model checking #modelling #optimisation: Optimizing Symbolic Model Checking for Constraint-Rich Models (BY, RGS, REB, DRO), pp. 328–340.
ICLP-1999-CiarliniF #execution #hybrid #symbolic computation: Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.
RTA-1999-Marcinkowski #algebra #formal method: Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol (JM), pp. 92–102.
DAC-1998-GhoshJB #analysis #testing: A BIST Scheme for RTL Controller-Data Paths Based on Symbolic Testability Analysis (IG, NKJ, SB), pp. 554–559.
DAC-1998-WangAK #array #automation #evaluation #generative #using #verification: Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation (LCW, MSA, NK), pp. 534–537.
DATE-1998-CornoPRV: Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection (FC, PP, MSR, MV), pp. 670–677.
DATE-1998-PastorC #analysis #encoding #performance #petri net: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
DATE-1998-RibasC #equivalence #incremental #on the #reuse #simulation #verification: On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits (LR, JC), pp. 624–629.
TACAS-1998-AlurHR: Symbolic Exploration of transition Hierarchies (RA, TAH, SKR), pp. 330–344.
TACAS-1998-VelevB #array #memory management #modelling #performance #simulation: Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation (MNV, REB), pp. 136–150.
SAS-1998-Levi #model checking #semantics: A Symbolic Semantics for Abstract Model Checking (FL), pp. 134–151.
FM-1998-FantechiGMPT #model checking: A Symbolic Model Checker for ACTL (AF, SG, FM, RP, ET), pp. 228–242.
AdaEurope-1998-BliebergerB #ada #analysis #source code: Symbolic Reaching Definitions Analysis of Ada Programs (JB, BB), pp. 238–250.
SIGAda-1998-Crawford #algorithm #animation: Algorithm Animation with Symbol Processing Robots (BSC), pp. 217–218.
REFSQ-1998-SantosC #requirements #social: The Structural, Social, Political and Symbolic Dimensions of Computer-Based Systems Requirements (IS, JAC), pp. 121–129.
CAV-1998-AbdullaJKP #approach #partial order #reduction #verification: A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) (PAA, BJ, MK, DP), pp. 379–390.
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-HenzingerKQ #model checking: From Pre-historic to Post-modern Symbolic Model Checking (TAH, OK, SQ), pp. 195–206.
CAV-1998-KaufmannMP #constraints #design #model checking: Design Constraints in Symbolic Model Checking (MK, AM, CP), pp. 477–487.
CAV-1998-StollerL #detection #distributed #performance: Efficient Symbolic Detection of Global Properties in Distributed Systems (SDS, YAL), pp. 357–368.
ISSTA-1998-ChanABN #model checking #performance #requirements: Improving Efficiency of Symbolic Model Checking for State-Based System Requirements (WC, RJA, PB, DN), pp. 102–112.
DAC-1997-AmonBHL #diagrams #using #verification: Symbolic Timing Verification of Timing Diagrams using Presburger Formulas (TA, GB, TH, JL), pp. 226–231.
DAC-1997-CabodiCLQ #approach #clustering #effectiveness #scalability #traversal: Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits (GC, PC, LL, SQ), pp. 728–733.
DAC-1997-PandeyRBA #evaluation #using #verification: Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation (MP, RR, REB, MSA), pp. 167–172.
DAC-1997-WalrathV #evaluation #modelling #performance #symbolic computation #trade-off #visualisation: Symbolic Evaluation of Performance Models for Tradeoff Visualization (JW, RV), pp. 359–364.
EDTC-1997-BeniniMMPS #logic #network #optimisation #synthesis: Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks (LB, GDM, EM, MP, RS), pp. 514–520.
EDTC-1997-CabodiCLQ #synthesis #verification: Verification and synthesis of counters based on symbolic techniques (GC, PC, LL, SQ), pp. 176–181.
EDTC-1997-ChiusanoCPR #graph #hybrid #problem: Hybrid symbolic-explicit techniques for the graph coloring problem (SC, FC, PP, MSR), pp. 422–426.
EDTC-1997-Garcia-VargasGFR #algorithm #analysis #generative #scalability: An algorithm for numerical reference generation in symbolic analysis of large analog circuits (IGV, MG, FVF, ÁRV), pp. 395–399.
EDTC-1997-HendricxC #approach #verification: A symbolic core approach to the formal verification of integrated mixed-mode applications (SH, LJMC), pp. 432–436.
EDTC-1997-KropfR #model checking #using: Using MTBDDs for discrete timed symbolic model checking (TK, JR), pp. 182–187.
ICDAR-1997-ZhaoLZPT #online #recognition: On-line recognition handwritten mathematical symbol (XZ, XL, SZ, BP, YYT), pp. 645–648.
DLT-1997-TokudaYW #re-engineering: Deterministic Reconstruction of Context-Free Derivations for a Sentence with Shuffled Terminal Symbols (TT, KY, YW), pp. 551–558.
ICALP-1997-BaierCHKR #model checking #probability #process: Symbolic Model Checking for Probabilistic Processes (CB, EMC, VHG, MZK, MR), pp. 430–440.
ICALP-1997-BouajjaniH #analysis #reachability #set: Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract) (AB, PH), pp. 560–570.
CIKM-1997-WaiC #video: Retrieving Video Data Via Motion Tracks of Content Symbols (TTYW, ALPC), pp. 105–112.
ICML-1997-DattaK #learning #prototype: Learning Symbolic Prototypes (PD, DFK), pp. 75–82.
ALP-1997-CodishT #analysis #constraints #logic programming #semantics #source code #termination #using: A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints (MC, CT), pp. 31–45.
SAC-1997-FeinsilverGS #approach #on the #polynomial: On the computation of polynomial representations of nilpotent Lie groups: a symbolic mathematical approach (PF, UG, RS), pp. 537–539.
CADE-1997-YangFZ #algorithm #geometry: A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry (LY, HF, ZZ), pp. 73–86.
CAV-1997-AlurBHQR #partial order #reduction: Partial-Order Reduction in Symbolic State Space Exploration (RA, RKB, TAH, SQ, SKR), pp. 340–351.
CAV-1997-BozgaMPY #automaton #verification: Some Progress in the Symbolic Verification of Timed Automata (MB, OM, AP, SY), pp. 179–190.
CAV-1997-BultanGP #infinity #model checking #using: Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic (TB, RG, WP), pp. 400–411.
CAV-1997-ChanABN #constraints #model checking #theorem proving: Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
CAV-1997-KestenMMPS #model checking: Symbolic Model Checking with Rich ssertional Languages (YK, OM, MM, AP, ES), pp. 424–435.
CAV-1997-PandeyB #evaluation #symmetry #verification: Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation (MP, REB), pp. 244–255.
CAV-1997-VelevBJ #array #memory management #modelling #performance #simulation: Efficient Modeling of Memory Arrays in Symbolic Simulation (MNV, REB, AJ), pp. 388–399.
CSL-1997-DurandFL: Spectra with Only Unary Function Symbols (AD, RF, BL), pp. 189–202.
RTA-1997-Schulz #algorithm: A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms (KUS), pp. 284–298.
DAC-1996-FerrandiFMPS #automaton #network #optimisation: Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques (FF, FF, EM, MP, DS), pp. 467–470.
DAC-1996-PandeyRBB #array #evaluation #using #verification: Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation (MP, RR, DLB, REB), pp. 649–654.
ITiCSE-1996-Krone #algorithm #analysis #data type #education #symbolic computation #using: Using symbolic computation for teaching data structures and algorithm analysis (JK), p. 230.
WCRE-1996-GravleyL #identification: Identifying Enumeration Types Modeled with Symbolic Constants (JMG, AL), p. 227–?.
ICPR-1996-ReiherLDLHZ #performance #recognition #robust: A system for efficient and robust map symbol recognition (ER, YL, VDD, ML, CH, CZ), pp. 783–787.
LOPSTR-1996-FribourgR #constraints #verification: Symbolic Verification with Gap-Order Constraints (LF, JR), pp. 20–37.
CAV-1996-Avrunin #algebra #geometry #model checking #using: Symbolic Model Checking Using Algebraic Geometry (GSA), pp. 26–37.
CAV-1996-BoigelotG #communication #infinity #protocol #using #verification: Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) (BB, PG), pp. 1–12.
CAV-1996-ClarkeMCH #model checking: Symbolic Model Checking (EMC, KLM, SVAC, VHG), pp. 419–427.
CAV-1996-McMillan #model checking #representation: A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking (KLM), pp. 13–25.
LICS-1996-GodefroidL #protocol #queue #verification: Symbolic Protocol Verification With Queue BDDs (PG, DEL), pp. 198–206.
DAC-1995-ClarkeGMZ #generative #model checking #performance: Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking (EMC, OG, KLM, XZ), pp. 427–432.
DAC-1995-KriegerBK #fault #multi #simulation: Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy (RK, BB, MK), pp. 339–344.
DAC-1995-MonahanB #evaluation #modelling: Symbolic Modeling and Evaluation of Data Paths (CM, FB), pp. 389–394.
DAC-1995-Ribas-XirgoC #analysis #fault #simulation: Analysis of Switch-Level Faults by Symbolic Simulation (LR, JC), pp. 352–357.
ICDAR-v1-1995-DodelS #recognition: Symbolic/neural recognition of cursive amounts on bank cheques (JPD, RS), pp. 15–18.
ICDAR-v2-1995-Shieh #recursion: Recursive morphological sieve method for searching pictorial point symbols on maps (JSS), pp. 931–935.
ICDAR-v2-1995-Yu #automation #comprehension #diagrams: Automatic understanding of symbol-connected diagrams (BY), pp. 803–806.
WCRE-1995-CimitileLM #execution #reuse #symbolic computation #using: Qualifying Reusable Functions Using Symbolic Execution (AC, ADL, MM).
PEPM-1995-RamakrishnanRS #analysis #constraints #framework #logic programming #source code #theorem proving: A Symbolic Constraint Solving Framework for Analysis of Logic Programs (CRR, IVR, RCS), pp. 12–23.
ICML-1995-CrawH #network #refinement: Protein Folding: Symbolic Refinement Competes with Neural Networks (SC, PH), pp. 133–141.
ESEC-1995-TuyaSC #model checking #modelling #safety #using #verification: Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models (JT, LS, JAC), pp. 59–75.
ICLP-1995-Jain #logic programming #source code #using: Projections of Logic Programs using Symbol Mappings (AJ), pp. 483–496.
LICS-1995-ComonNR #constraints #order #theorem proving: Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) (HC, RN, AR), pp. 375–385.
DAC-1994-CabodiCQ #traversal: Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths (GC, PC, SQ), pp. 289–293.
DAC-1994-GuptaS #automation #design #multi #verification: Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs (APG, DPS), pp. 113–119.
EDAC-1994-ChenYF #debugging #design #identification #model checking: Bug Identification of a Real Chip Design by Symbolic Model Checking (BC, MY, MF), pp. 132–136.
EDAC-1994-DufourN #design #independence #process: An Optimizable Model for Process Independent Symbolic Design (JCD, JFN), p. 660.
EDAC-1994-HachtelMPS #algorithm #finite #state machine: Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine (GDH, EM, AP, FS), pp. 214–218.
EDAC-1994-HirechFGR #design #simulation #testing: A Redefinable Symbolic Simulation Technique to Testability Design Rules Checking (MH, OF, AG, EHR), p. 668.
ESOP-1994-Amtoft #fixpoint #re-engineering: Local Type Reconstruction by Means of Symbolic Fixed Point Iteration (TA), pp. 43–57.
ESOP-1994-CorsiniR #constraints #logic programming #model checking: Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization (MMC, AR), pp. 180–194.
SAS-1994-Consel #analysis #fixpoint #performance #strict: Fast Strictness Analysis Via Symbolic Fixpoint Iteration (CC), pp. 423–431.
ICALP-1994-CaronCCDJ #constraints: Pumping, Cleaning and Symbolic Constraints Solving (ACC, HC, JLC, MD, FJ), pp. 436–449.
LFP-1994-JagannathanW #parallel: Analyzing Stores and References in a Parallel Symbolic Language (SJ, SW), pp. 294–305.
CHI-1994-RaoC94a #interactive #lens #visual notation #visualisation: The table lens: merging graphical and symbolic representations in an interactive focus + context visualization for tabular information (RR, SKC), pp. 318–322.
ICML-1994-TchoumatchenkoG #framework #learning: A Baysian Framework to Integrate Symbolic and Neural Learning (IT, JGG), pp. 302–308.
SEKE-1994-ArndtGPT #execution #logic programming #source code #symbolic computation: Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.
PLILP-1994-Grivas #compilation #constraints #functional #logic #symbolic computation #towards: Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.
SAC-1994-FlachsbartBCH #algorithm #classification #using: Using the ID3 symbolic classification algorithm to reduce data density (BF, WEB, DCSC, JH), pp. 292–296.
CC-1994-PineoS #approach #debugging: A Practical Approach to the Symbolic Debugging of Parallelized Code (PPP, MLS), pp. 339–356.
CADE-1994-ClarkeZ #problem #proving #symbolic computation #theorem proving: Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan (EMC, XZ), pp. 758–763.
CAV-1994-BoigelotW #set #verification: Symbolic Verification with Periodic Sets (BB, PW), pp. 55–67.
CAV-1994-HazelhurstS #evaluation: Composing Symbolic Trajectory Evaluation Results (SH, CJHS), pp. 273–285.
CAV-1994-NaikS #model checking #modelling #protocol #using #verification: Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking (VGN, APS), pp. 194–206.
ISSTA-1994-DouglasK #execution #named #specification #symbolic computation #testing: Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.
DAC-1993-JoyceS #evaluation #interactive #symbolic computation: Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving (JJJ, CJHS), pp. 469–474.
DAC-1993-PanDL #constraints #graph #layout #reduction: Optimal Graph Constraint Reduction for Symbolic Layout Compaction (PP, SkD, CLL), pp. 401–406.
DAC-1993-SeawrightB #performance #synthesis: High-Level Symbolic Construction Technique for High Performance Sequential Synthesis (AS, FB), pp. 424–428.
ICDAR-1993-ChengKLY #recognition: A symbol recognition system (TC, JK, HL, DYYY), pp. 918–921.
ICDAR-1993-YamamotoYM #parallel #re-engineering #recognition: Symbol recognition and surface reconstruction from topographic map by parallel method (KY, HY, SM), pp. 914–917.
FME-1993-WangME #distributed #model checking #realtime: Symbolic Model Checking for Distributed Real-Time Systems (FW, AKM, EAE), pp. 632–651.
HCI-SHI-1993-KrishnanM #segmentation: Segmentation of Handwritten Text and Editing-Symbols from Ink-Data (SNK, SM), pp. 1010–1015.
HCI-SHI-1993-SaitoN #algebra #comprehension #visual notation: An Algebraic System that Symbolic Expressions Can Interact with Graphical Representations for Understanding Mathematics (HS, MN), pp. 267–272.
CAiSE-1993-BlazyF #comprehension #fortran #partial evaluation #source code #symbolic computation: Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs (SB, PF), pp. 184–198.
ICML-1993-CravenS #learning #network #using: Learning Symbolic Rules Using Artificial Neural Networks (MC, JWS), pp. 73–80.
ICML-1993-MitchellT #comparison #learning #network: Explanation Based Learning: A Comparison of Symbolic and Neural Network Approaches (TMM, ST), pp. 197–204.
PLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving: Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
POPL-1993-Adl-TabatabaiG #debugging #interactive: Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging (ARAT, TRG), pp. 371–383.
SAC-1993-GallionSCB #algorithm #learning: Dynamic ID3: A Symbolic Learning Algorithm for Many-Valued Attribute Domains (RG, CLS, DCSC, WEB), pp. 14–20.
SAC-1993-Trans #simulation: A Symbolic Simulation Model of the Organization of Human Procedural Knowledge (KT), pp. 482–489.
PPoPP-1993-Siegl #algorithm #symbolic computation #using: Parallelizing Algorithms for Symbolic Computation using ||MAPLE|| (KS), pp. 179–186.
CAV-1993-FernandezKM #equivalence: Symbolic Equivalence Checking (JCF, AK, LM), pp. 85–96.
CAV-1993-GrafL #verification: A Tool for Symbolic Program Verification and Abstration (SG, CL), pp. 71–84.
RTA-1993-DelorP #commutative #order: Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols (CD, LP), pp. 389–404.
DAC-1992-AmonB #approach #verification: An Approach to Symbolic Timing Verification (TA, GB), pp. 410–413.
DAC-1992-CabodiCCGPR #traversal: A New Model for Improving symbolic Product Machine Traversal (GC, PC, FC, SG, PP, MSR), pp. 614–619.
DAC-1992-LiaoC #layout #synthesis: Routing Considerations in Symbolic Layout Synthesis (YL, SC), pp. 682–686.
DAC-1992-LinCM #generative #multi: Symbolic Prime Generation for Multiple-Valued Functions (BL, OC, JCM), pp. 40–44.
DAC-1992-MercerKR #functional #generative #order #performance: Functional Approaches to Generating Orderings for Efficient Symbolic Representations (MRM, RK, DER), pp. 624–627.
PEPM-1992-DehboneiJ #analysis #evaluation #interprocedural #semantics #symbolic computation: Semantical Interprocedural Analysis by Partial Symbolic Evaluation (BD, PJ), pp. 14–20.
WSA-1992-QueinnecG #backtracking #partial evaluation #pattern matching: Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack (CQ, PG), pp. 109–117.
ML-1992-Moulet #algorithm: A Symbolic Algorithm for Computing Coefficients’ Accuracy in Regression (MM), pp. 332–337.
CC-1992-Assmann #problem: Another Solution of Scoping Problems in Symbol Tables (WA), pp. 66–71.
CAV-1992-BoualiS #bisimulation: Symbolic Bisimulation Minimisation (AB, RdS), pp. 96–108.
CAV-1992-Bradfield #model checking #proving: A Proof Assistant for Symbolic Model-Checking (JCB), pp. 316–329.
LICS-1992-HenzingerNSY #model checking #realtime: Symbolic Model Checking for Real-time Systems (TAH, XN, JS, SY), pp. 394–406.
DAC-1991-BryantBS #evaluation #hardware #verification: Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation (REB, DLB, CJHS), pp. 397–402.
DAC-1991-BurchCL #model checking #representation: Representing Circuits More Efficiently in Symbolic Model Checking (JRB, EMC, DEL), pp. 403–407.
DAC-1991-DuttL #assembly #constraints #generative #on the: On Minimal Closure Constraint Generation for Symbolic Cell Assembly (DD, CYL), pp. 736–739.
ML-1991-LengB #induction: Constructive Induction on Symbolic Features (BL, BGB), pp. 163–167.
ML-1991-Maza #concept #learning #prototype: A Prototype Based Symbolic Concept Learning System (MdlM), pp. 41–45.
OOPSLA-1991-BensonZ #biology #database: Symbolic and Spatial Database for Structural Biology (DB, GZ), pp. 329–339.
CAV-1991-EndersFT #generative #model checking: Generating BDDs for Symbolic Model Checking in CCS (RE, TF, DT), pp. 203–213.
CAV-1991-Filkorn #functional #model checking: Functional Extension of Symbolic Model Checking (TF), pp. 225–232.
CAV-1991-HamaguchiHY #branch #logic #model checking #using #verification: Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic (KH, HH, SY), pp. 410–420.
CAV-1991-HiraishiHOY #logic #model checking #verification: Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification (HH, KH, HO, SY), pp. 214–224.
DAC-1990-Bryant #simulation: Symbolic Simulation — Techniques and Applications (REB), pp. 517–521.
DAC-1990-BurchCMD #model checking #using #verification: Sequential Circuit Verification Using Symbolic Model Checking (JRB, EMC, KLM, DLD), pp. 46–51.
DAC-1990-IshiuraDY #diagrams #simulation #using: Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram (NI, YD, SY), pp. 130–135.
DAC-1990-MatsumotoWUSHM #generative #layout: Datapath Generator Based on Gate-Level Symbolic Layout (NM, YW, KU, YS, HH, SM), pp. 388–393.
ESOP-1990-Paige #difference #finite: Symbolic Finite Differencing — Part I (RP), pp. 36–56.
CAV-1990-BryantS #modelling #using #verification: Formal Verification of Digital Circuits Using Symbolic Ternary System Models (REB, CJHS), pp. 33–43.
CAV-1990-MorrisH #execution #symbolic computation #verification: Program Verification by Symbolic Execution of Hyperfinite Ideal Machines (JMM, MH), pp. 322–332.
LICS-1990-BurchCMDH #model checking: Symbolic Model Checking: 10^20 States and Beyond (JRB, EMC, KLM, DLD, LJH), pp. 428–439.
DAC-1989-ChoB #fault #generative #simulation: Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation (KC, REB), pp. 418–423.
DAC-1989-IshiuraTY #behaviour #logic #simulation #verification: Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits (NI, MT, SY), pp. 497–502.
DAC-1989-Lo #automation #generative #layout: Automatic Tub Region Generation for Symbolic Layout Compaction (CYL), pp. 302–306.
ML-1989-FisherMMST #learning: Processing Issues in Comparisons of Symbolic and Connectionist Learning Systems (DHF, KBM, RJM, JWS, GGT), pp. 169–173.
ESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using #validation: Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
DAC-1988-Boyer #bibliography #layout #perspective: Symbolic Layout Compaction Review (DGB), pp. 383–389.
DAC-1988-KonczykowskaB #automation #design: Automated Design Software for Switched-Capacitor IC’s with Symbolic Simulator SCYMBAL (AK, MB), pp. 363–368.
CCHSC-1988-Fritzson #incremental: Incremental Symbol Processing (PF), pp. 11–38.
JICSCP-1988-ChuM88 #named: SWIFT: A New Symbolic Processor (DAC, FGM), pp. 1415–1427.
DAC-1987-LueM #game studies #layout #named: PLAY: Pattern-Based Symbolic Cell Layout: Part I: Transistor Placement (WJL, LPM), pp. 659–665.
ASPLOS-1987-Kieburtz #architecture #symbolic computation: A RISC Architecture for Symbolic Computation (RBK), pp. 146–155.
ICLP-1987-MorishitaNH87 #logic programming: Symbolical Construction of Truth Value Domain for Logic Program (SM, MN, SH), pp. 533–555.
DAC-1986-FreemanKLN #automation #layout #matrix #modelling: Automated extraction of SPICE circuit models from symbolic gate matrix layout with pruning (RDF, SMK, CGLH, MLN), pp. 418–424.
DAC-1986-Larsen #analysis #clustering #data type #synthesis: Rules-based object clustering: a data structure for symbolic VLSI synthesis and analysis (RPL), pp. 768–777.
LFP-1986-SteeleH #fine-grained #lisp #parallel: Connection Machine LISP: Fine-Grained Parallel Symbolic Processing (GLSJ, WDH), pp. 279–297.
CADE-1986-DickC #automation #empirical #equation #reasoning #using: Using Narrowing to do Isolation in Symbolic Equation Solving — An Experiment in Automated Reasoning (AJJD, JC), pp. 272–280.
CADE-1986-Tiden #set #unification: Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols (ET), pp. 431–449.
DAC-1985-Bryant #representation #using #visual notation: Symbolic manipulation of Boolean functions using a graphical representation (REB), pp. 688–694.
DAC-1985-RogersRD #design: MCNC’s vertically integrated symbolic design system (CDR, JBR, SWD), pp. 62–68.
DAC-1985-VlierbergheRH #generative: Symbolic hierarchical artwork generation system (SvV, JR, WH), pp. 789–793.
DAC-1984-LotvinJG #layout #named: Amoeba: A symbolic VLSI layout system (ML, BJ, RG), pp. 294–300.
DAC-1984-Ng #design: A symbolic-interconnect router for custom IC design (CHN), pp. 52–58.
DAC-1984-OdawaraST #functional: A symbolic functional description language (GO, JS, MT), pp. 73–80.
DAC-1984-OzakiWKIS #layout #named: MGX: An integrated symbolic layout system for VLSI (MO, MW, MK, MI, KS), pp. 572–579.
DAC-1983-BastianEFHM #simulation #specification: Symbolic Parasitic Extractor for Circuit Simulation (SPECS) (JDB, ME, PJF, CEH, LPM), pp. 346–352.
DAC-1983-LiaoW #algorithm #constraints #layout: An algorithm to compact a VLSI symbolic layout with mixed constraints (YZL, CKW), pp. 107–112.
DAC-1982-BeylsHLMP #design #layout #tool support: A design methodology based upon symbolic layout and integrated cad tools (AMB, BH, JL, GM, AP), pp. 872–878.
DAC-1982-KellerNE #design: A symbolic design system for integrated circuits (KHK, ARN, SE), pp. 460–466.
DAC-1981-Cory #functional #simulation #verification: Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
DAC-1981-Weste #grid #layout: Virtual grid symbolic layout (NW), pp. 225–233.
DAC-1980-ClaryKS #design #interactive: SIDS (A Symbolic Interactive Design System) (DC, RK, SS), pp. 292–295.
DAC-1980-Dunlop: SLIM-the translation of symbolic layouts into mask data (AED), pp. 595–602.
LISP-1980-CampbellF #lisp: Symbolic Computing with and without Lisp (JC, JPF), pp. 1–5.
CADE-1980-BelovariC #generative #integration #prolog: Generating Contours of Integration: An Application of Prolog in Symbolic Computing (GB, JAC), pp. 14–23.
DAC-1979-CarterJB #design #simulation: Symbolic simulation for correct machine design (WCC, WHJJ, DB), pp. 280–286.
DAC-1979-HsiehR #functional #latency #megamodelling: Macrosimulation with Quasi-general Symbolic FET Macromodel and Functional Latency (HYH, NBR), pp. 229–234.
SCC-1979-GrahamJR: Hashed symbol tables for languages with explicit scope control (SLG, WNJ, OR), pp. 50–57.
SIGIR-1979-Mazlack #comparison #database #empirical: An Empirical Comparison: Tree and Lattice Structures for Symbolic Data Bases (LJM), pp. 33–40.
ICSE-1979-AsirelliDLMMPST #development #flexibility #interpreter: A Flexible Environment for Program Development Based on a Symbolic Interpreter (PA, PD, GL, AM, UM, GP, FS, FT), pp. 251–264.
ICALP-1978-PriceW #stack: States Can Sometimes Do More Than Stack Symbols in PDA’s (JKP, DW), pp. 353–362.
POPL-1978-Reif #analysis #linear #programming: Symbolic Programming Analysis in Almost Linear Time (JHR), pp. 76–83.
ICSE-1978-PerschW #pascal: Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.
DAC-1977-Kennedy #architecture #education #experience: Symbols, graphics and architectural education: The pagan experience (MK), pp. 244–253.
POPL-1977-ReifL #evaluation #graph #symbolic computation: Symbolic Evaluation and the Global Value Graph (JHR, HRL), pp. 104–118.
DAC-1976-GibsonN #layout #named: SLIC — Symbolic Layout of Integrated Circuits (DG, SN), pp. 434–440.
DAC-1973-PerskyG #named: GRAFOS — A symbolic routing language (GP, HKG), pp. 173–181.