Tag #liveness
70 papers:
FM-2019-BodeveixBCF #protocol #verification- Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol (JPB, JB, DC, MF), pp. 45–63.
- FM-2019-TanP #approach #axiom #difference #equation
- An Axiomatic Approach to Liveness for Differential Equations (YKT, AP), pp. 371–388.
CoG-2019-MartinC #development #game studies #towards- Towards Liveness in Game Development (ARM, SC), pp. 1–4.
SEFM-2018-Barbon0S - Counterexample Simplification for Liveness Property Violation (GB, VL0, GS), pp. 173–188.
ICPR-2018-MingCLVB #detection #interactive #named #network #verification- FaceLiveNet: End-to-End Networks Combining Face Verification with Interactive Facial Expression-Based Liveness Detection (ZM, JC, MML, MV, JCB), pp. 3507–3512.
POPL-2018-PadonHLPSS #first-order #logic #safety- Reducing liveness to safety in first-order logic (OP, JH, GL, AP, MS, SS), p. 33.
CASE-2018-Reveliotis - Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems (SAR), pp. 520–527.
CAV-2018-SchemmelBDNW #analysis- Symbolic Liveness Analysis of Real-World Software (DS, JB, OSD, TN0, KW), pp. 447–466.
Onward-2017-SorensenG - Systems level liveness with extempore (AS, HJG), pp. 214–228.
- POPL-2017-KonnovLVW #algorithm #distributed #fault tolerance #safety #verification
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (IVK0, ML, HV, JW), pp. 719–734.
- POPL-2017-LangeNTY #programming #safety
- Fencing off go: liveness and safety for channel-based programming (JL, NN, BT, NY), pp. 748–761.
- CAV-2016-LinR #random
- Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (AWL, PR), pp. 112–133.
DLT-2015-BianchiHK #automaton #on the #problem- On the Size of Two-Way Reasonable Automata for the Liveness Problem (MPB, JH, IK), pp. 120–131.
ICALP-v2-2015-AminofRZS #network- Liveness of Parameterized Timed Networks (BA, SR, FZ, FS), pp. 375–387.
- FM-2015-DeboisHS #composition #information management #process #refinement #runtime #safety
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
- FM-2015-SogokonJ #hybrid #verification
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
- FM-2014-LakshmiAK #analysis #reachability #using
- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis (KVL, AA, RK), pp. 335–350.
LOPSTR-2014-PreiningOF #case study #specification- Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.
DATE-2014-JoostenS #communication #scalability #verification- Scalable liveness verification for communication fabrics (SJCJ, JS), pp. 1–6.
ISMM-2014-LiDL #modelling #using- Modeling heap data growth using average liveness (PL, CD, HL), pp. 71–82.
ICFP-2013-Jeffrey #functional #programming- Functional reactive programming with liveness guarantees (AJ), pp. 233–244.
DAC-2013-BenazouzKHB #data flow #evaluation #graph- Liveness evaluation of a cyclo-static DataFlow graph (MB, AMK, TH, BB), p. 7.
- DATE-2013-AbdullaDRSZ #hybrid #memory management #safety #transaction #verification
- Verifying safety and liveness for the FlexTM hybrid transactional memory (PAA, SD, AR, AS, YZ), pp. 785–790.
- DATE-2013-CastellanaF #analysis #independence #scheduling #synthesis
- Scheduling independent liveness analysis for register binding in high level synthesis (VGC, FF), pp. 1571–1574.
- ICPR-2012-GhianiMR #detection
- Fingerprint liveness detection by local phase quantization (LG, GLM, FR), pp. 537–540.
QAPL-2012-YasuokaT #data flow #safety- Quantitative Information Flow as Safety and Liveness Hyperproperties (HY, TT), pp. 77–91.
CADE-2011-Cook #proving #roadmap #termination- Advances in Proving Program Termination and Liveness (BC), p. 4.
- CAV-2010-BloemCGHJ #robust
- Robustness in the Presence of Liveness (RB, KC, KG, TAH, BJ), pp. 410–424.
DiGRA-2009-CameronC #encoding #performance #realtime- Encoding liveness: Performance and real-time rendering in machinima (DC, JC).
- POPL-2009-GantyMR #source code #verification
- Verifying liveness for asynchronous programs (PG, RM, AR), pp. 102–113.
- DATE-2009-BaumgartnerM #scalability
- Scalable liveness checking via property-preserving transformations (JB, HM), pp. 1680–1685.
VMCAI-2009-Cook #roadmap #termination- Advances in Program Termination and Liveness (BC), p. 4.
CGO-2008-BoissinotHGDR #performance #source code- Fast liveness checking for ssa-form programs (BB, SH, DG, BDdD, FR), pp. 35–44.
TACAS-2007-BattBW #model checking #network #search-based- Model Checking Liveness Properties of Genetic Regulatory Networks (GB, CB, RW), pp. 323–338.
- CAV-2007-KupfermanPV
- From Liveness to Promptness (OK, NP, MYV), pp. 406–419.
SEKE-2005-OgataF #approach #proving #verification- Proof Score Approach to Verification of Liveness Properties (KO, KF), pp. 608–613.
- VMCAI-2005-Pnueli #abstraction
- Abstraction for Liveness (AP), p. 146.
- DATE-v1-2004-ManoliosS #automation #modelling #safety #using #verification #web
- Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements (PM, SKS), pp. 168–175.
- TACAS-2004-FangPPZ #ranking
- Liveness with Incomprehensible Ranking (YF, NP, AP, LDZ), pp. 482–496.
CSL-2004-Maier #ltl #safety- Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.
- VMCAI-2004-FangPPZ #ranking
- Liveness with Invisible Ranking (YF, NP, AP, LDZ), pp. 223–238.
RTA-2003-GieslZ - Liveness in Rewriting (JG, HZ), pp. 321–336.
WCRE-2002-ProbstKS #analysis #optimisation- Register Liveness Analysis for Optimizing Dynamic Binary Translation (MP, AK, BS), pp. 35–44.
IFM-2002-BarradasB #proving #specification- Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems (HRB, DB), pp. 360–379.
- ISMM-2002-ShahamKS #impact analysis #java
- Estimating the impact of heap liveness information on space consumption in Java (RS, EKK, SS), pp. 171–182.
- CAV-2002-PnueliXZ #abstraction
- Liveness with (0, 1, infty)-Counter Abstraction (AP, JX, LDZ), pp. 107–122.
- VMCAI-2002-BaukusLS #protocol #safety #verification
- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness (KB, YL, KS), pp. 317–330.
ECOOP-2001-HirzelDH #detection #garbage collection #on the- On the Usefulness of Liveness for Garbage Collection and Leak Detection (MH, AD, ALH), pp. 181–206.
LICS-2001-ManoliosT #branch #safety- Safety and Liveness in Branching Time (PM, RJT), pp. 366–374.
TOOLS-USA-2000-GilesS #distributed #object-oriented #testing- A Tool for Testing Liveness in Distributed Object Systems (CPG, PAGS), pp. 319–328.
- CAV-2000-PnueliS #verification
- Liveness and Acceleration in Parameterized Verification (AP, ES), pp. 328–343.
- CSL-1999-KestenP #abstraction #verification
- Verifying Liveness by Augmented Abstraction (YK, AP), pp. 141–156.
PLDI-1998-AgesenDM #garbage collection #java #virtual machine- Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
- DLT-1997-NiessnerNO
- Deterministic ω-regular liveness properties (FN, UN, PO), pp. 237–248.
ESEC-FSE-1997-CheungGK #analysis #composition #reachability #using #verification- Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.
- CAV-1997-SistlaMG #model checking #named #symmetry #verification
- SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (APS, LM, VG), pp. 464–467.
- FME-1996-ValmariS #safety #verification #visual notation
- Visual Verification of Safety and Liveness (AV, MS), pp. 228–247.
PDP-1996-MendivilFVG #algorithm #concurrent #distributed- Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm (JRGdM, FF, JEV, JRG), pp. 139–146.
FSE-1995-Fekete #case study #modelling #specification- Liveness Conditions in Model-Based Service Specifications: A Case Study (AF), pp. 62–71.
- CAV-1995-AlurH #composition #modelling
- Local Liveness for Compositional Modeling of Fair Reactive Systems (RA, TAH), pp. 166–179.
- ICALP-1994-GawlickSSL
- Liveness in Timed and Untimed Systems (RG, RS, JFSA, NAL), pp. 166–177.
TAPSOFT-1993-PenaA #process #specification #using- A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions (RP, LMA), pp. 328–342.
- CAV-1992-Corbett #integer #programming #safety #verification
- Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.
- CAV-1991-Goldschlag #safety #verification
- Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits (DMG), pp. 354–364.
- ICALP-1990-PeledP #partial order #proving
- Proving Partial Order Liveness Properties (DP, AP), pp. 553–571.
- CAV-1990-Burch #safety #verification
- Verifying Liveness Properties by Verifying Safety Properties (JRB), pp. 224–232.
- CAV-1990-BuyM #proving
- A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers (UAB, RM), pp. 292–301.
- PLDI-1989-ChiD #using
- Unified Management of Registers and Cache Using Liveness and Cache Bypass (CHC, HGD), pp. 344–355.
- ICALP-1987-Josko #model checking
- Modelchecking of CTL Formulae under Liveness Assumptions (BJ), pp. 280–289.
STOC-1984-DeganoM #convergence #metric- Liveness Properties as Convergence in Metric Spaces (PD, UM), pp. 31–38.
