## Stem reachabl$ (all stems)

### 256 papers:

- FASE-2015-BouajjaniCDM #lazy evaluation #reachability
- Lazy TSO Reachability (AB, GC, ED, RM), pp. 267–282.
- TACAS-2015-Immler #analysis #reachability
- Verified Reachability Analysis of Continuous Systems (FI), pp. 37–51.
- TACAS-2015-KongGCC #analysis #hybrid #named
- dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
- PLDI-2015-LalQ #graph #source code
- DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs (AL, SQ), pp. 280–290.
- ICALP-v1-2015-HenzingerKN #algorithm #graph #reachability
- Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs (MH, SK, DN), pp. 725–736.
- ICALP-v2-2015-BouajjaniEEH #on the #reachability
- On Reducing Linearizability to State Reachability (AB, ME, CE, JH), pp. 95–107.
- ICALP-v2-2015-DattaKMSZ #reachability
- Reachability is in DynFO (SD, RK, AM, TS, TZ), pp. 159–170.
- ICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #reachability
- Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.
- LATA-2015-KrishnaMT #automaton #bound #decidability #problem #reachability #recursion
- Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable (SNK, LM, AT), pp. 237–248.
- LATA-2015-VerdierR #constraints #reachability #specification
- Quotient of Acceptance Specifications Under Reachability Constraints (GV, JBR), pp. 299–311.
- ICGT-2015-Oliveira #graph transformation #reachability #slicing
- Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
- ECIR-2015-SabetghadamLBR #analysis #graph #reachability
- Reachability Analysis of Graph Modelled Collections (SS, ML, RB, AR), pp. 370–381.
- SIGIR-2015-Li #image #interactive #ranking #reachability #retrieval
- Reachability based Ranking in Interactive Image Retrieval (JL), pp. 867–870.
- POPL-2015-BastaniAA #context-free grammar #reachability #specification #using
- Specification Inference Using Context-Free Language Reachability (OB, SA, AA), pp. 553–566.
- CC-2015-HollingumS #context-free grammar #framework #reachability #scalability #towards
- Towards a Scalable Framework for Context-Free Language Reachability (NH, BS), pp. 193–211.
- CSL-2015-BrihayeBMR #reachability
- Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability (TB, VB, NM, JFR), pp. 504–518.
- CSL-2015-ClementeL #analysis #automaton #first-order #reachability
- Reachability Analysis of First-order Definable Pushdown Systems (LC, SL), pp. 244–259.
- LICS-2015-BlondinFGHM #2d #reachability
- Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
- LICS-2015-LerouxS #reachability
- Demystifying Reachability in Vector Addition Systems (JL, SS), pp. 56–67.
- RTA-2015-GenetS #analysis #reachability
- Reachability Analysis of Innermost Rewriting (TG, YS), pp. 177–193.
- CASE-2014-GargSYPCHPAG #analysis #automation #reachability
- Exact reachability analysis for planning skew-line needle arrangements for automated brachytherapy (AG, TS, GY, SP, JAMC, ICH, JP, AA, KYG), pp. 524–531.
- DAC-2014-LinL #analysis #parallel #reachability #verification
- Parallel Hierarchical Reachability Analysis for Analog Verification (HL, PL), p. 6.
- DATE-2014-CabodiPQV #approximate #reachability #satisfiability
- Tightening BDD-based approximate reachability with SAT-based clause generalization∗ (GC, PP, SQ, DV), pp. 1–6.
- SIGMOD-2014-ZhuLWX #approach #graph #order #query #reachability #scalability
- Reachability queries on large dynamic graphs: a total order approach (ADZ, WL, SW, XX), pp. 1323–1334.
- VLDB-2014-WeiYLJ #approach #independence #permutation #query #reachability
- Reachability Querying: An Independent Permutation Labeling Approach (HW, JXY, CL, RJ), pp. 1191–1202.
- FoSSaCS-2014-Fu #bound #markov #probability #process #reachability
- Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.
- FoSSaCS-2014-Lang #automaton #game studies #graph #reachability
- Resource Reachability Games on Pushdown Graphs (ML0), pp. 195–209.
- TACAS-2014-AdzkiyaSA #reachability
- Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.
- SAS-2014-MadsenM #analysis #data flow #pointer #reachability
- Sparse Dataflow Analysis with Pointers and Reachability (MM, AM), pp. 201–218.
- STOC-2014-HenzingerKN #algorithm #graph #reachability
- Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs (MH, SK, DN), pp. 674–683.
- ICALP-v1-2014-DattaHK #complexity #problem #reachability
- Dynamic Complexity of Directed Reachability and Other Problems (SD, WH, RK), pp. 356–367.
- LATA-2014-AbdullaAS #automaton #reachability
- Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 62–75.
- LATA-2014-FelgenhauerT #analysis #automaton #reachability
- Reachability Analysis with State-Compatible Automata (BF, RT), pp. 347–359.
- FM-2014-LakshmiAK #analysis #liveness #reachability #using
- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis (KVL, AA, RK), pp. 335–350.
- SAC-2014-YoonKHKRC #metric #reachability #similarity
- Reachability vectors: features for link-based similarity measures (SHY, JSK, JH, SWK, MR, HJC), pp. 594–597.
- CAV-2014-Hagemann #analysis #hybrid #orthogonal #reachability #using
- Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections (WH), pp. 407–423.
- CAV-2014-LeeS #abstraction #approximate #bound #reachability #scalability #verification
- Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction (SL, KAS), pp. 849–865.
- CAV-2014-VizelG #reachability
- Interpolating Property Directed Reachability (YV, AG), pp. 260–276.
- IJCAR-2014-AvniKT #game studies #reachability #specification
- From Reachability to Temporal Specifications in Cost-Sharing Games (GA, OK, TT), pp. 1–15.
- IJCAR-2014-HorbachS #axiom #locality #reachability
- Locality Transfer: From Constrained Axiomatizations to Reachability Predicates (MH, VSS), pp. 192–207.
- LICS-CSL-2014-BrazdilKKNK #automaton #multi #probability
- Zero-reachability in probabilistic multi-counter automata (TB, SK, AK, PN, JPK), p. 10.
- RTA-TLCA-2014-StefanescuCMMSR #logic #reachability
- All-Path Reachability Logic (AS, SC, RM, BMM, TFS, GR), pp. 425–440.
- VMCAI-2014-Chang #reachability
- Refuting Heap Reachability (BYEC), pp. 137–141.
- VMCAI-2014-WangH #concurrent #reachability
- Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability (CW, KH), pp. 376–394.
- CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing
- Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
- CASE-2013-WuCY #analysis #policy #reachability
- A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
- DAC-2013-LinLM #analysis #hybrid #kernel #reachability #verification
- Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis (HL, PL, CJM), p. 6.
- DATE-2013-AhmadyanV #analysis #reachability #reduction #set
- Reachability analysis of nonlinear analog circuits through iterative reachable set reduction (SNA, SV), pp. 1436–1441.
- DATE-2013-BackesR #reachability #using
- Using cubes of non-state variables with property directed reachability (JDB, MDR), pp. 807–810.
- DATE-2013-WelpK #model checking #reachability
- QF BV model checking with property directed reachability (TW, AK), pp. 791–796.
- SIGMOD-2013-ChengHWF #graph #named #query #reachability #scalability
- TF-Label: a topological-folding labeling scheme for reachability querying in a large graph (JC, SH, HW, AWCF), pp. 193–204.
- VLDB-2013-JinW #performance #reachability #scalability
- Simple, Fast, and Scalable Reachability Oracle (RJ, GW), pp. 1978–1989.
- VLDB-2013-SarwatEHM #declarative #distributed #graph #query #reachability
- Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs (MS, SE, YH, MFM), pp. 1918–1929.
- ESOP-2013-BeyerHTV #analysis #multi #reachability #reuse
- Information Reuse for Multi-goal Reachability Analyses (DB, AH, MT, HV), pp. 472–491.
- FoSSaCS-2013-ClementeHSS #communication #process #reachability
- Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
- TACAS-2013-VizelGS #analysis #reachability #using
- Intertwined Forward-Backward Reachability Analysis Using Interpolants (YV, OG, SS), pp. 308–323.
- PLDI-2013-BlackshearCS #named #precise #reachability
- Thresher: precise refutations for heap reachability (SB, BYEC, MS), pp. 275–286.
- PLDI-2013-ZhangLYS #algorithm #alias #analysis #performance
- Fast algorithms for Dyck-CFL-reachability with applications to alias analysis (QZ, MRL, HY, ZS), pp. 435–446.
- CIAA-2013-DreyfusHK #analysis #approximate #reachability
- Enhancing Approximations for Regular Reachability Analysis (AD, PCH, OK), pp. 331–339.
- ICALP-v2-2013-FearnleyJ #automaton #reachability
- Reachability in Two-Clock Timed Automata Is PSPACE-Complete (JF, MJ), pp. 212–223.
- IFM-2013-Song00LD #analysis #divide and conquer #reachability
- Improved Reachability Analysis in DTMC via Divide and Conquer (SS, LG, JS, YL, JSD), pp. 162–176.
- GRAPHITE-2013-Majster-CederbaumS #architecture #constraints #operating system #reachability
- Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete (MEMC, NS), pp. 1–11.
- CIKM-2013-MullangiR #named #performance #query #reachability #scalability
- SCISSOR: scalable and efficient reachability query processing in time-evolving hierarchies (PRM, LR), pp. 799–804.
- SEKE-2013-ChaoY #analysis #order #reachability #scalability
- A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (S) (DYC, THY), pp. 417–420.
- CC-2013-LuSXX #analysis #incremental #points-to
- An Incremental Points-to Analysis with CFL-Reachability (YL, LS, XX, JX), pp. 61–81.
- CAV-2013-ClaessenFIPW #model checking #network #reachability #set
- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets (KC, JF, SI, NP, QW), pp. 85–100.
- CAV-2013-ItzhakyBINS #data type #effectiveness #linked data #open data #reachability #reasoning
- Effectively-Propositional Reasoning about Reachability in Linked Data Structures (SI, AB, NI, AN, MS), pp. 756–772.
- CAV-2013-PauleveAK #approximate #automaton #network #reachability #scalability #set
- Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks (LP, GA, HK), pp. 69–84.
- LICS-2013-RosuSCM #logic #reachability
- One-Path Reachability Logic (GR, AS, SC, BMM), pp. 358–367.
- ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary
- Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.
- SIGMOD-2012-JinRDY #graph #named #reachability #scalability
- SCARAB: scaling reachability computation on large graphs (RJ, NR, SD, JXY), pp. 169–180.
- VLDB-2012-FanWW #distributed #performance #query #reachability
- Performance Guarantees for Distributed Reachability Queries (WF, XW, YW), pp. 1304–1315.
- VLDB-2012-Shirani-MehrKS #dataset #evaluation #performance #query #reachability #scalability
- Efficient Reachability Query Evaluation in Large Spatiotemporal Contact Datasets (HSM, FBK, CS), pp. 848–859.
- FoSSaCS-2012-BrihayeBPG #game studies #reachability
- Subgame Perfection for Equilibria in Quantitative Reachability Games (TB, VB, JDP, HG), pp. 286–300.
- TACAS-2012-ChadhaMV #reachability
- Reachability under Contextual Locking (RC, PM, MV), pp. 437–450.
- TACAS-2012-HolzerKSTV #contest #proving #reachability #using
- Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.
- SAS-2012-Ledesma-GarzaR #analysis #functional #higher-order #reachability #source code
- Binary Reachability Analysis of Higher Order Functional Programs (RLG, AR), pp. 388–404.
- ICALP-v2-2012-BouyerMS #approach #automaton #game studies #reachability #robust
- Robust Reachability in Timed Automata: A Game-Based Approach (PB, NM, OS), pp. 128–140.
- LATA-2012-AbdullaAS #automaton #low cost #problem #reachability
- The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems (PAA, MFA, JS), pp. 58–69.
- FM-2012-MinamideM #analysis #html #parsing #reachability #specification #testing
- Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing (YM, SM), pp. 293–307.
- FM-2012-RosuS #hoare #logic #reachability
- From Hoare Logic to Matching Logic Reachability (GR, AS), pp. 387–402.
- GRAPHITE-2012-Cormie-Bowins #comparison #gpu #implementation #reachability
- A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities (ECB), pp. 20–34.
- SEKE-2012-QiXW #concurrent #graph #interprocedural #reachability #slicing #source code
- Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs (XQ, XX, PW), pp. 293–298.
- OOPSLA-2012-RosuS #logic #reachability #using
- Checking reachability using matching logic (GR, AS), pp. 555–574.
- CAV-2012-BogomolovFGLPW #analysis #distance #reachability
- A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
- CAV-2012-LalQL #modulo theories #reachability
- A Solver for Reachability Modulo Theories (AL, SQ, SKL), pp. 427–443.
- IJCAR-2012-NikolicS #analysis #reachability
- Reachability Analysis of Program Variables (DN, FS), pp. 423–438.
- ISSTA-2012-TombF #analysis #consistency #detection #nondeterminism #reachability
- Detecting inconsistencies via universal reachability analysis (AT, CF), pp. 287–297.
- RTA-2012-BertrandDKSS #decidability #graph transformation #on the #reachability
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
- SAT-2012-HoderB #reachability
- Generalized Property Directed Reachability (KH, NB), pp. 157–171.
- SMT-2012-AlbertiBGRS #library #modulo theories #reachability
- Reachability Modulo Theory Library (FA, RB, SG, SR, NS), pp. 67–76.
- CASE-2011-LemattreDFPS #analysis #architecture #design #reachability
- Designing operational control architectures of critical systems by reachability analysis (TL, BD, JMF, JFP, PS), pp. 12–18.
- DAC-2011-KuoSR #analysis #performance #reachability #source code #using
- Efficient WCRT analysis of synchronous programs using reachability (MMYK, RS, PSR), pp. 480–485.
- SIGMOD-2011-SchaikM #data type #memory management #performance #reachability
- A memory efficient reachability data structure through bit vector compression (SJvS, OdM), pp. 913–924.
- VLDB-2011-JinLDW #constraints #graph #nondeterminism #reachability
- Distance-Constraint Reachability Computation in Uncertain Graphs (RJ, LL, BD, HW), pp. 551–562.
- ICALP-v2-2011-BrihayeDGORW #automaton #bound #hybrid #on the #reachability
- On Reachability for Hybrid Automata over Bounded Time (TB, LD, GG, JO, JFR, JW), pp. 416–427.
- LATA-2011-Leroux #problem #proving #reachability #self
- Vector Addition System Reachability Problem: A Short Self-contained Proof (JL), pp. 41–64.
- CIKM-2011-DengLPCX #ad hoc #database #graph #predict #query #reachability
- Predicting the optimal ad-hoc index for reachability queries on graph databases (JD, FL, YP, BC, JX), pp. 2357–2360.
- CIKM-2011-LeeJL #reachability #web
- Assisting web search users by destination reachability (CHL, AJ, LL), pp. 719–728.
- CIKM-2011-XuZYCXZ #constraints #graph #reachability #scalability
- Answering label-constraint reachability in large graphs (KX, LZ, JXY, LC, YX, DZ), pp. 1595–1600.
- SEKE-2011-SouzaSMCSZ #concurrent #quality #reachability #testing #using
- Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality (SdRSdS, PSLdS, MCCM, MSC, AdSS, EZ), pp. 207–212.
- QAPL-2011-Rutkowski #automaton #game studies
- Two-Player Reachability-Price Games on Single-Clock Timed Automata (MR), pp. 31–46.
- POPL-2011-Leroux #problem #proving #reachability #self
- Vector addition system reachability problem: a short self-contained proof (JL), pp. 307–316.
- SAC-2011-MammarFD #approach #reachability #verification
- A proof-based approach to verifying reachability properties (AM, MF, FD), pp. 1651–1657.
- CC-2011-JenistaED #parallel #reachability #using
- Using Disjoint Reachability for Parallelization (JCJ, YHE, BD), pp. 198–224.
- RTA-2011-DuranEEMT #maude #reachability #unification
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.
- RTA-2011-KochemsO #analysis #functional #linear #reachability #using
- Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars (JK, CHLO), pp. 187–202.
- VMCAI-2011-GawlitzaLMSW #analysis #concurrent #process #reachability #source code
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (TMG, PL, MMO, HS, AW), pp. 199–213.
- DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability
- BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
- SIGMOD-2010-JinHWRX #constraints #database #graph #reachability
- Computing label-constraint reachability in graph databases (RJ, HH, HW, NR, YX), pp. 123–134.
- VLDB-2010-YildirimCZ #graph #named #reachability #scalability
- GRAIL: Scalable Reachability Index for Large Graphs (HY, VC, MJZ), pp. 276–284.
- FoSSaCS-2010-HeussnerLMS #analysis #automaton #communication #reachability
- Reachability Analysis of Communicating Pushdown Systems (AH, JL, AM, GS), pp. 267–281.
- SCAM-2010-EdvinssonLL #analysis #parallel #reachability
- Parallel Reachability and Escape Analyses (ME, JL, WL), pp. 125–134.
- PLDI-2010-GulwaniZ #bound #problem
- The reachability-bound problem (SG, FZ), pp. 292–304.
- CIAA-2010-Neider #automation #game studies #graph #reachability
- Reachability Games on Automatic Graphs (DN), pp. 222–230.
- ICALP-v2-2010-BrazdilJK #game studies #reachability
- Reachability Games on Extended Vector Addition Systems with States (TB, PJ, AK), pp. 478–489.
- CIKM-2010-CaiP #graph #named #query #reachability #scalability
- Path-hop: efficiently indexing large graphs for reachability queries (JC, CKP), pp. 119–128.
- CIKM-2010-DeyJ #approach #database #graph #query #reachability #scalability
- A hierarchical approach to reachability query answering in very large graph databases (SKD, HMJ), pp. 1377–1380.
- SAC-2010-HansenS #analysis #implementation #optimisation #reachability
- Reachability analysis of GSPDIs: theory, optimization, and implementation (HAH, GS), pp. 2511–2516.
- ICSE-2010-LaTozaM #developer #reachability
- Developers ask reachability questions (TDL, BAM), pp. 185–194.
- CAV-2010-BlomPW #distributed #named #reachability
- LTSmin: Distributed and Symbolic Reachability (SB, JvdP, MW), pp. 354–359.
- CAV-2010-LiXBL #analysis #automaton #hardware #performance #reachability
- Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification (JL, FX, TB, VL), pp. 339–353.
- CAV-2010-Seth #automaton #bound #multi #reachability
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems (AS), pp. 615–628.
- VMCAI-2010-BuZL #automaton #hybrid #programming #reachability #using #verification
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (LB, JZ, XL), pp. 78–94.
- VMCAI-2010-Dubrovin #bound #reachability
- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.
- SIGMOD-2009-JinXRF #named #query #reachability
- 3-HOP: a high-compression indexing scheme for reachability query (RJ, YX, NR, DF), pp. 813–826.
- ESOP-2009-YuanE #algorithm #performance #problem #reachability
- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees (HY, PTE), pp. 175–189.
- FoSSaCS-2009-AbdullaM #low cost #petri net #reachability
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (PAA, RM), pp. 348–363.
- ICALP-v2-2009-BouyerF #game studies #probability #reachability
- Reachability in Stochastic Timed Games (PB, VF), pp. 103–114.
- ECOOP-2009-XuRS #alias #analysis #points-to #scalability #using
- Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis (G(X, AR, MS), pp. 98–122.
- CAV-2009-GuernicG #analysis #hybrid #reachability #using
- Reachability Analysis of Hybrid Systems Using Support Functions (CLG, AG), pp. 540–554.
- CAV-2009-TorreMP #bound #concurrent #reachability
- Reducing Context-Bounded Concurrent Reachability to Sequential Reachability (SLT, PM, GP), pp. 477–492.
- LICS-2009-HansenKM #concurrent #game studies #reachability
- Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (KAH, MK, PBM), pp. 332–341.
- LICS-2009-HofmannS #pointer #reachability #source code
- Pointer Programs and Undirected Reachability (MH, US), pp. 133–142.
- LICS-2009-Kahlon #bound #communication #decidability #thread
- Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks (VK), pp. 27–36.
- LICS-2009-Leroux #induction #invariant #problem #reachability
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.
- LICS-2009-OngT #functional #reachability
- Functional Reachability (CHLO, NT), pp. 286–295.
- LICS-2009-Tan #automaton #graph #infinity #reachability
- Graph Reachability and Pebble Automata over Infinite Alphabets (TT), pp. 157–166.
- SIGMOD-2008-JinXRW #graph #query #reachability #scalability
- Efficiently answering reachability queries on very large directed graphs (RJ, YX, NR, HW), pp. 595–608.
- SCAM-2008-ScholzZC #analysis #dependence #graph #reachability
- User-Input Dependence Analysis via Graph Reachability (BS, CZ, CC), pp. 25–34.
- DLT-2008-CsimaK #decidability #question #reachability
- When Is Reachability Intrinsically Decidable? (BFC, BK), pp. 216–227.
- SAC-2008-AbedMS #analysis #graph #multi #proving #reachability #theorem proving #using
- Reachability analysis using multiway decision graphs in the HOL theorem prover (SA, OAM, GAS), pp. 333–338.
- SAC-2008-Schneider #analysis #hybrid #reachability
- Reachability analysis of generalized polygonal hybrid systems (GS), pp. 327–332.
- LICS-2008-Murawski #game studies #nondeterminism #reachability #semantics #source code
- Reachability Games and Game Semantics: Comparing Nondeterministic Programs (ASM), pp. 353–363.
- RTA-2008-KojimaS #decidability #linear #reachability #term rewriting
- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (YK, MS), pp. 187–201.
- TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification
- Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.
- 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.
- FASE-2007-SanchezSM #concurrent #distributed #product line #protocol
- A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (CS, HBS, ZM), pp. 155–169.
- FoSSaCS-2007-HagueO #analysis #automaton #higher-order
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems (MH, CHLO), pp. 213–227.
- TACAS-2007-ChatterjeeLQR #bytecode #low level #reachability
- A Reachability Predicate for Analyzing Low-Level Software (SC, SKL, SQ, ZR), pp. 19–33.
- TACAS-2007-YuCL #bound #diagrams #reachability #using
- Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.
- ICALP-2007-BrihayeHPR #game studies #reachability
- Minimum-Time Reachability in Timed Games (TB, TAH, VSP, JFR), pp. 825–837.
- ICALP-2007-JurdzinskiT #automaton #game studies
- Reachability-Time Games on Timed Automata (MJ, AT), pp. 838–849.
- CAV-2007-WangYGI #precise #reachability #using
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (CW, ZY, AG, FI), pp. 352–365.
- RTA-2007-GodoyH #decidability #term rewriting
- Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems (GG, EH), pp. 184–199.
- FoSSaCS-2006-YorshRSMB #linked data #logic #open data
- A Logic of Reachable Patterns in Linked Data-Structures (GY, AMR, MS, AM, AB), pp. 94–110.
- TACAS-2006-ThomasCP #performance #reachability #using
- Efficient Guided Symbolic Reachability Using Reachability Expressions (DT, SC, PKP), pp. 120–134.
- SAS-2006-CalcagnoDOY #abstraction #pointer #reachability
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.
- SAS-2006-PratikakisFH #reachability
- Existential Label Flow Inference Via CFL Reachability (PP, JSF, MH), pp. 88–106.
- CIAA-2006-Luttenberger #analysis #integer #reachability #source code
- Reachability Analysis of Procedural Programs with Affine Integer Arithmetic (ML), pp. 281–282.
- SEKE-2006-OgataKF #bound
- Falsification of OTSs by Searches of Bounded Reachable State Spaces (KO, WK, KF), pp. 440–445.
- ASE-2005-KashyapG #detection #performance #reachability
- Exploiting predicate structure for efficient reachability detection (SK, VKG), pp. 4–13.
- DAC-2005-SahooJIDE #concurrent #multi #reachability #thread
- Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.
- 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.
- ESOP-2005-BusiZ #mobile #reachability
- Deciding Reachability in Mobile Ambients (NB, GZ), pp. 248–262.
- FoSSaCS-2005-LarsenR #automaton #multi #reachability
- Optimal Conditional Reachability for Multi-priced Timed Automata (KGL, JIR), pp. 234–249.
- TACAS-2005-AlurCEM #detection #on the fly #reachability #recursion #state machine
- On-the-Fly Reachability and Cycle Detection for Recursive State Machines (RA, SC, KE, PM), pp. 61–76.
- CIKM-2005-HeWYY #reachability
- Compact reachability labeling for graph-structured data (HH, HW, JY, PSY), pp. 594–601.
- ECOOP-2005-LuP #reachability #type system
- A Type System for Reachability and Acyclicity (YL, JP), pp. 479–503.
- CADE-2005-Lev-AmiIRSSY #data type #first-order #linked data #logic #open data #reachability #simulation #using #verification
- Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.
- CAV-2005-BradleyMS #linear #ranking #reachability
- Linear Ranking with Reachability (ARB, ZM, HBS), pp. 491–504.
- CAV-2005-VecchieS #source code
- Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.
- RTA-2005-BouajjaniT #on the #process #reachability #set #term rewriting
- On Computing Reachability Sets of Process Rewrite Systems (AB, TT), pp. 484–499.
- ASE-2004-LeowKLS #automation #generative #heuristic #reachability #source code #testing
- Heuristic Search with Reachability Tests for Automated Generation of Test Programs (WKL, SCK, THL, VS), pp. 282–285.
- 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-Pomeranz #functional #generative #on the #testing
- On the generation of scan-based test sets with reachable states for testing under functional operation conditions (IP), pp. 928–933.
- TACAS-2004-BaierHHK #bound #markov #performance #process #reachability
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.
- TACAS-2004-MailundW #graph #reachability #using
- Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method (TM, MW), pp. 177–191.
- PLDI-2004-KodumalA #constraints #reachability #set
- The set constraint/CFL reachability connection in practice (JK, AA), pp. 207–218.
- STOC-2004-RodittyZ #algorithm #graph #linear #reachability
- A fully dynamic reachability algorithm for directed graphs with an almost linear update time (LR, UZ), pp. 184–191.
- DLT-2004-Potapov #automaton #matrix #multi #problem #reachability
- From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata (IP), pp. 345–356.
- ICALP-2004-AlurBM #game studies #reachability
- Optimal Reachability for Weighted Timed Games (RA, MB, PM), pp. 122–133.
- IFM-2004-WangRL #csp #independence #reachability
- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption (XW, AWR, RL), pp. 247–266.
- DATE-2003-GoelB #analysis #functional #reachability #set
- Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis (AG, REB), pp. 10816–10821.
- SCAM-2003-BinkleyH #algorithm #analysis #graph #optimisation #performance #reachability #scalability #source code
- Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms (DB, MH), p. 203–?.
- SAS-2003-McMillan #analysis #reachability
- Craig Interpolation and Reachability Analysis (KLM), p. 336.
- CAV-2003-GrumbergHS #algorithm #analysis #distributed #reachability
- A Work-Efficient Distributed Algorithm for Reachability Analysis (OG, TH, AS), pp. 54–66.
- FoSSaCS-2002-BidoitH #concept #integration #on the #reachability
- On the Integration of Observability and Reachability Concepts (MB, RH), pp. 21–36.
- FoSSaCS-2002-Cirstea #algebra #logic #on the #reachability #specification
- On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability (CC), pp. 82–97.
- TACAS-2002-JinKS #analysis #reachability #scheduling
- Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis (HJ, AK, FS), pp. 312–326.
- CSMR-2002-RaysideK #algorithm #graph #problem #program analysis #reachability
- A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis (DR, KK), pp. 67–76.
- ICALP-2002-Colcombet #decidability #first-order #graph #on the #product line #reachability
- On Families of Graphs Having a Decidable First Order Theory with Reachability (TC), pp. 98–109.
- LICS-2002-Dima #automaton #reachability
- Computing Reachability Relations in Timed Automata (CD), p. 177–?.
- TestCom-2002-CastanetR #analysis #proving #reachability #testing #theorem proving
- Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis (RC, DR), pp. 249–266.
- FoSSaCS-2001-BidoitHK #on the #reachability
- On the Duality between Observability and Reachability (MB, RH, AK), pp. 72–87.
- FME-2001-Beyer #analysis #automaton #reachability
- Improvements in BDD-Based Reachability Analysis of Timed Automata (DB0), pp. 318–343.
- POPL-2001-RehofF #analysis #polymorphism #type system
- Type-base flow analysis: from polymorphic subtyping to CFL-reachability (JR, MF), pp. 54–66.
- CAV-2001-AnnichiniBS #analysis #named #reachability
- TReX: A Tool for Reachability Analysis of Complex Systems (AA, AB, MS), pp. 368–372.
- CAV-2001-Dang #analysis #automaton #reachability
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks (ZD), pp. 506–518.
- CAV-2001-LarsenBBFHPR #automaton #performance #reachability
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata (KGL, GB, EB, AF, TH, PP, JR), pp. 493–505.
- PODS-2000-BenediktGLS #constraints #database #query #reachability
- Reachability and Connectivity Queries in Constraint Databases (MB, MG, LL, LS), pp. 104–115.
- TACAS-2000-AbdullaBE #analysis #reachability
- Symbolic Reachability Analysis Based on SAT-Solvers (PAA, PB, NE), pp. 411–425.
- TACAS-2000-Schmidt #analysis #low level #reachability #symmetry
- Integrating Low Level Symmetries into Reachability Analysis (KS0), pp. 315–330.
- CIAA-2000-Ibarra #queue #reachability #safety
- Reachability and Safety in Queue Systems (OHI), pp. 145–156.
- CAV-2000-AlurGM #analysis #performance #reachability
- Efficient Reachability Analysis of Hierarchical Reactive Machines (RA, RG, MM), pp. 280–295.
- CAV-2000-DangIBKS #analysis #automaton #reachability
- Binary Reachability Analysis of Discrete Pushdown Timed Automata (ZD, OHI, TB, RAK, JS), pp. 69–84.
- CAV-2000-FraerKZVF #analysis #performance #reachability #traversal #verification
- Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification (RF, GK, BZ, MYV, LF), pp. 389–402.
- CAV-2000-HeymanGGS #analysis #parallel #reachability #scalability
- Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits (TH, DG, OG, AS), pp. 20–35.
- DAC-1999-GovindarajuDB #approximate #reachability #using
- Improved Approximate Reachability Using Auxiliary State Variables (SGG, DLD, JPB), pp. 312–316.
- 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-MakrisO #behaviour #reachability #synthesis
- Channel-Based Behavioral Test Synthesis for Improved Module Reachability (YM, AO), pp. 283–288.
- TACAS-1999-Heljanko #concurrent #logic programming #petri net #problem #reachability #semantics #source code #using
- Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets (KH), pp. 240–254.
- TACAS-1999-Tripakis #reachability
- Timed Diagnostics for Reachability Properties (ST), pp. 59–73.
- ICALP-1999-CortierGJV #decidability #reachability
- Decidable Fragments of Simultaneous Rigid Reachability (VC, HG, FJ, MV), pp. 250–260.
- FM-v1-1999-HusbergM #industrial #named #reachability
- Emma: Developing an Industrial Reachability Analyser for SDL (NH, TM), pp. 642–661.
- OOPSLA-1999-HoskingC #orthogonal #persistent
- Mostly-copying Reachability-based Orthogonal Persistence (ALH, JC), pp. 382–398.
- CAV-1999-AbdullaABBHL #abstraction #analysis #infinity #reachability #verification
- Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis (PAA, AA, SB, AB, PH, YL), pp. 146–159.
- CAV-1999-BehrmannLPWY #analysis #diagrams #difference #performance #reachability #using
- Efficient Timed Reachability Analysis Using Clock Difference Diagrams (GB, KGL, JP, CW, WY), pp. 341–353.
- CSL-1999-Marcinkowski #game studies #reachability
- Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games (JM), pp. 338–349.
- DAC-1998-GovindarajuDHH #approximate #reachability #using
- Approximate Reachability with BDDs Using Overlapping Projections (SGG, DLD, AJH, MH), pp. 451–456.
- TACAS-1998-AcetoBL #automaton #model checking #reachability #testing
- Model Checking via Reachability Testing for Timed Automata (LA, AB, KGL), pp. 263–280.
- TACAS-1998-DawsT #abstraction #model checking #reachability #realtime #using
- Model Checking of Real-Time Reachability Properties Using Abstractions (CD, ST), pp. 313–329.
- CAV-1998-IslesHB #infinity #memory management
- Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory (AJI, RH, RKB), pp. 256–267.
- CAV-1998-ShipleKR #comparison #reachability
- A Comparison of Presburger Engines for EFSM Reachability (TRS, JHK, RKR), pp. 280–292.
- TACAS-1997-ParashkevovY #analysis #performance #pseudo #reachability
- Space Efficient Reachability Analysis Through Use of Pseudo-Root States (ANP, JY), pp. 50–64.
- PEPM-1997-MelskiR #constraints #context-free grammar #reachability #set
- Interconveritibility of Set Constraints and Context-Free Language Reachability (DM, TWR), pp. 74–89.
- 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.
- ESEC-FSE-1997-ChenGK #analysis #c++ #detection #reachability
- A C++ Data Model Supporting Reachability Analysis and Dead Code Detection (YFC, ERG, EK), pp. 414–431.
- ESEC-FSE-1997-CheungGK #analysis #composition #liveness #reachability #using #verification
- Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.
- CAV-1997-BoigelotBR #analysis #hybrid #linear #reachability
- An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) (BB, LB, SR), pp. 167–178.
- CAV-1997-VarpaaniemiHL #analysis #performance #reachability
- prod 3.2: An Advanced Tool for Efficient Reachability Analysis (KV, KH, JL), pp. 472–475.
- ILPS-1997-Reps #graph #program analysis #reachability
- Program Analysis via Graph Reachability (TWR), pp. 5–19.
- ICSE-1996-CheungK #analysis #composition #reachability #safety
- Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.
- ISSTA-1996-PomakisA #analysis #feature model #interactive #reachability
- Reachability Analysis of Feature Interactions: A Progress Report (KPP, JMA), pp. 216–223.
- POPL-1995-RepsHS #analysis #data flow #graph #interprocedural #precise #reachability
- Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.
- ESEC-1995-Chamillard #analysis #case study #metric #performance #predict #reachability
- An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance (ATC), pp. 343–361.
- FSE-1995-CheungK #analysis #composition #constraints #distributed #finite #reachability
- Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (SCC, JK), pp. 140–150.
- DAC-1994-KrishnakumarC #hybrid #modelling #on the #set
- On the Computation of the Set of Reachable States of Hybrid Models (ASK, KTC), pp. 615–621.
- PODS-1993-LevyMSS #datalog #equivalence #satisfiability
- Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions (AYL, ISM, YS, OS), pp. 109–122.
- FME-1993-ValmariKCL #analysis #reachability
- Putting Advanced Reachability Analysis Techniques Together: the “ARA” Tool (AV, JK, MC, ML), pp. 597–616.
- LOPSTR-1993-Neugebauer #analysis #reachability
- Reachability Analysis for the Extension Procedure — A Topological Result (GN), pp. 32–44.
- FSE-1993-CheungK #analysis #composition #constraints #reachability
- Enhancing Compositional Reachability Analysis with Context Constraints (SCC, JK), pp. 115–125.
- CAV-1993-Krishnakumar #composition #finite #reachability #state machine
- Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems (ASK), pp. 110–122.
- CAV-1993-MalerP #analysis #multi #reachability
- Reachability Analysis of Planar Multi-limear Systems (OM, AP), pp. 194–209.
- WSA-1992-Ayers #analysis #performance #reachability
- Efficient Closure Analysis with Reachability (AEA), pp. 126–134.
- TAV-1991-YehY #algebra #analysis #composition #process #reachability #using
- Compositional Reachability Analysis Using Process Algebra (WJY, MY), pp. 49–59.
- CAV-1990-JanickiK #graph #reachability #simulation #using
- Using Optimal Simulations to Reduce Reachability Graphs (RJ, MK), pp. 166–175.
- NACLP-1989-Winsborough #analysis #multi #reachability
- Path-Dependent Reachability Analysis for Multiple Specialization (WHW), pp. 133–153.
- ICALP-1987-HowellR #equivalence #reachability
- Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems (RRH, LER), pp. 509–520.
- POPL-1983-Nelson #invariant #reachability #verification
- Verifying Reachability Invariants of Linked Structures (GN), pp. 38–47.
- STOC-1982-Kosaraju #decidability #reachability
- Decidability of Reachability in Vector Addition Systems (Preliminary Version) (SRK), pp. 267–281.
- STOC-1981-Mayr #algorithm #petri net #problem #reachability
- An Algorithm for the General Petri Net Reachability Problem (EWM), pp. 238–246.
- STOC-1981-MullerS #automaton #graph #higher-order #logic #problem #reachability
- Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems (DEM, PES), pp. 46–54.
- STOC-1977-SacerdoteT #decidability #problem #reachability
- The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) (GSS, RLT), pp. 61–76.
- STOC-1976-HuntS #problem #reachability
- Dichotomization, Reachability, and the Forbidden Subgraph Problem (Extended Abstract) (HBHI, TGS), pp. 126–134.
- STOC-1974-Leeuwen #problem
- A Partial Solution to the Reachability-Problem for Vector-Addition Systems (JvL), pp. 303–309.